bourbaki-engine cargo 0.2.1 none none A proof checker for Bourbaki's Theory of Sets: proofs are written the way the book writes them and checked down to the axioms 23 4d ago rston cargo 0.5.0 none none TON cells, BoC encoding, dictionaries, Merkle proofs, and blockchain models. 24 4d ago zcash_proofs cargo 0.31.0-pre.2 none none Zcash zk-SNARK circuits and proving APIs 978K 5d ago snowscsi-cli cargo 0.1.0 none none SnowSCSI CLI: serve + mkisofs 8 5d ago nym-ticketbooks-merkle cargo 1.22.2 none none Generate and verify merkleproofs of zknym ticketbooks 14K 6d 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 6d 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 7d 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 7d ago opeo cargo 1.0.0 none none Out-parameter error handling with typed failure proofs 50 8d 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 8d 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 8d 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 8d ago slop-veil cargo – 6.9.0 did not build – Verifiable Encapsulation of Interactive proofs with Low overhead 268 8d ago android-doctor cargo 0.5.1 none 3 Extract and audit Android OTA and firmware images (payload.bin, super.img, ext4, erofs) without running them 47 9d ago nydus-format cargo 3.0.0-beta.2 none none On-disk format layer for nydus images: blob layout (footer, blob meta), EROFS metadata structures, and the byte-level utilities they share. 164 9d 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 9d ago sp1-verifier cargo 6.9.0 none none Verifier for SP1 Groth16 and Plonk proofs. 803K 9d ago zisk-verifier cargo – 1.3.2-alpha did not build – Proof verifier for the ZisK zkVM proofs 7.3K 10d ago brum cargo – 1.7.0 did not build – Multi-Pane Web Environment (File Commander/Manager) - By Woofson 170 10d 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 10d 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 10d ago krusty-kms-crypto cargo 0.13.0 none none Cryptographic primitives and zero-knowledge proofs for krusty-kms 1.5K 12d ago am-fs-erofs cargo 0.3.1 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,… 9.0K 13d ago noun cargo 0.1.0 none none Content-addressable 32-byte identifiers for immutable Merkle proofs 11 13d ago 