snark

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

The Nexus zkVM: The zero-knowledge virtual machine

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

A toolbox for zkSNARKs on Ethereum

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 p...

A Rust implementation of the Groth16 zkSNARK

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

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

zero knowledge for those with zero knowledge

STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language

Formally Verified Arguments of Knowledge in Lean

Benchmarking framework for general purpose zero-knowledge proofs languages and libraries

#区块链#Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

Fiat-Shamir for the masses.

Binary Proofs, Blazing Fast

PoC of SNARK-driven Plasma with up to 500 tx/sec

Benchmarks of popular zkVMs including Jolt

A formal verification of Linear PCP SNARKs.

#区块链#Confidential Transaction with Collaborative Traceability, zk-zkRollup