crates.io "formal-verification" keyword
View the packages on the crates.io package registry that are tagged with the "formal-verification" keyword.
hacspec 0.2.0-beta.4
The hacspec compiler.5 versions - Latest release: over 4 years ago - 6.24 thousand downloads total - 244 stars on GitHub - 2 maintainers
hacspec-attributes 0.1.0-beta.1
hacspec attributes1 version - Latest release: over 4 years ago - 1 dependent package - 9 dependent repositories - 1.8 thousand downloads total - 244 stars on GitHub - 2 maintainers
Top 9.0% on crates.io
8 versions - Latest release: over 2 years ago - 4 dependent packages - 12 dependent repositories - 43.7 thousand downloads total - 244 stars on GitHub - 2 maintainers
secret_integers 0.1.7
Wrapping around Rust's integers to allow only constant-time operations8 versions - Latest release: over 2 years ago - 4 dependent packages - 12 dependent repositories - 43.7 thousand downloads total - 244 stars on GitHub - 2 maintainers
abstract_integers 0.1.5
Defining specification-friendly bounded natural integer types5 versions - Latest release: over 2 years ago - 1 dependent package - 9 dependent repositories - 9.2 thousand downloads total - 244 stars on GitHub - 2 maintainers
hacspec-util 0.1.0-beta.1
hacspec utilities1 version - Latest release: over 4 years ago - 2 dependent packages - 9 dependent repositories - 3.09 thousand downloads total - 244 stars on GitHub - 2 maintainers
hacspec-lib 0.1.0-beta.1
The hacspec library.1 version - Latest release: over 2 years ago - 1 dependent package - 9 dependent repositories - 2.54 thousand downloads total - 244 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
hax-lib 0.3.2
Hax-specific helpers for Rust programs8 versions - Latest release: 3 days ago - 95 thousand downloads total - 280 stars on GitHub - 1 maintainer
hax-lib-macros 0.3.2
Hax-specific proc-macros for Rust programs8 versions - Latest release: 3 days ago - 95.1 thousand downloads total - 280 stars on GitHub - 1 maintainer
hax-lib-macros-types 0.3.2
Hax-internal types9 versions - Latest release: 3 days ago - 64.1 thousand downloads total - 280 stars on GitHub - 1 maintainer
hax-frontend-exporter 0.3.2
Provides mirrors of the algebraic data types used in the Rust compilers, removing indirections an...9 versions - Latest release: 3 days ago - 2 dependent packages - 6.85 thousand downloads total - 280 stars on GitHub - 1 maintainer
hax-types 0.3.2
Helper crate defining the types used to communicate between the custom rustc driver, the CLI and ...8 versions - Latest release: 3 days ago - 4.14 thousand downloads total - 280 stars on GitHub - 1 maintainer
cavp 0.0.2
Libcrux helper to read NIST CAVP test vectors.5 versions - Latest release: 4 months ago - 3.88 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-macros 0.0.3
Macros needed in libcrux6 versions - Latest release: 27 days ago - 31.2 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-platform 0.0.2
Platform detection crate for libcrux.9 versions - Latest release: 4 months ago - 3 dependent packages - 112 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-ecdsa 0.0.3
Formally verified ECDSA signature library6 versions - Latest release: 26 days ago - 2.08 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-chacha20poly1305 0.0.3
Formally verified ChaCha20-Poly1305 AEAD library6 versions - Latest release: 26 days ago - 21.9 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-hacl-rs 0.0.3
Formally verified Rust code extracted from HACL* - helper library6 versions - Latest release: 27 days ago - 31.1 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-p256 0.0.3
Formally verified P-256 implementation6 versions - Latest release: 27 days ago - 13.9 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-test-utils 0.0.3
Utils for testing and benchmarking1 version - Latest release: 26 days ago - 215 downloads total - 147 stars on GitHub - 1 maintainer
libcrux-kem 0.0.3
Libcrux KEM implementation8 versions - Latest release: 26 days ago - 25.5 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-psq 0.0.3
Libcrux Pre-Shared post-Quantum key establishement protocol5 versions - Latest release: 26 days ago - 1.67 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-hacl 0.0.2-pre.2
hacl sys crate of libcrux.4 versions - Latest release: over 1 year ago - 1 dependent package - 32.2 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-sha3 0.0.3
Libcrux SHA-3 implementation9 versions - Latest release: 26 days ago - 96.7 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-intrinsics 0.0.3
Libcrux intrinsics crate10 versions - Latest release: 27 days ago - 97.5 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-sha2 0.0.3
Formally verified SHA2 hash library6 versions - Latest release: 27 days ago - 29.3 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-ml-kem 0.0.3
Libcrux ML-KEM & Kyber implementations9 versions - Latest release: 26 days ago - 91 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-ecdh 0.0.3
Libcrux ECDH implementation8 versions - Latest release: 27 days ago - 26 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-poly1305 0.0.3
Formally verified Poly1305 MAC library6 versions - Latest release: 26 days ago - 21.9 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-rsa 0.0.3
Formally verified RSA signature library5 versions - Latest release: 26 days ago - 1.8 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-hkdf 0.0.3
Libcrux HKDF implementation8 versions - Latest release: 27 days ago - 36.6 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-curve25519 0.0.3
Formally verified curve25519 ECDH library6 versions - Latest release: 27 days ago - 13.8 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-blake2 0.0.3
Formally verified blake2 hash library5 versions - Latest release: 26 days ago - 1.92 thousand downloads total - 147 stars on GitHub - 1 maintainer
core-models 0.0.3
Models of the Rust core library2 versions - Latest release: 27 days ago - 3.72 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-secrets 0.0.3
Libcrux utilities for working with secrets4 versions - Latest release: 26 days ago - 12.6 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-hmac 0.0.3
Libcrux HMAC implementation8 versions - Latest release: 27 days ago - 36.5 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-traits 0.0.3
Traits for cryptographic algorithms6 versions - Latest release: 27 days ago - 29.3 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux-ed25519 0.0.3
Formally verified ed25519 signature library6 versions - Latest release: 27 days ago - 9.71 thousand downloads total - 147 stars on GitHub - 1 maintainer
libcrux 0.0.1
The Formally Verified Cryptography Library8 versions - Latest release: about 2 years ago - 1 dependent package - 30.9 thousand downloads total - 147 stars on GitHub - 1 maintainer
libjade-sys 0.0.1
Rust bindings for libjade, a formally verified cryptographic library written in jasmin.4 versions - Latest release: about 2 years ago - 1 dependent package - 20.8 thousand downloads total - 83 stars on GitHub - 1 maintainer
everrs 0.2.1
Bindings for the HACL*/EverCrypt crypto library3 versions - Latest release: over 5 years ago - 4.01 thousand downloads total - 2 stars on GitHub - 1 maintainer
hax-cli-options 0.1.0-pre.1
hax cli options1 version - Latest release: almost 2 years ago - 2 dependent packages - 1.76 thousand downloads total - 280 stars on GitHub - 1 maintainer
hax-subcommands 0.1.0-pre.1
The high assurance translation toolchain1 version - Latest release: almost 2 years ago - 1.36 thousand downloads total - 275 stars on GitHub - 1 maintainer
modality 0.1.6
CLI for Modality, an evolving temporal modal logic7 versions - Latest release: 8 days ago - 4.26 thousand downloads total - 14 stars on GitHub - 1 maintainer
modality-network-node 0.1.6
Modality network node lib2 versions - Latest release: 8 days ago - 750 downloads total - 14 stars on GitHub - 1 maintainer
modality-utils 0.1.6
Common utilities shared across Modality packages5 versions - Latest release: 8 days ago - 2.68 thousand downloads total - 14 stars on GitHub - 1 maintainer
hax-adt-into 0.3.1
Provides the `adt_into` procedural macro, allowing for mirroring data types with small variations.8 versions - Latest release: 2 months ago - 1 dependent package - 6.04 thousand downloads total - 275 stars on GitHub - 1 maintainer
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
hax-frontend-exporter-options 0.3.1
The options the `hax-frontend-exporter` crate is sensible to.8 versions - Latest release: 2 months ago - 4 dependent packages - 6.13 thousand downloads total - 264 stars on GitHub - 1 maintainer
hax-diagnostics 0.1.0-pre.1
hax diagnostics helper crate1 version - Latest release: almost 2 years ago - 2 dependent packages - 1 dependent repositories - 1.7 thousand downloads total - 272 stars on GitHub - 1 maintainer
trivial-kernel 0.9.0
A Metamath Zero kernel for Trivial10 versions - Latest release: over 4 years ago - 1 dependent package - 11.1 thousand downloads total - 2 stars on GitHub - 1 maintainer
qbar 0.0.0
the rational proof assistant1 version - Latest release: almost 5 years ago - 1.36 thousand downloads total - 2 stars on GitHub - 1 maintainer
rIC3 1.4.1
hardware model checker12 versions - Latest release: about 1 month ago - 6.58 thousand downloads total - 56 stars on GitHub - 1 maintainer
hax-bounded-integers 0.3.0
Newtypes for working with bounded integers with hax4 versions - Latest release: 2 months ago - 2.14 thousand downloads total - 272 stars on GitHub - 1 maintainer
hax-cli-options-engine 0.1.0-pre.1
hax cli options engine helper crate1 version - Latest release: almost 2 years ago - 1 dependent package - 1.52 thousand downloads total - 272 stars on GitHub - 1 maintainer
pearlite 0.1.0
Reserved for Creusot's pearlite language crate1 version - Latest release: over 3 years ago - 1.34 thousand downloads total - 1,294 stars on GitHub - 2 maintainers
hax-driver 0.3.1
The custom rustc driver used by hax.6 versions - Latest release: 2 months ago - 2.91 thousand downloads total - 272 stars on GitHub - 1 maintainer
cargo-hax 0.3.1
The high assurance translation toolchain7 versions - Latest release: 2 months ago - 4.09 thousand downloads total - 272 stars on GitHub - 1 maintainer
Related Keywords
cryptography
34
signatures
28
encryption
28
rust
26
verification
10
specifications
8
rust-lang
7
formal-methods
6
proof
6
deductive-reasoning
6
why3
6
viper
4
prusti
4
verifiable-contracts
3
temporal-logic
3
blockchain
3
contracts
2
formal
2
metamath
1
trivial
1
deduction
1
logic
1
natural-deduction
1
proof-assistant
1
qbar
1
rational-deduction
1
type-theory
1
model-checking
1
ic3
1
formal-method
1
hardware
1
metamath-zero
1
x25519
1
high-assureance
1
hacl
1
chacha20-poly1305
1
bindings
1
crypto
1
no-std
1
integers
1
specification
1
secret
1
constant-time
1