| zcash_proofs cargo | 0.31.0-pre.2 | none | none | Zcash zk-SNARK circuits and proving APIs | 978K | 3h ago |
| zakura-halo2-proofs cargo | 3.0.0 | none | none | Fast PLONK-based zero-knowledge proving system with no trusted setup | 51K | 1d ago |
| zakura-proofs cargo | 3.0.0 | none | none | Zcash zk-SNARK circuits and proving APIs | 39K | 1d ago |
| cargo-proofs cargo | 0.3.5 | none | none | Publish Rust verification reports to proofs.rs | 104 | 2d ago |
| p3-merkle-tree cargo | 0.9.0-rc.1 | none | none | A Merkle tree implementation providing commitment scheme functionality for cryptographic proofs. | 2M | 3d ago |
| sp1-verifier cargo | 6.9.0 | none | none | Verifier for SP1 Groth16 and Plonk proofs. | 803K | 4d ago |
| chia-pos2 cargo | 1.0.0 | none | none | A library for creating plots, validating proofs of space, farming partial proofs and solving proofs. Using Chia proof of space v2 | 100K | 6d ago |
| zakura-halo2-legacy-pdqsort cargo | 3.0.0 | none | none | A copy of the core::slice::sort module from the Rust 1.56.1 standard library, modified to behave the same on 32-bit platforms as on 64-bit, working around a… | 48K | 1d ago |
| barretenberg-rs cargo | 7.0.0-nightly.20261014 | medium | none | Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs | 37K | 14h ago |
| miden-precompiles-verifier cargo | 0.36.0 | none | none | Verifier for Miden VM precompile proofs | 15K | 16h ago |
| nym-ticketbooks-merkle cargo | 1.22.2 | none | none | Generate and verify merkleproofs of zknym ticketbooks | 14K | 1d ago |
| zisk-verifier cargo | | – 1.3.2-alpha did not build | – | Proof verifier for the ZisK zkVM proofs | 7.3K | 5d ago |
| chik-pos2 cargo | 1.0.1 | none | none | A library for creating plots, validating proofs of space, farming partial proofs and solving proofs. Using Chik proof of space v2 | 1.6K | 5d ago |
| krusty-kms-crypto cargo | 0.13.0 | none | none | Cryptographic primitives and zero-knowledge proofs for krusty-kms | 1.5K | 7d ago |
| tatara-render cargo | 0.4.5 | none | none | Env → IaC-platform-shaped manifests. The RENDER phase (THEORY §IV.3) of the eight-phase convergence loop. Each `Backend` impl is a morphism from the typescape… | 829 | 3d ago |
| wai-quantum cargo | 0.4.3 | none | none | A deterministic quantum stack in pure Rust: byte-exact circuit simulation (statevector / stabilizer / tensor-network MPS / sparse-Pauli backends), sparse Pauli… | 501 | 1d ago |
| checkpointed-local-log cargo | 0.3.0 | none | none | Checkpointed Local Log (CLL): Merkle Mountain Range, signed COSE checkpoints, per-record range proofs, and witness registration -- a Rust sibling of the… | 346 | 1h ago |
| statechronicle-domain cargo | | – 0.2.0 did not build | – | Core domain types: tenants, resources, subjects, state types, intents, events, commits, proofs, and state projections. | 346 | 3d ago |
| merkle-core cargo | 0.5.0 | none | none | Shared traits, proof types, and errors for the MerkleForge Framework | 337 | 5h ago |
| slop-veil cargo | | – 6.9.0 did not build | – | Verifiable Encapsulation of Interactive proofs with Low overhead | 268 | 3d ago |
| silicon-accounts-client cargo | 0.6.0 | none | none | Stateless Rust client for Silicon Accounts: sign Carbons and Silicons in, exchange tokens, verify proofs and webhooks. | 98 | 2d ago |
| bsv-tracker cargo | 0.2.3 | none | none | A transaction evidence state machine with host supplied headers, proofs, hints and time | 84 | 2d ago |
| opeo cargo | 1.0.0 | none | none | Out-parameter error handling with typed failure proofs | 50 | 3d ago |
| chatelaine cargo | 0.0.3 | none | none | Name reservation. The chatelaine is the secret half of the Mere platform's credential model: passwords, 2FA seeds, tokens, and foreign key material, exercised… | 41 | 3d ago |
| paralock-core cargo | 0.1.1 | none | none | Protocol core of Paralock: Zcash HTLC and 2-of-2 transactions (v5, ZIP 244, ZIP 317), ECDSA adaptor signatures with DLEQ proofs, EVM escrow ids and digests,… | 25 | 1d ago |
| blockle-zk cargo | 0.1.8 | none | none | Blockle shielded pool: STARK spend proofs (winterfell), Rescue note commitments, note tree | 24 | 5d ago |
| keepword-core cargo | 2.1.0 | none | none | Protocol types for Keepword: attestations, signed tree heads, Merkle proofs, assignment and quorum rules | 20 | 3d ago |
| noun cargo | 0.1.0 | none | none | Content-addressable 32-byte identifiers for immutable Merkle proofs | 11 | 8d ago |
| publet-algorithms cargo | 0.2.0 | none | none | Generic algorithms publet is built on: an RFC 6962 Merkle log, sorted-set membership with absence proofs, recursive content trees, exact fixed-point… | 9 | 4d ago |
| ssz-merkle cargo | 0.1.0 | none | none | SSZ serialization, Merkleization, generalized indices and Merkle proofs (single, multi and light-client) for Ethereum consensus types, with no_std support | | 2d ago |
