| arcbox-fs cargo | 0.10.0 | none | none | High-performance filesystem service for ArcBox (VirtioFS) | 1.2K | 5h ago |
| datamine-ilm-core cargo | 2.0.1 | none | none | The core of ILM, the Integer Language Model: words and numbers, the explain tool with its engine, its learners and its proofs, the choice of its ways, the cut… | 98 | 12h ago |
| barretenberg-rs cargo | 6.0.0-nightly.20261019 | medium | none | Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs | 37K | 14h ago |
| rust-fs-erofs cargo | 0.5.0 | none | none | Pure-Rust EROFS (Enhanced Read-Only File System) reader and writer. Clean-room implementation; reads mkfs.erofs 1.9 images (LZ4/LZMA/DEFLATE/ZSTD,… | 47 | 14h ago |
| nft-gate-gateway cargo | 0.0.24 | none | none | Generic NFT-gated reverse-proxy: verifies wallet-signed access proofs against on-chain NFT ownership, then forwards to any upstream. | 146 | 15h ago |
| zakura-halo2-legacy-pdqsort cargo | 4.0.0-rc2 | 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 | 15h ago |
| zakura-proofs cargo | 4.0.0-rc2 | none | none | Zcash zk-SNARK circuits and proving APIs | 39K | 15h ago |
| zakura-halo2-proofs cargo | 4.0.0-rc2 | none | none | Fast PLONK-based zero-knowledge proving system with no trusted setup | 51K | 15h ago |
| wai-quantum cargo | 0.6.4 | none | none | A deterministic quantum stack in pure Rust: byte-exact circuit simulation (statevector / stabilizer / tensor-network MPS / sparse-Pauli backends), sparse Pauli… | 501 | 20h ago |
| bsv-tracker cargo | 0.6.0 | none | none | A transaction evidence state machine with host supplied headers, proofs, hints and time | 84 | 20h ago |
| octofs cargo | 0.18.3 | none | none | Standalone MCP filesystem tools server — view, edit, shell, workdir | 663 | 1d ago |
| ostrya-composefs cargo | 0.4.0 | none | none | Byte-exact EROFS/composefs image writer and fs-verity digest | 334 | 1d ago |
| opendal-service-monoiofs cargo | 0.59.5 | none | none | Apache OpenDAL Monoiofs service implementation | 344 | 1d ago |
| loophole cargo | 0.0.0 | none | none | Evasion search and coverage proofs for detection rules | 7 | 1d ago |
| blockle-zk cargo | 0.1.9 | none | none | Blockle shielded pool: STARK spend proofs (winterfell), Rescue note commitments, note tree | 134 | 1d ago |
| sigma-proofs cargo | 0.4.1 | none | none | A toolkit for auto-generated implementations of Σ-protocols | 3.5K | 1d ago |
| build198x-adf cargo | 0.2.12 | none | none | Create, master, verify, and inspect Amiga ADF floppy disk images (OFS/FFS) — the standalone ADF tool. | 225 | 2d ago |
| axiom-forge cargo | 0.1.1 | none | none | Lisp → Rust axiom generation with invariant proofs. The self-hosting primitive layer. | 90 | 2d ago |
| scitt-cose-receipt cargo | 0.1.1 | none | none | Offline verifier for SCITT COSE Receipts with RFC 9162 SHA-256 inclusion proofs: checks the log's signature under a pinned key and rebuilds the Merkle root. No… | 49 | 2d ago |
| doubleentry cargo | 0.8.0 | none | none | An immutable, tamper-evident double-entry bookkeeping engine. Balanced-by-construction entries, exact integer money, deterministic identity, and an append-only… | 1.2K | 2d ago |
| miden-precompiles-verifier cargo | 0.36.1 | none | none | Verifier for Miden VM precompile proofs | 15K | 3d ago |
| cargo-proofs cargo | 0.4.1 | none | high | Publish Rust verification reports to proofs.rs | 104 | 3d ago |
| p3-merkle-tree cargo | 0.9.0-rc.2 | none | none | A Merkle tree implementation providing commitment scheme functionality for cryptographic proofs. | 2M | 3d ago |
| lamfold-erofs cargo | 0.1.3 | none | none | no_std clean-room EROFS reader — the lamfold forward-standard frontend, with the fs-verity integrity story | 141 | 3d ago |
| zcash_voting cargo | 5.2.0-rc.1 | none | none | Client-side library for Zcash shielded voting: ZKP delegation and vote-commitment proofs (Halo 2), ElGamal encryption, governance PCZT construction, Merkle… | 14K | 4d ago |
| keepword-core cargo | 2.2.0 | none | none | Protocol types for Keepword: attestations, signed tree heads, Merkle proofs, assignment and quorum rules | 20 | 4d ago |
| checkpointed-local-log cargo | 0.3.1 | 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 | 4d ago |
| pir-client cargo | 0.8.0 | none | none | Private Information Retrieval client for Zcash nullifier non-membership proofs. Fetches circuit-ready Merkle authentication paths without revealing the queried… | 22K | 4d ago |
| pir-types cargo | 0.7.0 | none | none | Shared wire types and tier-layout constants for Ironwood nullifier non-membership proofs. | 23K | 4d ago |
| imt-tree cargo | 0.6.0 | none | none | Indexed Merkle Tree for nullifier non-membership proofs | 30K | 4d ago |
