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.1
rustls-platform-verifier supports verifying TLS certificates in rustls with the operating system ...16 versions - Latest release: about 1 month ago - 8 dependent packages - 13.1 million downloads total - 107 stars on GitHub - 2 maintainers
Top 9.4% on crates.io
17 versions - Latest release: 4 months ago - 23 dependent packages - 76 dependent repositories - 828 thousand downloads total - 15 stars on GitHub - 1 maintainer
contracts 0.6.6 💰
Design-by-contract attributes17 versions - Latest release: 4 months ago - 23 dependent packages - 76 dependent repositories - 828 thousand downloads total - 15 stars on GitHub - 1 maintainer
rtlola-interpreter 0.11.0
An interpreter for RTLola specifications.14 versions - Latest release: 4 months ago - 3 dependent packages - 2 dependent repositories - 21.4 thousand downloads total - 2 stars on GitHub - 4 maintainers
nnv-rs 0.6.1
Verification and Statistics on Deep Neural Networks11 versions - Latest release: over 3 years ago - 1 dependent repositories - 14.2 thousand downloads total - 2 stars on GitHub - 1 maintainer
pg_ecdsa_verify 1.2.3
A PostgreSQL extension for ECDSA signature verification.10 versions - Latest release: about 1 month ago - 8.44 thousand downloads total - 0 stars on GitHub - 1 maintainer
r2u2_cli 4.0.0
R2U2 CLI: A stream-based runtime monitor command-line interface6 versions - Latest release: 2 months ago - 3.59 thousand downloads total - 10 stars on GitHub - 1 maintainer
r2u2_core 4.0.0
R2U2: A stream-based runtime monitor in no_std11 versions - Latest release: 2 months ago - 5.5 thousand downloads total - 10 stars on GitHub - 1 maintainer
verus_builtin_macros 0.0.0-2025-08-12-1837
Verus Builtin Macros: Various macros used by Verus1 version - Latest release: 16 days ago - 254 downloads total - 2,008 stars on GitHub - 2 maintainers
verus_builtin 0.0.0-2025-08-12-1837
Verus Builtins: Rust definitions for core constructs in Verus1 version - Latest release: 16 days ago - 253 downloads total - 2,008 stars on GitHub - 2 maintainers
verus_state_machines_macros 0.0.0-2025-08-12-1837
Verus State-Machine Macros: Various macros used by Verus to define and reason about atomic and sh...1 version - Latest release: 16 days ago - 254 downloads total - 2,008 stars on GitHub - 2 maintainers
vstd 0.0.0-2025-08-12-1837
Verus Standard Library: Useful specifications and lemmas for verifying Rust code2 versions - Latest release: 16 days ago - 1.44 thousand downloads total - 2,008 stars on GitHub - 4 maintainers
cvlr-early-panic 0.4.1
Macro to convert ? to unwrap2 versions - Latest release: 4 months ago - 4.17 thousand downloads total - 4 stars on GitHub - 1 maintainer
cvlr-macros 0.4.1
Miscellaneous macros2 versions - Latest release: 4 months ago - 4.16 thousand downloads total - 4 stars on GitHub - 1 maintainer
cvlr-soroban-macros 0.4.0
Macros for cvlr-soroban1 version - Latest release: 6 months ago - 619 downloads total - 0 stars on GitHub - 1 maintainer
rustfs-signer 0.0.3
Digital signature generation and verification for RustFS, ensuring data integrity and authenticity.1 version - Latest release: 2 months ago - 323 downloads total - 8,079 stars on GitHub - 1 maintainer
oasert 0.1.4
A library for verifying in-flight requests against a provided OpenAPI 3.1.x or 3.0.x specification.4 versions - Latest release: 3 months ago - 1.33 thousand downloads total - 1 stars on GitHub - 1 maintainer
ccheck 0.1.0
CLI that verifies the presence of commands inside containers.1 version - Latest release: about 1 month ago - 243 downloads total - 0 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: 4 months ago - 4.71 thousand downloads total - 1 stars on GitHub - 1 maintainer
kani-verifier 0.65.0
A bit-precise model checker for Rust.67 versions - Latest release: about 1 month ago - 1 dependent repositories - 229 thousand downloads total - 2,651 stars on GitHub - 3 maintainers
kani 0.0.1
Placeholder crate for the library of the Kani Rust verifier.2 versions - Latest release: over 1 year ago - 3.99 thousand downloads total - 2,651 stars on GitHub - 3 maintainers
ic-asset-certification 3.0.3
Certification for static assets served over HTTP on the Internet Computer4 versions - Latest release: 7 months ago - 4.57 thousand downloads total - 20 stars on GitHub - 1 maintainer
Top 8.3% on crates.io
24 versions - Latest release: 7 months ago - 13 dependent packages - 10 dependent repositories - 1.14 million downloads total - 20 stars on GitHub - 1 maintainer
ic-certification 3.0.3
Types related to the Internet Computer Public Specification.24 versions - Latest release: 7 months ago - 13 dependent packages - 10 dependent repositories - 1.14 million downloads total - 20 stars on GitHub - 1 maintainer
ic-cbor 3.0.3
CBOR decoding for Internet Computer clients15 versions - Latest release: 7 months ago - 2 dependent packages - 1 dependent repositories - 445 thousand downloads total - 20 stars on GitHub - 1 maintainer
ic-http-certification 3.0.3
Certification for HTTP responses for the Internet Computer12 versions - Latest release: 7 months ago - 1 dependent package - 419 thousand downloads total - 20 stars on GitHub - 1 maintainer
ic-certificate-verification 3.0.3
Certificate verification for the Internet Computer14 versions - Latest release: 7 months ago - 2 dependent packages - 1 dependent repositories - 439 thousand downloads total - 20 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: 7 months ago - 3 dependent packages - 1 dependent repositories - 576 thousand downloads total - 20 stars on GitHub - 1 maintainer
ic-response-verification 3.0.3
Client side response verification for the Internet Computer22 versions - Latest release: 7 months ago - 2 dependent packages - 1 dependent repositories - 548 thousand downloads total - 20 stars on GitHub - 1 maintainer
creusot-contracts 0.5.0
Provides contracts and logic helpers for Creusot6 versions - Latest release: 5 months ago - 5.83 thousand downloads total - 1,324 stars on GitHub - 2 maintainers
pearlite-syn 0.5.0
A syn parser for the Pearlite specification language in Creusot6 versions - Latest release: 5 months ago - 5.82 thousand downloads total - 1,324 stars on GitHub - 2 maintainers
creusot-contracts-proc 0.5.0
Proc macro crate for creusot-contracts6 versions - Latest release: 5 months ago - 5.92 thousand downloads total - 1,324 stars on GitHub - 2 maintainers
why3 0.5.0
Why3 AST and pretty printers4 versions - Latest release: 5 months ago - 2.8 thousand downloads total - 1,324 stars on GitHub - 2 maintainers
creusot-contracts-dummy 0.4.0
Dummy proc macros for creusot-contracts5 versions - Latest release: 6 months ago - 5.13 thousand downloads total - 1,324 stars on GitHub - 2 maintainers
anodized 0.2.1
An ecosystem for correct Rust based on lightweight specification annotations2 versions - Latest release: 12 days ago - 344 downloads total - 2 stars on GitHub - 1 maintainer
anodized-core 0.2.1
Core interoperability for the Anodized correctness ecosystem2 versions - Latest release: 12 days ago - 291 downloads total - 2 stars on GitHub - 1 maintainer
cvlr-fixed 0.4.1
Fixed point numbers over Certora native integers2 versions - Latest release: 4 months ago - 1.06 thousand downloads total - 4 stars on GitHub - 1 maintainer
cvlr-vectors 0.4.0
CVLR Collections for Formal Verification1 version - Latest release: 5 months ago - 537 downloads total - 1 stars on GitHub - 1 maintainer
cvlr-soroban-derive 0.4.0
Proc-macros for cvlr-soroban1 version - Latest release: 6 months ago - 602 downloads total - 0 stars on GitHub - 1 maintainer
cvlr-log 0.4.1
Logging in Certora Calltrace2 versions - Latest release: 4 months ago - 5.29 thousand downloads total - 4 stars on GitHub - 1 maintainer
cvlr-hook 0.4.1
Macro to inject code at a function call2 versions - Latest release: 4 months ago - 4.05 thousand downloads total - 4 stars on GitHub - 1 maintainer
cvlr-soroban 0.4.0
CVLR support for Stellar Soroban smart contracts1 version - Latest release: 6 months ago - 596 downloads total - 0 stars on GitHub - 1 maintainer
bundy 0.1.2
Bundy data signing and verification library3 versions - Latest release: almost 4 years ago - 1 dependent package - 1 dependent repositories - 5.92 thousand downloads total - 1 stars on GitHub - 1 maintainer
move-table-extension
Wrapper for the Move VM which coordinates multiple extensions10 versions - Latest release: 8 days ago - 5 dependent packages - 1 dependent repositories - 23.1 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: 8 days ago - 9.07 thousand downloads total - 364 stars on GitHub - 1 maintainer
cvlr-asserts 0.4.1
Asserts and assumes for post- and pre-conditions2 versions - Latest release: 4 months ago - 5.59 thousand downloads total - 4 stars on GitHub - 1 maintainer
cvlr-nondet 0.4.1
Non-deterministic (i.e., symbolic) values2 versions - Latest release: 4 months ago - 5.53 thousand downloads total - 4 stars on GitHub - 1 maintainer
voa-core 0.1.0
File Hierarchy for the Verification of OS Artifacts (VOA)1 version - Latest release: 8 days ago - 0 downloads total - 2 stars on gitlab.archlinux.org - 1 maintainer
rtlola-streamir 0.1.0
A framework for the compilation of stream-based languages through an intermediate representation1 version - Latest release: 4 months ago - 539 downloads total - 0 stars on GitHub - 2 maintainers
cvlr-mathint 0.4.1
Number library backed by Certora native integers2 versions - Latest release: 4 months ago - 5.25 thousand downloads total - 4 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.88 thousand downloads total - 2 stars on GitHub - 3 maintainers
reclaim-rust-sdk 0.1.0
A Rust SDK for Reclaim Protocol1 version - Latest release: 9 months ago - 882 downloads total - 0 stars on GitHub - 1 maintainer
google_auth_verifier 0.1.4
Small library to quickly verify tokens provided by google auth5 versions - Latest release: about 1 year ago - 5.37 thousand downloads total - 2 stars on GitHub - 1 maintainer
rtlola-interpreter-macros 0.2.0
Derive macros to help with integrating the rtlola interpreter2 versions - Latest release: 4 months ago - 1.71 thousand downloads total - 2 stars on GitHub - 2 maintainers
proc_assertions 0.1.1
Compile-time assertions via procedural macros.2 versions - Latest release: 11 months ago - 1.71 thousand downloads total - 1 stars on GitHub - 1 maintainer
dcap-qvl-cli 0.3.2
Command line interface for Intel SGX DCAP Quote Verification Library4 versions - Latest release: 13 days ago - 1.26 thousand downloads total - 19 stars on GitHub - 1 maintainer
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: about 2 months ago - 256 downloads total - 33 stars on GitHub - 1 maintainer
ecdsa_verify 1.1.1
ECDSA signature verification.3 versions - Latest release: over 1 year ago - 3.95 thousand downloads total - 0 stars on GitHub - 1 maintainer
filepack 0.0.6
file verification utility7 versions - Latest release: 11 months ago - 6.51 thousand downloads total - 7 stars on GitHub - 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: about 2 months ago - 5.14 thousand downloads total - 32 stars on GitHub - 1 maintainer
autograph_protocol 1.0.0-beta.2
The Autograph protocol3 versions - Latest release: 4 months ago - 1.92 thousand downloads total - 2 stars on GitHub - 1 maintainer
rtlola-cli 0.1.2
A CLI interface for the RTLola interpreter.3 versions - Latest release: 4 months ago - 2.88 thousand downloads total - 2 stars on GitHub - 3 maintainers
rustproof 0.1.0
Compiler plugin to generate verification conditions from Rust code.1 version - Latest release: about 9 years ago - 2.27 thousand downloads total - 96 stars on GitHub - 1 maintainer
crabtoken 0.0.1
An alternative to JWT/Jsonwebtoken or Paseto1 version - Latest release: 8 months ago - 750 downloads total - 1 stars on GitHub - 1 maintainer
yubi_opt 0.2.0
An easy to use Yubico OTPs implementation.2 versions - Latest release: over 2 years ago - 2.42 thousand downloads total - 1 stars on GitHub - 1 maintainer
schemapin 1.1.4
Cryptographic schema integrity verification for AI tools - Rust implementation1 version - Latest release: about 2 months ago - 303 downloads total - 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 - 2.06 thousand downloads total - 0 stars on GitHub - 1 maintainer
fastpasta 1.22.0
CLI for verifying or examining readout data from the ALICE detector.32 versions - Latest release: over 1 year ago - 38.9 thousand downloads total - 10 stars on gitlab.cern.ch - 1 maintainer
kocheck 0.4.2
Type checker for the lambda-Pi calculus modulo rewriting7 versions - Latest release: over 1 year ago - 8.29 thousand downloads total - 22 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.94 thousand downloads total - 22 stars on GitHub - 1 maintainer
depyler-verify 3.1.0
Property verification and formal methods for Depyler transpilation16 versions - Latest release: 17 days ago - 3 thousand downloads total - 128 stars on GitHub - 1 maintainer
depyler-core 3.1.0
Core transpilation engine for the Depyler Python-to-Rust transpiler16 versions - Latest release: 17 days ago - 3.08 thousand downloads total - 128 stars on GitHub - 1 maintainer
depyler-mcp 3.1.0
Model Context Protocol integration for Depyler16 versions - Latest release: 17 days ago - 3 thousand downloads total - 128 stars on GitHub - 1 maintainer
depyler-analyzer 3.1.0
Static analysis and optimization engine for Depyler16 versions - Latest release: 17 days ago - 3.05 thousand downloads total - 128 stars on GitHub - 1 maintainer
depyler-annotations 3.1.0
Annotation parsing and processing for Depyler16 versions - Latest release: 17 days ago - 3.07 thousand downloads total - 128 stars on GitHub - 1 maintainer
depyler 3.1.0
A Python-to-Rust transpiler focusing on energy-efficient, safe code generation with progressive v...16 versions - Latest release: 17 days ago - 2.91 thousand downloads total - 128 stars on GitHub - 1 maintainer
depyler-quality 3.1.0
Quality gates and metrics for Depyler16 versions - Latest release: 17 days ago - 3 thousand downloads total - 128 stars on GitHub - 1 maintainer
cvlr-solana 0.4.4
Certora Verification Language for Rust with Solana5 versions - Latest release: 5 months ago - 3.97 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: 4 months ago - 4 dependent packages - 3 dependent repositories - 23 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: 4 months ago - 1 dependent package - 2 dependent repositories - 17.9 thousand downloads total - 3 stars on GitHub - 4 maintainers
rtlola-parser 0.4.0
A parser for RTLola specifications.11 versions - Latest release: 4 months ago - 2 dependent packages - 2 dependent repositories - 16.6 thousand downloads total - 3 stars on GitHub - 3 maintainers
stripe_wh_verify 0.1.0
Easy, standalone verification for your Stripe Webhooks payloads1 version - Latest release: almost 5 years ago - 1.75 thousand downloads total - 2 stars on GitHub - 1 maintainer
sequoia-sqv 1.3.0
A simple OpenPGP signature verification program25 versions - Latest release: 6 months ago - 1 dependent repositories - 33.2 thousand downloads total - 4 stars on gitlab.com - 2 maintainers
dia-assert
Helps with confirming user decision on important tasks14 versions - Latest release: 18 days ago - 1 dependent package - 19.9 thousand downloads total - 1 maintainer
rate-proof-utils 0.3.0 💰
Utilities for clausal proofs (DRAT, DPR)5 versions - Latest release: over 5 years ago - 6.51 thousand downloads total - 9 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: 4 months ago - 1.8 thousand downloads total - 2 stars on GitHub - 2 maintainers
Top 7.3% on crates.io
44 versions - Latest release: about 1 month ago - 5 dependent packages - 4 dependent repositories - 80.4 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: about 1 month ago - 5 dependent packages - 4 dependent repositories - 80.4 thousand downloads total - 2,209 stars on GitHub - 3 maintainers
eth-ecdsa-verifier 0.1.1
A simple Ethereum ECDSA signature verifier1 version - Latest release: about 2 months ago - 250 downloads total - 0 stars on GitHub - 2 maintainers
ethereum-ecdsa-verifier 0.1.0 removed
A simple Ethereum ECDSA signature verifier1 version - Latest release: about 2 months ago - 0 downloads total - 0 stars on GitHub
rtlola-streamir-interpreter 0.1.0
An interpreter for RTLola through StreamIR1 version - Latest release: 4 months ago - 423 downloads total - 0 stars on GitHub - 2 maintainers
Top 4.6% on crates.io
38 versions - Latest release: almost 2 years ago - 4 dependent packages - 14 dependent repositories - 149 thousand downloads total - 4,565 stars on GitHub - 1 maintainer
check-if-email-exists 0.9.1 💰
Check if an email address exists without sending any email38 versions - Latest release: almost 2 years ago - 4 dependent packages - 14 dependent repositories - 149 thousand downloads total - 4,565 stars on GitHub - 1 maintainer
ceetle 0.1.0 💰
A Computional Tree Logic (CTL) Verifier1 version - Latest release: over 2 years ago - 1.44 thousand downloads total - 0 stars on GitHub - 1 maintainer
lincheck 0.2.1
A linearizability checker for concurrent data structures4 versions - Latest release: about 2 years ago - 1 dependent package - 4.72 thousand downloads total - 12 stars on GitHub - 1 maintainer
netlist 0.1.15
generic netlist data structure for VLSI design11 versions - Latest release: about 2 years ago - 12 thousand downloads total - 7 stars on GitHub - 1 maintainer
doksnet 1.1.2
A CLI tool for documentation-code mapping verification using cryptographic hashes3 versions - Latest release: 3 months ago - 984 downloads total - 3 stars on GitHub - 1 maintainer
rtlola2solidity 0.1.0
A compiler from RTLola to Solidity through StreamIR1 version - Latest release: 4 months ago - 395 downloads total - 0 stars on GitHub - 2 maintainers
rustproof-libsmt 0.1.0
Rust bindings for z3 as utilized by RustProof.1 version - Latest release: about 9 years ago - 1 dependent package - 3.47 thousand downloads total - 2 stars on GitHub - 1 maintainer
checksums 0.9.1
Tool for making/verifying checksums of directory trees20 versions - Latest release: almost 4 years ago - 5 dependent packages - 13 dependent repositories - 152 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: about 4 years ago - 3.69 thousand downloads total - 705 stars on GitHub - 1 maintainer
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.61 thousand downloads total - 705 stars on GitHub - 2 maintainers
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.66 thousand downloads total - 705 stars on GitHub - 1 maintainer
solana-ed25519-dalek
Fork of ed25519-dalek for `solana`; only used for upstreaming fixes2 versions - Latest release: 22 days ago - 4 dependent packages - 2 dependent repositories - 6.05 thousand downloads total - 705 stars on GitHub - 1 maintainer
Related Keywords
rust
38
formal-methods
21
assert
16
certora
15
monitoring
15
logic
14
cryptography
13
compiler
12
formal-verification
10
signature
9
certification
7
proof
7
ed25519
7
response
7
computer
7
internet
7
signing
7
python
7
internet-computer
7
transpiler
7
icp
7
dfinity
7
security
6
curve25519
6
deductive-reasoning
6
rust-lang
6
why3
6
interpreter
6
proof-checker
5
sat-solver
5
blockchain
5
testing
5
ecc
5
ecdsa
5
design-by-contract
5
authentication
4
smart-contracts
4
cli
4
viper
4
smt
4
satisfiability
4
hash
4
prusti
4
parser
4
verus
4
verified-rust
4
agent
3
model-checking
3
utility
3
optimization
3
ethereum
3
checksum
3
soroban
3
analyzer
3
frontend
3
precondition
3
postcondition
3
invariant
3
specifications
2
fuzzing
2
jwt
2
openpgp
2
contracts
2
starknet
2
solver
2
eda
2
ctl
2
test
2
rewriting
2
dependent-types
2
type-checking
2
dedukti
2
typechecker
2
verifier
2
crypto
2
correctness
2
formal
2
solana
2
induction
2
api
2
certificate
2
quantum-resistant
1
quantum-cryptography
1
postquantum
1
hashing-algorithms
1
hashing-algorithm
1
email-verification-api
1
email-verifier
1
hashing
1
hacktoberfest
1
automaton
1
cryptographic-hash-functions
1
concurrency
1
lock-free
1
linearizability
1
graph
1
bcrypt
1
physical-design
1
p2p
1
scalable
1