Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "proof" keyword
tfhe-zk-pok 0.1.0
tfhe-zk-pok: An implementation of zero-knowledge proofs of encryption for TFHE.1 version - Latest release: about 1 month ago - 1 dependent package - 139 downloads total - 749 stars on GitHub - 1 maintainer
Top 7.0% on crates.io
11 versions - Latest release: 4 months ago - 18 dependent packages - 19 dependent repositories - 117 thousand downloads total - 143 stars on GitHub - 1 maintainer
rs_merkle 1.4.2
The most advanced Merkle Tree library for Rust. Supports creating and verifying proofs, multi-pro...11 versions - Latest release: 4 months ago - 18 dependent packages - 19 dependent repositories - 117 thousand downloads total - 143 stars on GitHub - 1 maintainer
Top 9.1% on crates.io
7 versions - Latest release: over 2 years ago - 14 dependent packages - 137 dependent repositories - 529 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 2 years ago - 14 dependent packages - 137 dependent repositories - 529 thousand downloads total - 22 stars on GitHub - 2 maintainers
blockchain-scratch-rust 0.3.0 💰
A scratched blockchain implementation2 versions - Latest release: almost 2 years ago - 699 downloads total - 1 stars on GitHub - 1 maintainer
bolero-kani 0.10.0
kani plugin for bolero4 versions - Latest release: 8 months ago - 1 dependent package - 7 dependent repositories - 84.9 thousand downloads total - 167 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: almost 3 years ago - 761 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: over 2 years ago - 545 downloads total - 0 stars on GitHub - 1 maintainer
exclusion-merkle-cbt 0.3.3
Complete Binary Merkle Tree for verify exclusion6 versions - Latest release: almost 3 years ago - 2.04 thousand downloads total - 0 stars on GitHub - 1 maintainer
bdk-reserves 0.28.1
Proof of reserves for bitcoin dev kit22 versions - Latest release: 5 months ago - 1 dependent package - 4 dependent repositories - 11.7 thousand downloads total - 14 stars on GitHub - 4 maintainers
oof 0.1.1
Naive proof scheme for accelerated testing5 versions - Latest release: about 4 years ago - 1 dependent repositories - 2.33 thousand downloads total - 4 stars on GitHub - 1 maintainer
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: 10 months ago - 32.6 thousand downloads total - 99 stars on GitHub - 1 maintainer
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 4 years ago - 510 downloads total - 0 stars on GitHub - 1 maintainer
singleton-trait 0.4.0
Singleton trait for types with unique values and Erased type for zero-sized ownership proofs6 versions - Latest release: about 2 years ago - 1 dependent package - 2.63 thousand downloads total - 1 stars on GitLab.com - 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: 12 months ago - 3 dependent packages - 1.2 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: about 2 months ago - 872 downloads total - 3 stars on GitHub - 1 maintainer
pearlite 0.1.0
Reserved for Creusot's pearlite language crate1 version - Latest release: over 2 years ago - 399 downloads total - 968 stars on GitHub - 1 maintainer
proof 0.0.0
Library for interacting with SSZ merkle tree proofs.1 version - Latest release: over 4 years ago - 629 downloads total - 4 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: 29 days ago - 0 downloads total - 24 stars on GitHub - 1 maintainer
mm0b_parser 0.1.4
parsing tools for Metamath Zero's MMB binary format5 versions - Latest release: over 2 years ago - 1 dependent repositories - 2.38 thousand downloads total - 287 stars on GitHub - 1 maintainer
mm0_util 0.1.4
MM0/MM1 language utilities5 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 2.85 thousand downloads total - 287 stars on GitHub - 1 maintainer
Related Keywords
theorem
5
merkle
5
tree
4
rust
4
assistant
3
proving
3
cryptography
2
hash
2
multiproof
2
bitcoin
2
dependent
1
type-checking
1
verifier
1
theorem-prover
1
refinement-types
1
proof-assistant
1
parser
1
lsts
1
lint
1
lexer
1
language
1
lambda-calculus-interpreter
1
lambda-calculus
1
error-reporting
1
dependent-types
1
compiler
1
category-theory
1
fuzz
1
partial
1
why3
1
verification
1
rust-lang
1
formal-verification
1
formal-methods
1
deductive-reasoning
1
provenance
1
metadata
1
encoding
1
decoding
1
protocol
1
ghost
1
singleton
1
experimental
1
trait
1
types
1
departed
1
afl
1
model
1
testing
1
decentralized
1
json
1
cryptocurrency
1
blockchain
1
merkle-tree
1
merkle-proof
1
merkle-multiproof
1
hashtree
1
hash-trees
1
ethereum
1
tfhe
1
homomorphic-encryption
1
vector-commitments
1
zero
1
knowledge
1
ast
1
assisted-reasoning
1
type
1
automated
1
logic
1
eth2
1
reserves
1
psbt
1
blacklist
1
exclusion
1
merkletree
1
root
1
work
1
argon2
1
aead
1
property-testing
1
libfuzzer
1
honggfuzz
1
fuzz-testing
1