-
dory-pcs
A high performance and modular implementation of the Dory polynomial commitment scheme
-
sha3-circuit
Lookup based midnight-proofs (halo2 fork) implementation of keccak-f[1600] permutation and gadgets for the sha3-256 and keccak-256 hash functions
-
zk-nalloc
High-performance, deterministic memory allocator optimized for Zero-Knowledge Proof (ZKP) systems and cryptographic provers
-
spectral_vm
HYPERION: Production-ready zero-knowledge virtual machine with spectral analysis
-
vade-evan
zero-knowledge-proof VC and TnT DID handling for vade
-
spark-zk
SPARK: Post-quantum lattice-based zero-knowledge proof engine with SKARF privacy-preserving audit
-
eth-id
Zero-Knowledge Document Verification CLI and Library
-
credx
Anonymous Credentials 2.0 implemention
-
chaum-pedersen-zkp
Chaum-Pedersen zero-knowledge protocol implementation
-
snarkify-sdk
Snarkify Rust SDK for Streamlined Serverless Prover Development and Deployment
-
zkp
A toolkit for auto-generated implementations of Schnorr proofs
-
bp-pp
Bulletproofs++ - range-proof protocol in discret loggarithm setting
-
starknet-types-core
Core types representation for Starknet
-
genshi-wasm
Browser WASM helpers for the genshi framework — applications wrap this with their own cdylib
-
vade-jwt-vc
plugin to issue VC with simple JWT signature based on SECP256K1 curve
-
arcanum-zkp
Zero-knowledge proofs: Bulletproofs, Schnorr proofs, commitments
-
miden-prover
Miden VM prover
-
uzkge
App-specific PlonK with various gadgets & primitives
-
miden-verifier
Miden VM execution verifier
-
winter-prover
Winterfell STARK prover
-
winter-verifier
Winterfell STARK verifier
-
zshuffle
Encrypt and shuffle cards, resulting in a randomly ordered deck
-
winterfell
STARK prover and verifier
-
walletkit
Reference implementation for World ID clients
-
halo2_gadgets
Reusable gadgets and chip implementations for Halo 2
-
light-verifier
ZKP proof verifier used in Light Protocol
-
snarkvm-circuit-types-field
Field circuit for a decentralized virtual machine
-
Pedersen_hash_function
computes the pedersen hash of given inputs and modular arithmetic
-
snarkvm-circuit-types-boolean
Boolean circuit for a decentralized virtual machine
-
air-script-core
Core types for the AirScript compiler
-
midnight-proofs
Fast PLONK-based zero-knowledge proving system
-
zcash_voting
Client-side library for Zcash shielded voting: ZKP delegation and vote-commitment proofs (Halo 2), ElGamal encryption, governance PCZT construction, Merkle witness generation, and SQLite round-state persistence
-
snarkvm-circuit-types-group
Group circuit for a decentralized virtual machine
-
vade-evan-bbs
Workflow handling and signature creation for BBS crypto suite in evan
-
air-ir
Intermediate representation for the AirScript language
-
genshi-core
Core cryptographic library for the genshi dual-VM ZK framework (PLONK-KZG over BN254/Grumpkin, Poseidon2, Keccak transcript)
-
walletkit-db
Internal SQLite wrapper crate for WalletKit storage
-
zmatchmaking
Mathmaking for PvP games with provable fairness and randomness
-
air-parser
Parser for the AirScript language
-
halo2-solana-verifier
no_std PSE Halo2 (BN254/KZG/SHPLONK) proof verifier for Solana BPF
-
genshi-cli
Framework tooling for genshi — SRS generation, verifier emission, circuit-aware CLI
-
aingle_zk
Zero-Knowledge Proofs for AIngle - privacy-preserving cryptographic primitives
-
zeknox
ZEro KNOwledge Xcelerated (accelerated ZKP)
-
zkp-stark
STARK ZK-proof system
-
halo2
[BETA] Fast zero-knowledge proof-carrying data implementation with no trusted setup
-
turboplonk
App-specific TurboPlonK with various gadgets & primitives
-
stark-felt
Field element type for Cairo
-
zkstd
zero knowledge proof standard library
-
fastcrypto-zkp
zk-proof library used at Mysten Labs
-
zk_database
that enables ZKP to NoSQL databases
-
zkrisc
A Zero-Knowledge CPU based on RISC-V and zkSNARK
-
ark-msm
An optimized multi-scalar muliplication (MSM) library based on arkworks
-
starknet-types-rpc
Starknet RPC types
-
bls-12-381
Bls12 381 pairing-friendly curve implementation
-
walletkit-core
Reference implementation for the World ID Protocol. Core functionality to use a World ID.
-
prover-executor
exposes structs and functions to generate ZKP
-
naruto
RAMenPaSTA
Try searching with DuckDuckGo.