crates.io "proof" keyword
View the packages on the crates.io package registry that are tagged with the "proof" keyword.
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
bdk-reserves 0.30.2
Proof of reserves for bitcoin dev kit24 versions - Latest release: 3 months ago - 1 dependent package - 4 dependent repositories - 32.6 thousand downloads total - 18 stars on GitHub - 5 maintainers
departed 0.1.0
A library that provides some of the benefits of dependent types using the Ghosts of Departed Proo...1 version - Latest release: about 5 years ago - 1.57 thousand downloads total - 0 stars on GitHub - 1 maintainer
proof 0.0.0
Library for interacting with SSZ merkle tree proofs.1 version - Latest release: almost 6 years ago - 1.62 thousand downloads total - 4 stars on GitHub - 1 maintainer
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: about 2 years ago - 129 thousand downloads total - 99 stars on GitHub - 1 maintainer
eczkp 0.1.1
A library for Zero Knowledge Proof protocols using elliptic curves2 versions - Latest release: 10 months ago - 1.86 thousand downloads total - 0 stars on GitHub - 1 maintainer
simple-merkle-tree 0.1.0
Easy to use replica of Solidity abi.encodePacked.1 version - Latest release: almost 4 years ago - 1.53 thousand downloads total - 0 stars on GitHub - 1 maintainer
provenance-rs 0.3.0
A history-of-ownership protocol for securely proving where a document came from.3 versions - Latest release: over 1 year ago - 3.77 thousand downloads total - 3 stars on GitHub - 1 maintainer
tfhe-zk-pok 0.7.0
tfhe-zk-pok: An implementation of zero-knowledge proofs of encryption for TFHE.13 versions - Latest release: 25 days ago - 1 dependent package - 53.5 thousand downloads total - 1,306 stars on GitHub - 1 maintainer
blockchain-scratch-rust 0.3.0 💰
A scratched blockchain implementation2 versions - Latest release: about 3 years ago - 2.43 thousand downloads total - 1 stars on GitHub - 1 maintainer
exclusion-merkle-cbt 0.3.3
Complete Binary Merkle Tree for verify exclusion6 versions - Latest release: about 4 years ago - 6.98 thousand downloads total - 0 stars on GitHub - 1 maintainer
oof 0.1.1
Naive proof scheme for accelerated testing5 versions - Latest release: over 5 years ago - 1 dependent repositories - 6.84 thousand downloads total - 5 stars on GitHub - 1 maintainer
Top 9.1% on crates.io
7 versions - Latest release: over 3 years ago - 14 dependent packages - 137 dependent repositories - 750 thousand downloads total - 22 stars on GitHub - 2 maintainers
merkle-cbt 0.3.2
A library for generating efficient Merkle tree and combined Merkle proof based on complete binary...7 versions - Latest release: over 3 years ago - 14 dependent packages - 137 dependent repositories - 750 thousand downloads total - 22 stars on GitHub - 2 maintainers
slowlock 0.2.0
SlowLock convenience wrapper for processing cipher password with a proof of work function2 versions - Latest release: about 4 years ago - 2.37 thousand downloads total - 0 stars on GitHub - 1 maintainer
Top 7.0% on crates.io
12 versions - Latest release: 5 months ago - 18 dependent packages - 19 dependent repositories - 827 thousand downloads total - 143 stars on GitHub - 1 maintainer
rs_merkle 1.5.0
The most advanced Merkle Tree library for Rust. Supports creating and verifying proofs, multi-pro...12 versions - Latest release: 5 months ago - 18 dependent packages - 19 dependent repositories - 827 thousand downloads total - 143 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
singleton-trait 0.4.0
Singleton trait for types with unique values and Erased type for zero-sized ownership proofs6 versions - Latest release: about 3 years ago - 1 dependent package - 7.53 thousand downloads total - 1 stars on GitLab.com - 1 maintainer
bolero-kani 0.13.0
kani plugin for bolero9 versions - Latest release: 5 months ago - 1 dependent package - 7 dependent repositories - 477 thousand downloads total - 210 stars on GitHub - 3 maintainers
mm0_util 0.1.4
MM0/MM1 language utilities5 versions - Latest release: almost 4 years ago - 1 dependent package - 1 dependent repositories - 7.48 thousand downloads total - 340 stars on GitHub - 1 maintainer
mm0b_parser 0.1.4
parsing tools for Metamath Zero's MMB binary format5 versions - Latest release: almost 4 years ago - 1 dependent repositories - 6.91 thousand downloads total - 340 stars on GitHub - 1 maintainer
zk-prover 0.0.2
Rust wrapper around Nargo and Barretenberg to generate and verify zero-knowledge proofs using Noi...2 versions - Latest release: 2 months ago - 494 downloads total - 0 stars on GitHub - 1 maintainer
metamath-rs 0.3.8
A library manipulating Metamath databases, including a parallel and incremental verifier for Meta...1 version - Latest release: over 1 year ago - 1.21 thousand downloads total - 33 stars on GitHub - 1 maintainer
ex3-merkle 0.15.0
The most advanced Merkle Tree library for Rust. Supports creating and verifying proofs, multi-pro...1 version - Latest release: about 2 years ago - 3 dependent packages - 1.91 thousand downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
rust
9
verification
7
deductive-reasoning
6
formal-methods
6
formal-verification
6
rust-lang
6
why3
6
merkle
5
theorem
5
tree
4
assistant
3
proving
3
zero-knowledge
2
cryptography
2
hash
2
multiproof
2
bitcoin
2
blockchain
2
argon2
1
aead
1
ethereum
1
work
1
eth2
1
verifier
1
exclusion
1
blacklist
1
cryptocurrency
1
json
1
decentralized
1
tfhe
1
homomorphic-encryption
1
zero
1
vector-commitments
1
zk
1
noir
1
barretenberg
1
property-testing
1
libfuzzer
1
honggfuzz
1
fuzz-testing
1
fuzz
1
afl
1
testing
1
model
1
experimental
1
ghost
1
trait
1
singleton
1
merkle-tree
1
merkle-proof
1
merkle-multiproof
1
hashtree
1
hash-trees
1
language
1
lambda-calculus-interpreter
1
lambda-calculus
1
error-reporting
1
dependent-types
1
compiler
1
category-theory
1
ast
1
assisted-reasoning
1
logic
1
automated
1
type
1
partial
1
dependent
1
departed
1
types
1
reserves
1
psbt
1
reclaim
1
knowledge
1
provenance
1
protocol
1
decoding
1
encoding
1
metadata
1
root
1
merkletree
1
elliptic
1
eczkp
1
curve
1
type-checking
1
theorem-prover
1
refinement-types
1
proof-assistant
1
parser
1
lsts
1
lint
1
lexer
1