crates.io "verification" keyword
View the packages on the crates.io package registry that are tagged with the "verification" keyword.
rustls-platform-verifier 0.6.0
rustls-platform-verifier supports verifying TLS certificates in rustls with the operating system ...15 versions - Latest release: about 2 months ago - 8 dependent packages - 11.1 million downloads total - 107 stars on GitHub - 2 maintainers
Top 7.3% on crates.io
44 versions - Latest release: 2 days ago - 5 dependent packages - 4 dependent repositories - 78.8 thousand downloads total - 2,209 stars on GitHub - 3 maintainers
crev-data 0.26.5
Scalable, social, Code REView system that we desperately need - data types library44 versions - Latest release: 2 days ago - 5 dependent packages - 4 dependent repositories - 78.8 thousand downloads total - 2,209 stars on GitHub - 3 maintainers
cvlr-nondet 0.4.1
Non-deterministic (i.e., symbolic) values2 versions - Latest release: 2 months ago - 4.18 thousand downloads total - 4 stars on GitHub - 1 maintainer
creusot-contracts-dummy 0.4.0
Dummy proc macros for creusot-contracts5 versions - Latest release: 5 months ago - 4.78 thousand downloads total - 1,307 stars on GitHub - 2 maintainers
why3 0.5.0
Why3 AST and pretty printers4 versions - Latest release: 3 months ago - 2.53 thousand downloads total - 1,307 stars on GitHub - 2 maintainers
creusot-contracts 0.5.0
Provides contracts and logic helpers for Creusot6 versions - Latest release: 3 months ago - 5.28 thousand downloads total - 1,307 stars on GitHub - 2 maintainers
creusot-contracts-proc 0.5.0
Proc macro crate for creusot-contracts6 versions - Latest release: 3 months ago - 5.37 thousand downloads total - 1,307 stars on GitHub - 2 maintainers
pearlite-syn 0.5.0
A syn parser for the Pearlite specification language in Creusot6 versions - Latest release: 3 months ago - 5.4 thousand downloads total - 1,307 stars on GitHub - 2 maintainers
reclaim-rust-sdk 0.1.0
A Rust SDK for Reclaim Protocol1 version - Latest release: 8 months ago - 805 downloads total - 0 stars on GitHub - 1 maintainer
kani-verifier 0.64.0
A bit-precise model checker for Rust.66 versions - Latest release: 23 days ago - 1 dependent repositories - 217 thousand downloads total - 2,615 stars on GitHub - 3 maintainers
kani 0.0.1
Placeholder crate for the library of the Kani Rust verifier.2 versions - Latest release: about 1 year ago - 3.68 thousand downloads total - 2,615 stars on GitHub - 3 maintainers
google_auth_verifier 0.1.4
Small library to quickly verify tokens provided by google auth5 versions - Latest release: about 1 year ago - 5.1 thousand downloads total - 2 stars on GitHub - 1 maintainer
rtlola2rust 0.1.0
A compiler from RTLola to Rust through StreamIR1 version - Latest release: 2 months ago - 333 downloads total - 0 stars on GitHub - 2 maintainers
voyager-verifier 1.0.0
Contract class verification tool that allows you to verify your starknet classes on a block explo...1 version - Latest release: 3 days ago - 0 downloads total - 1 maintainer
starknet-contract-verifier 0.5.0
DEPRECATED: Use voyager-verifier instead. This package redirects to the new voyager-verifier pack...20 versions - Latest release: 3 days ago - 3.54 thousand downloads total - 29 stars on GitHub - 1 maintainer
move-table-extension
Wrapper for the Move VM which coordinates multiple extensions10 versions - Latest release: 3 days ago - 5 dependent packages - 1 dependent repositories - 22.6 thousand downloads total - 364 stars on GitHub - 1 maintainer
mv-async-vm
Wrapper for the Move VM for the asynchronous execution flavor8 versions - Latest release: 3 days ago - 8.71 thousand downloads total - 364 stars on GitHub - 1 maintainer
autograph_protocol 1.0.0-beta.2
The Autograph protocol3 versions - Latest release: 2 months ago - 1.73 thousand downloads total - 2 stars on GitHub - 1 maintainer
realitydefender 0.1.6
Reality Defender SDK for Rust - Tools for detecting deepfakes and manipulated media7 versions - Latest release: 9 days ago - 1.7 thousand downloads total - 0 stars on GitHub - 1 maintainer
dcap-qvl-cli 0.3.1
Command line interface for Intel SGX DCAP Quote Verification Library3 versions - Latest release: 16 days ago - 1.05 thousand downloads total - 18 stars on GitHub - 1 maintainer
cvlr-mathint 0.4.1
Number library backed by Certora native integers2 versions - Latest release: 2 months ago - 3.77 thousand downloads total - 4 stars on GitHub - 1 maintainer
rtlola-cli 0.1.2
A CLI interface for the RTLola interpreter.3 versions - Latest release: 2 months ago - 2.69 thousand downloads total - 2 stars on GitHub - 3 maintainers
rustfs-signer 0.0.3
Digital signature generation and verification for RustFS, ensuring data integrity and authenticity.1 version - Latest release: 22 days ago - 204 downloads total - 5,916 stars on GitHub - 1 maintainer
kontroli 0.4.0
Type checking for the lambda-Pi calculus modulo rewriting5 versions - Latest release: about 3 years ago - 1 dependent package - 6.74 thousand downloads total - 21 stars on GitHub - 1 maintainer
kocheck 0.4.2
Type checker for the lambda-Pi calculus modulo rewriting7 versions - Latest release: over 1 year ago - 7.99 thousand downloads total - 21 stars on GitHub - 1 maintainer
rtlola-interpreter-macros 0.2.0
Derive macros to help with integrating the rtlola interpreter2 versions - Latest release: 2 months ago - 1.55 thousand downloads total - 2 stars on GitHub - 2 maintainers
rustproof 0.1.0
Compiler plugin to generate verification conditions from Rust code.1 version - Latest release: almost 9 years ago - 2.21 thousand downloads total - 96 stars on GitHub - 1 maintainer
rtlola-streamir 0.1.0
A framework for the compilation of stream-based languages through an intermediate representation1 version - Latest release: 2 months ago - 405 downloads total - 0 stars on GitHub - 2 maintainers
crabtoken 0.0.1
An alternative to JWT/Jsonwebtoken or Paseto1 version - Latest release: 7 months ago - 694 downloads total - 1 stars on GitHub - 1 maintainer
schemapin 1.1.4
Cryptographic schema integrity verification for AI tools - Rust implementation1 version - Latest release: 6 days ago - 0 downloads total - 1 maintainer
cvlr-hook 0.4.1
Macro to inject code at a function call2 versions - Latest release: 2 months ago - 2.81 thousand downloads total - 4 stars on GitHub - 1 maintainer
cvlr-soroban-derive 0.4.0
Proc-macros for cvlr-soroban1 version - Latest release: 4 months ago - 524 downloads total - 0 stars on GitHub - 1 maintainer
qbtt 0.1.1
Quinn's Basic TOML Tests for Rust is a very simple way to run and check tests right from the comm...2 versions - Latest release: about 1 year ago - 1.95 thousand downloads total - 0 stars on GitHub - 1 maintainer
cvlr-solana 0.4.4
Certora Verification Language for Rust with Solana5 versions - Latest release: 3 months ago - 3.16 thousand downloads total - 2 stars on GitHub - 1 maintainer
rtlola-frontend 0.8.0
A frontend for the RTLola runtime verification framework.17 versions - Latest release: 2 months ago - 4 dependent packages - 3 dependent repositories - 22 thousand downloads total - 3 stars on GitHub - 4 maintainers
rtlola-hir 0.6.0
A high-level intermediate representation for RTLola specifications.13 versions - Latest release: 2 months ago - 1 dependent package - 2 dependent repositories - 17.2 thousand downloads total - 3 stars on GitHub - 4 maintainers
rtlola-parser 0.4.0
A parser for RTLola specifications.11 versions - Latest release: 2 months ago - 2 dependent packages - 2 dependent repositories - 15.9 thousand downloads total - 3 stars on GitHub - 3 maintainers
rtlola-interpreter 0.11.0
An interpreter for RTLola specifications.14 versions - Latest release: 2 months ago - 3 dependent packages - 2 dependent repositories - 19.7 thousand downloads total - 2 stars on GitHub - 4 maintainers
Top 9.4% on crates.io
17 versions - Latest release: 3 months ago - 23 dependent packages - 76 dependent repositories - 775 thousand downloads total - 14 stars on GitHub - 1 maintainer
contracts 0.6.6 💰
Design-by-contract attributes17 versions - Latest release: 3 months ago - 23 dependent packages - 76 dependent repositories - 775 thousand downloads total - 14 stars on GitHub - 1 maintainer
filepack 0.0.6
file verification utility7 versions - Latest release: 10 months ago - 6.15 thousand downloads total - 7 stars on GitHub - 1 maintainer
rtlola-input-plugins 0.1.1
Input plugins to be used in the various frontends of the interpreter; This crate is deprecated us...2 versions - Latest release: about 1 year ago - 1 dependent package - 2.7 thousand downloads total - 2 stars on GitHub - 3 maintainers
prusti-contracts-proc-macros 0.2.0
Internal `proc-macro` Prusti crate11 versions - Latest release: almost 2 years ago - 1 dependent package - 2 dependent repositories - 16.7 thousand downloads total - 1,662 stars on GitHub - 1 maintainer
prusti-contracts 0.2.0
Tools for specifying contracts with Prusti11 versions - Latest release: almost 2 years ago - 1 dependent package - 1 dependent repositories - 16.2 thousand downloads total - 1,662 stars on GitHub - 1 maintainer
prusti-std 0.2.0
External specifications for items in std for Prusti10 versions - Latest release: almost 2 years ago - 11.2 thousand downloads total - 1,662 stars on GitHub - 1 maintainer
prusti-specs 0.2.0
Internal Prusti crate for parsing specifications12 versions - Latest release: almost 2 years ago - 1 dependent package - 15.1 thousand downloads total - 1,662 stars on GitHub - 1 maintainer
cvlr-log 0.4.1
Logging in Certora Calltrace2 versions - Latest release: 2 months ago - 3.67 thousand downloads total - 4 stars on GitHub - 1 maintainer
rtlola-streamir-interpreter 0.1.0
An interpreter for RTLola through StreamIR1 version - Latest release: 2 months ago - 349 downloads total - 0 stars on GitHub - 2 maintainers
cvlr-macros 0.4.1
Miscellaneous macros2 versions - Latest release: 2 months ago - 2.75 thousand downloads total - 4 stars on GitHub - 1 maintainer
fastpasta 1.22.0
CLI for verifying or examining readout data from the ALICE detector.32 versions - Latest release: about 1 year ago - 37.6 thousand downloads total - 10 stars on gitlab.cern.ch - 1 maintainer
rtlola2solidity 0.1.0
A compiler from RTLola to Solidity through StreamIR1 version - Latest release: 2 months ago - 324 downloads total - 0 stars on GitHub - 2 maintainers
cvlr-fixed 0.4.1
Fixed point numbers over Certora native integers2 versions - Latest release: 2 months ago - 847 downloads total - 4 stars on GitHub - 1 maintainer
rtlola-io-plugins 0.3.0
Input and ouput plugins to be used in the various frontends of the interpreter2 versions - Latest release: 2 months ago - 1.65 thousand downloads total - 2 stars on GitHub - 2 maintainers
test-ed25519-dalek 2.0.0-pre.3
Fast and efficient ed25519 EdDSA key generations, signing, and verification in pure Rust.3 versions - Latest release: over 2 years ago - 3.48 thousand downloads total - 705 stars on GitHub - 2 maintainers
checksums 0.9.1
Tool for making/verifying checksums of directory trees20 versions - Latest release: over 3 years ago - 5 dependent packages - 13 dependent repositories - 150 thousand downloads total - 39 stars on GitHub - 1 maintainer
votate-ed25519-dalek 1.0.3
Fast and efficient ed25519 EdDSA key generations, signing, and verification in pure Rust.3 versions - Latest release: almost 4 years ago - 3.55 thousand downloads total - 705 stars on GitHub - 1 maintainer
netlist 0.1.15
generic netlist data structure for VLSI design11 versions - Latest release: almost 2 years ago - 11.5 thousand downloads total - 7 stars on GitHub - 1 maintainer
cvlr 0.4.1
Certora Verification Language for Rust2 versions - Latest release: 2 months ago - 2.62 thousand downloads total - 4 stars on GitHub - 1 maintainer
ed25519-dalek-dondi
Fast and efficient ed25519 EdDSA key generations, signing, and verification in pure Rust.1 version - Latest release: 11 days ago - 1 dependent package - 1.91 thousand downloads total - 705 stars on GitHub - 1 maintainer
sequoia-sqv 1.3.0
A simple OpenPGP signature verification program25 versions - Latest release: 5 months ago - 1 dependent repositories - 32.1 thousand downloads total - 4 stars on gitlab.com - 2 maintainers
rtlola-macros 0.1.2
Procedural macros for more convenient handling of HirModes in the rtlola_hir crate.3 versions - Latest release: over 2 years ago - 1 dependent package - 2 dependent repositories - 8.24 thousand downloads total - 3 maintainers
Top 6.5% on crates.io
20 versions - Latest release: 12 days ago - 3 dependent packages - 18 dependent repositories - 84.2 thousand downloads total - 705 stars on GitHub - 2 maintainers
signatory-dalek
signatory-dalek is deprecated! Use ed25519-dalek directly instead. ed25519-dalek natively support...20 versions - Latest release: 12 days ago - 3 dependent packages - 18 dependent repositories - 84.2 thousand downloads total - 705 stars on GitHub - 2 maintainers
cvlr-asserts 0.4.1
Asserts and assumes for post- and pre-conditions2 versions - Latest release: 2 months ago - 3.76 thousand downloads total - 4 stars on GitHub - 1 maintainer
eth-ecdsa-verifier 0.1.1
A simple Ethereum ECDSA signature verifier1 version - Latest release: 12 days ago - 0 downloads total - 0 stars on GitHub - 1 maintainer
ethereum-ecdsa-verifier 0.1.0
A simple Ethereum ECDSA signature verifier1 version - Latest release: 12 days ago - 0 downloads total - 0 stars on GitHub
cvlr-early-panic 0.4.1
Macro to convert ? to unwrap2 versions - Latest release: 2 months ago - 2.6 thousand downloads total - 4 stars on GitHub - 1 maintainer
cvlr-vectors 0.4.0
CVLR Collections for Formal Verification1 version - Latest release: 4 months ago - 437 downloads total - 1 stars on GitHub - 1 maintainer
ceetle 0.1.0 💰
A Computional Tree Logic (CTL) Verifier1 version - Latest release: about 2 years ago - 1.38 thousand downloads total - 0 stars on GitHub - 1 maintainer
dia-assert
Helps with confirming user decision on important tasks14 versions - Latest release: 12 days ago - 1 dependent package - 19.3 thousand downloads total - 1 maintainer
solana-ed25519-dalek
Fork of ed25519-dalek for `solana`; only used for upstreaming fixes2 versions - Latest release: 13 days ago - 4 dependent packages - 2 dependent repositories - 5.9 thousand downloads total - 704 stars on GitHub - 1 maintainer
veriwasm 0.1.4
A safety verifier for native-compiled WebAssembly code5 versions - Latest release: over 3 years ago - 1 dependent repositories - 10.7 thousand downloads total - 80 stars on GitHub - 1 maintainer
rate-common 0.3.0 💰
Internal modules for rate5 versions - Latest release: over 5 years ago - 3 dependent packages - 8.44 thousand downloads total - 9 stars on GitHub - 1 maintainer
lincheck 0.2.1
A linearizability checker for concurrent data structures4 versions - Latest release: almost 2 years ago - 1 dependent package - 4.51 thousand downloads total - 12 stars on GitHub - 1 maintainer
klee-bindings 0.1.0
Raw bindings to the KLEE library using bindgen1 version - Latest release: over 4 years ago - 1.47 thousand downloads total - 0 stars on GitHub - 1 maintainer
crev-ed25519-dalek 0.1.2
Fork of ed25519-dalek for `crev` (until mainline is usable for us again).3 versions - Latest release: over 6 years ago - 1 dependent package - 4.49 thousand downloads total - 702 stars on GitHub - 1 maintainer
rustproof-libsmt 0.1.0
Rust bindings for z3 as utilized by RustProof.1 version - Latest release: almost 9 years ago - 1 dependent package - 3.39 thousand downloads total - 2 stars on GitHub - 1 maintainer
disabled_contracts 0.1.0
A clearly stub version of the `contracts` crate.1 version - Latest release: about 4 years ago - 1 dependent package - 1 dependent repositories - 49.4 thousand downloads total - 0 stars on GitHub - 2 maintainers
alice_protocol_reader 0.15.0
Reader library for reading raw binary data from the ALICE detector into a convenient structure fo...11 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 14 thousand downloads total - 10 stars on gitlab.cern.ch - 1 maintainer
briteverify-rs 0.2.0
Rust client library for the BriteVerify API Suite7 versions - Latest release: over 1 year ago - 7.72 thousand downloads total - 0 stars on GitHub - 1 maintainer
stripe_wh_verify 0.1.0
Easy, standalone verification for your Stripe Webhooks payloads1 version - Latest release: almost 5 years ago - 1.67 thousand downloads total - 2 stars on GitHub - 1 maintainer
cargo-certora-sbf 0.3.2
Build a program for Certora Verification using Certora's version of Solana Platform Tools4 versions - Latest release: 3 months ago - 2.97 thousand downloads total - 1 stars on GitHub - 1 maintainer
ceetle_macros 0.1.0 💰
Procedural Macros for the ceetle Library1 version - Latest release: about 2 years ago - 1 dependent package - 1.69 thousand downloads total - 0 stars on GitHub - 1 maintainer
cvlr-soroban 0.4.0
CVLR support for Stellar Soroban smart contracts1 version - Latest release: 4 months ago - 471 downloads total - 0 stars on GitHub - 1 maintainer
ic-response-verification 3.0.3
Client side response verification for the Internet Computer22 versions - Latest release: 6 months ago - 2 dependent packages - 1 dependent repositories - 508 thousand downloads total - 19 stars on GitHub - 1 maintainer
ic-certificate-verification 3.0.3
Certificate verification for the Internet Computer14 versions - Latest release: 6 months ago - 2 dependent packages - 1 dependent repositories - 398 thousand downloads total - 19 stars on GitHub - 1 maintainer
ic-asset-certification 3.0.3
Certification for static assets served over HTTP on the Internet Computer4 versions - Latest release: 6 months ago - 3.26 thousand downloads total - 19 stars on GitHub - 1 maintainer
ic-cbor 3.0.3
CBOR decoding for Internet Computer clients15 versions - Latest release: 6 months ago - 2 dependent packages - 1 dependent repositories - 404 thousand downloads total - 19 stars on GitHub - 1 maintainer
Top 8.3% on crates.io
24 versions - Latest release: 6 months ago - 13 dependent packages - 10 dependent repositories - 1.02 million downloads total - 19 stars on GitHub - 1 maintainer
ic-certification 3.0.3
Types related to the Internet Computer Public Specification.24 versions - Latest release: 6 months ago - 13 dependent packages - 10 dependent repositories - 1.02 million downloads total - 19 stars on GitHub - 1 maintainer
ic-http-certification 3.0.3
Certification for HTTP responses for the Internet Computer12 versions - Latest release: 6 months ago - 1 dependent package - 360 thousand downloads total - 19 stars on GitHub - 1 maintainer
ic-representation-independent-hash 3.0.3
A library for computing representation-independent hashes as described in the Internet Computer i...19 versions - Latest release: 6 months ago - 3 dependent packages - 1 dependent repositories - 511 thousand downloads total - 19 stars on GitHub - 1 maintainer
doksnet 1.1.2
A CLI tool for documentation-code mapping verification using cryptographic hashes3 versions - Latest release: about 2 months ago - 723 downloads total - 3 stars on GitHub - 1 maintainer
pg_ecdsa_verify 1.2.1
A PostgreSQL extension for ECDSA signature verification.8 versions - Latest release: 7 months ago - 7.24 thousand downloads total - 0 stars on GitHub - 1 maintainer
rate 0.3.0 💰
Clausal proof checker (DRAT, DPR) for certifying SAT solvers' unsatisfiability results5 versions - Latest release: over 5 years ago - 6.49 thousand downloads total - 9 stars on GitHub - 1 maintainer
vcd_io 0.2.14
VCD IO utils21 versions - Latest release: over 1 year ago - 21.2 thousand downloads total - 1 stars on GitHub - 1 maintainer
mikino 0.9.1
A simple induction and BMC engine9 versions - Latest release: about 3 years ago - 10.3 thousand downloads total - 0 stars on GitHub - 1 maintainer
cvlr-soroban-macros 0.4.0
Macros for cvlr-soroban1 version - Latest release: 4 months ago - 479 downloads total - 0 stars on GitHub - 1 maintainer
depyler 0.3.1
A Python-to-Rust transpiler focusing on energy-efficient, safe code generation with progressive v...1 version - Latest release: 20 days ago - 0 downloads total - 1 maintainer
atlas-entity-verifier 0.1.3
Verify referential integrity of Apache Atlas Entities4 versions - Latest release: over 1 year ago - 5.35 thousand downloads total - 1 maintainer
depyler-analyzer 0.3.1
Static analysis and optimization engine for Depyler1 version - Latest release: 20 days ago - 0 downloads total - 37 stars on GitHub - 1 maintainer
depyler-verify 0.3.1
Property verification and formal methods for Depyler transpilation1 version - Latest release: 20 days ago - 0 downloads total - 37 stars on GitHub - 1 maintainer
depyler-annotations 0.3.1
Annotation parsing and processing for Depyler1 version - Latest release: 20 days ago - 0 downloads total - 1 maintainer
Related Keywords
rust
37
formal-methods
21
assert
16
monitoring
15
certora
15
logic
14
cryptography
12
compiler
12
formal-verification
10
signature
9
python
7
transpiler
7
proof
7
ed25519
7
internet
7
computer
7
certification
7
response
7
internet-computer
7
icp
7
dfinity
7
security
6
deductive-reasoning
6
rust-lang
6
why3
6
signing
6
curve25519
6
interpreter
6
ecdsa
5
ecc
5
blockchain
5
sat-solver
5
proof-checker
5
smt
4
viper
4
prusti
4
smart-contracts
4
hash
4
parser
4
satisfiability
4
design-by-contract
3
soroban
3
invariant
3
precondition
3
postcondition
3
analyzer
3
frontend
3
agent
3
model-checking
3
authentication
3
utility
3
optimization
3
ethereum
3
checksum
3
testing
3
cli
3
solana
2
typechecker
2
type-checking
2
rewriting
2
dedukti
2
dependent-types
2
certificate
2
crypto
2
verifier
2
contracts
2
specifications
2
formal
2
solver
2
api
2
induction
2
eda
2
starknet
2
test
2
ctl
2
mx
1
smtp
1
email
1
apache-atlas
1
entities
1
science
1
waveform
1
postgresql
1
mapping
1
documentation
1
representation
1
independent
1
cbor
1
webhook
1
stripe
1
diffie-hellman
1
email-validation
1
cryptographic-hash-functions
1
hashing
1
hashing-algorithm
1
hashing-algorithms
1
postquantum
1
quantum-cryptography
1
quantum-resistant
1
rust-library
1