Directory category

ZK & Privacy

Explore zero-knowledge proof and privacy projects, their developer tools and documented applications. Compare official resources, requirements and limitations.

59 projects

EDITORIAL STARTING POINTS

Start with a documented project

Selected profiles with a clear purpose, supported use cases and source-based guides. Selection is not an execution test or a ranking of project quality.

InfrastructureLight Protocol

An open-source Rust protocol for ZK compression on Solana. Its stated purpose is to reduce the cost or footprint of Solana state using zero-knowledge compression.

Directory results

ZK & Privacy projects

Z ZK Sql ZK Sql is open-source infrastructure for generating and verifying zero-knowledge proofs of SQL reads and writes against a committed database table.

G Genstark Genstark is a TypeScript library for generating STARK-based proofs of computation in JavaScript. It provides an API to define a computation from AirScript, generate a proof from assertions and inputs, and verify that proof.

B Bulletproofs Bulletproofs is a Haskell cryptography library implementing non-interactive zero-knowledge arguments for statements about committed values, with documented single and multi-value range-proof examples.

D Distaff Distaff is an open-source Rust library implementing a zero-knowledge virtual machine that executes programs and automatically generates STARK-based proofs of execution.

C Ciphercore CipherCore is an open-source secure multi-party computation engine with a Python computation-graph API, a compiler and CLI tools, and a separately provided runtime for network execution.

R Reverie Reverie is a Rust library and command-line tool implementing the prover and verifier for the KKW 2018 MPC-in-the-head non-interactive zero-knowledge proof-of-knowledge system.

S Stark Snark Recursive Proofs Stark Snark Recursive Proofs is a Rust library and set of proof-of-concept examples for combining Winterfell-generated STARKs with Circom and Groth16 SNARKs in recursive proof workflows.

P Plonk — ZK-Garage Plonk is an open-source Rust library implementing the PLONK proving system and related zero-knowledge-proof components, with an arkworks-compatible backend.

ZK & Privacy

Start with a documented project

ZK & Privacy projects

Archives

Categories