hekate-rsa cargo 0.4.0 none none RSA PKCS#1 v1.5 signature statements for the Hekate ZK proving system. 33 13h ago hekate-keccak cargo 0.11.0 none none Keccak-f[1600] AIR chiplet with SHA-3 and SHAKE sponges for the Hekate ZK proving system. 424 20h ago hekate-gadgets cargo 0.38.0 none none Base AIR gadgets for the Hekate ZK proving system. 612 22h ago hekate-sha2 cargo 0.4.0 none none SHA-256 compression AIR chiplet for the Hekate ZK proving system. 45 22h ago hekate-verifier cargo 0.38.0 none none Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching. 582 22h ago hekate-sdk cargo 0.38.0 none none Client SDK for the Hekate ZK proving system: program bundling, wire format, and preflight diagnostics. 824 22h ago hekate-program cargo 0.38.0 none none AIR program and chiplet definition API for the Hekate ZK proving system: constraint DSL, typed column schema, virtual expansion, LogUp bus wiring. 1.2K 22h ago hekate-crypto cargo 0.38.0 none none Hash abstraction for the Hekate ZK proving system: Blake3, SHA-256, SHA-3-256. 1.4K 22h ago hekate-core cargo 0.38.0 none none Core primitives for the Hekate ZK proving system. 1.3K 23h ago zakura-proofs cargo 4.0.0-rc2 none none Zcash zk-SNARK circuits and proving APIs 39K 1d ago zakura-halo2-proofs cargo 4.0.0-rc2 none none Fast PLONK-based zero-knowledge proving system with no trusted setup 51K 1d ago p3-word-backend cargo 0.9.0-rc.2 none none Proving backend for Plonky3 word-level constraint systems. 13 2d ago opencrabs cargo – 0.5.11 did not build – The autonomous, self-improving AI agent. Single Rust binary. Every channel. Recommended: the 40MB prebuilt binary for macOS, Linux and Windows:… 2.4K 3d ago p3-word cargo 0.9.0-rc.2 none none Word-level constraint relations for binary proving systems. 20 3d ago utmt cargo 0.14.1 none none Unit Test Macros. Several tools and macros for unit test improving. 736 4d ago magma-fsm cargo 0.1.36 none none magma — typed reconcile lifecycle state machine. Phase enum (Idle/Planning/Approving/Applying/Verifying/Stable/Failed/Retrying/Refused). Typed transitions with… 177 4d ago hooo cargo 0.13.0 none none Propositional logic with exponentials 26K 5d ago zcash_proofs cargo 0.31.0-pre.2 none none Zcash zk-SNARK circuits and proving APIs 978K 5d ago anomapay_erc20_library cargo medium 2.0.0-rc.1 did not build – Host-side proving API for the AnomaPay ERC20 transfer resource, with the embedded RISC Zero guest ELF and ImageID. 34 6d ago anomapay_emergency_migrating_erc20_library cargo medium 2.0.0-rc.1 did not build – Host-side proving API for the AnomaPay ERC20 transfer resource: emergency migration transaction builder and embedded guest ELF/ImageID. 13 6d ago anoma-generic-call-library cargo medium 2.0.0-rc.1 did not build – Host-side proving API for the GenericCall logic. 438 6d ago hugo-build cargo 0.168.0 none none A wrapper around the hugo binary to proving building capabilities. 105K 6d ago curvy-witnesscalc cargo 0.1.1 none none Witness generation and Groth16 proving for the Curvy circuits 427 7d ago pca-folding-ivc cargo 0.4.1 none 2 Recursive PCA action-history aggregation via a Nova folding scheme (IVC): fold N per-action steps into ONE RecursiveSNARK, then compress to a CompressedSNARK… 27 7d ago zisk-sdk cargo – 1.3.2-alpha did not build – High-level client SDK for proving and verifying programs on the ZisK zkVM 326 9d ago sp1-gpu-shard-prover cargo 6.9.0 8 none GPU shard proving orchestration for SP1 1.7K 10d ago emergency_migrating_transfer_library cargo – 3.0.0-rc.3 did not build – Host-side proving API for the AnomaPay ERC20 transfer resource: emergency migration transaction builder and embedded guest ELF/ImageID. 11 10d ago sp1-cuda cargo – 6.9.0 did not build – CUDA integration for SP1 GPU proving 991K 10d ago sp1-sdk cargo – 6.9.0 did not build – The SP1 SDK for building and proving zkVM programs 2M 10d ago slop-bn254 cargo 6.9.0 none none BN254 scalar field with Poseidon2 for outer proving in SLOP 719K 10d ago 