The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.

A Library for Formally Verified Cryptographic Proof Systems

Fiat-Shamir for the masses.

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

A Rust implementation of the Groth16 zkSNARK

Source files for ZKDL Lectures

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

The Nexus zkVM: The zero-knowledge virtual machine

crypto research stuffs from numerics to ZK applied protocols all written with dirty hands

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Polymath: Groth16 Is Not The Limit

A toolbox for zkSNARKs on Ethereum

A formal verification of Linear PCP SNARKs.

Elliptic Curve Cryptography and Field Arithmetic from scratch

Our project introduces a system designed to efficiently prove and verify the authenticity of transformed images.

A new type of zk-EVM for L2 rollup

Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.

PLONK + FRI based ZK proving system.