A pure Rust PLONK implementation using arkworks as a backend.

zkSNARK implementation in JavaScript & WASM

The Halo2 zero-knowledge proving system

Big integer arithmetic and secp256k1 ECC operations in circom

Dark Forest zkSNARK circuits

ED25519 implementation in Circom

knowledge base of ZKP including applications, hardware, technical discussions and more.

rollup implementation

A toolbox for zkSNARKs on Ethereum

A Decentralized Operating System for ZK Applications

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

A zero-knowledge protocol for anonymous interactions.

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

STARK-based virtual machine

Schnorr Protocol for Non-interactive Zero-Knowledge Proofs

algebra arithmetic, finite fields, elliptic curves, zero-knowledge

BLS Signatures in Rust

An online playground for zero knowledge circuits

Introduction to Zero Knowledge Proof

zkSnark circuit compiler

A static analyzer and linter for the Circom zero-knowledge DSL

A Rust Implementation of the PLONK ZKP System and Extensions

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

Zero-Knowledge OTP verification on chain

Validity rollup resources

A web tool that helps you compare and visualize the performance of cryptographic operations

non-custodial exchange build with rollup