-
dory-pcs
A high performance and modular implementation of the Dory polynomial commitment scheme
-
spectral_vm
HYPERION: Production-ready zero-knowledge virtual machine with spectral analysis
-
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
-
chaum-pedersen-zkp
Chaum-Pedersen zero-knowledge protocol implementation
-
snarkify-sdk
Snarkify Rust SDK for Streamlined Serverless Prover Development and Deployment
-
credx
Anonymous Credentials 2.0 implemention
-
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
-
zshuffle
Encrypt and shuffle cards, resulting in a randomly ordered deck
-
miden-prover
Miden VM prover
-
uzkge
App-specific PlonK with various gadgets & primitives
-
vade-jwt-vc
plugin to issue VC with simple JWT signature based on SECP256K1 curve
-
light-verifier
ZKP proof verifier used in Light Protocol
-
miden-verifier
Miden VM execution verifier
-
zkp_fiat_shamir_lib
non-interactive ZKP Fiat-Shamir
-
winter-prover
Winterfell STARK prover
-
turboplonk
App-specific TurboPlonK with various gadgets & primitives
-
winterfell
STARK prover and verifier
-
zeknox_p2
ZEro KNOwledge Xcelerated (accelerated ZKP) compatible with 0xPolygonZero/plonky2
-
winter-verifier
Winterfell STARK verifier
-
halo2_gadgets
Reusable gadgets and chip implementations for Halo 2
-
zmatchmaking
Mathmaking for PvP games with provable fairness and randomness
-
air-script-core
Core types for the AirScript compiler
-
snarkvm-circuit-types-boolean
Boolean circuit for a decentralized virtual machine
-
Pedersen_hash_function
computes the pedersen hash of given inputs and modular arithmetic
-
vade-evan-bbs
Workflow handling and signature creation for BBS crypto suite in evan
-
walletkit
Reference implementation for World ID clients
-
air-ir
Intermediate representation for the AirScript language
-
air-parser
Parser for the AirScript language
-
aingle_zk
Zero-Knowledge Proofs for AIngle - privacy-preserving cryptographic primitives
-
midnight-proofs
Fast PLONK-based zero-knowledge proving system
-
zeknox
ZEro KNOwledge Xcelerated (accelerated ZKP)
-
vade-evan
zero-knowledge-proof VC and TnT DID handling for vade
-
halo2
[BETA] Fast zero-knowledge proof-carrying data implementation with no trusted setup
-
zkp-stark
STARK ZK-proof system
-
naruto
RAMenPaSTA
-
zk_database
that enables ZKP to NoSQL databases
-
stark-felt
Field element type for Cairo
-
zkstd
zero knowledge proof standard library
-
fastcrypto-zkp
zk-proof library used at Mysten Labs
-
zkrisc
A Zero-Knowledge CPU based on RISC-V and zkSNARK
-
bls-12-381
Bls12 381 pairing-friendly curve implementation
-
ark-msm
An optimized multi-scalar muliplication (MSM) library based on arkworks
-
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
-
starknet-types-rpc
Starknet RPC types
-
jub-jub
twisted edwards curve implementation
-
she-elgamal
lifted elgamal encryption implementation
-
reclaim-solana
Reclaim Protocol SDK for Solana
Try searching with DuckDuckGo.