grin_secp256k1zkp cargo 0.8.0 clean Grin's fork with Zero-Knowledge extensions of Rust bindings for Pieter Wuille's `libsecp256k1` library. Implements ECDSA for the SECG elliptic curve group… 239K 4h ago wickra-zk-methods cargo 0.2.0 clean The compiled wickra-zk guest program: the RISC-V ELF the prover runs and the image id the verifier pins, committed alongside the source that produces them. 170 1d ago wickra-zk-host cargo not built 0.2.0 did not build Prover and verifier for wickra-zk: runs the deterministic wickra-backtest inside a risc0 zkVM guest and turns a receipt into a trustless, data-hiding proof of… 151 1d ago wickra-zk cargo not built 0.2.0 did not build Command-line prover and verifier for wickra-zk: prove a backtest inside the zkVM and check the resulting receipt. 58 1d ago blockle-zk cargo 0.1.4 clean Blockle shielded pool: STARK spend proofs (winterfell), Rescue note commitments, note tree 24 9h ago light-poseidon cargo 0.4.1 clean Poseidon hash implementation in Rust 13M 3h ago dusk-bls12_381 cargo 0.16.0 clean Fork of the implementation of the BLS12-381 pairing-friendly elliptic curve construction with some extra tooling needed by the Dusk team 325K 14h ago dusk-jubjub cargo 0.16.0 clean Dusk's fork of the implementation of the Jubjub elliptic curve group 303K 11h ago walletkit-core cargo not built 0.27.1 did not build Reference implementation for the World ID Protocol. Core functionality to use a World ID. 21K 1d ago walletkit cargo not built 0.27.1 did not build Reference implementation for World ID clients. 8.4K 1d ago walletkit-db cargo 0.27.1 2 detections 2 Encrypted on-device storage abstractions for WalletKit (vault, content-addressed blobs, key envelope). 1.9K 1d ago hekate-crypto cargo 0.37.0 clean Hash abstraction for the Hekate ZK proving system: Blake3, SHA-256, SHA-3-256. 1.3K 17h ago hekate-core cargo 0.37.0 clean Core primitives for the Hekate ZK proving system. 1.2K 17h ago hekate-program cargo 0.37.0 clean AIR program and chiplet definition API for the Hekate ZK proving system: constraint DSL, typed column schema, virtual expansion, LogUp bus wiring. 1.2K 17h ago hekate-sdk cargo 0.37.0 clean Client SDK for the Hekate ZK proving system: program bundling, wire format, and preflight diagnostics. 791 17h ago hekate-gadgets cargo 0.37.0 clean Base AIR gadgets for the Hekate ZK proving system. 588 17h ago hekate-verifier cargo 0.37.0 clean Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching. 554 17h ago hekate-prover-sys cargo not built 0.37.0 did not build Open-source shim that links the closed-source Hekate prover cdylib over a stable C ABI. 516 17h ago walletkit-sqlite cargo 0.27.1 1 detection 1 Safe Rust wrapper around sqlite3mc for WalletKit. 415 1d ago hekate-keccak cargo 0.10.0 clean Keccak-f[1600] AIR chiplet with SHA-3 and SHAKE sponges for the Hekate ZK proving system. 406 16h ago hekate-scribble cargo 0.37.0 clean Trace mutation fuzzer for Hekate ZK programs and chiplets. Tampers valid traces and asserts preflight catches every mutation. 296 17h ago aleo-rust-sdk cargo 0.4.1 clean Rust SDK for the Aleo blockchain — accounts, programs, local/remote execution, ZK proving, on-chain verification 38 1d ago aleo-cli cargo 0.3.0 2 vulnerabilities 2 CLI tool for Aleo blockchain — balance, transfer, deploy, execute, local proving, ZK verification 29 1d ago hekate-sha2 cargo 0.3.0 clean SHA-256 compression AIR chiplet for the Hekate ZK proving system. 29 17h ago openvtc-vetting-pcs cargo not built 0.5.0 did not build Hidden-vetter admission (ZKP) for OpenVTC: the Predicate Credential System behind the vetting flow 27 21h ago 