A Rust Implementation of the PLONK ZKP System and Extensions

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

A writeup collection of zk-related puzzles

A month-long zkp study group, one topic at a time.

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.

适合中国宝宝体质的 Pairing 教程 with SageMath

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

SageMath as a macOS application bundle.

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

Spartan: High-speed zkSNARKs without trusted setup

Native PostgreSQL driver for the Rust programming language

Little Yellow Chicken CTF Writeups

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

RISC Zero Catch-The-Flag Challenge

Collection of security reviews of ZK Protocols

DSL for Halo2 circuits

Apache HoraeDB (incubating) is a high-performance, distributed, cloud native time-series database.

Nova: High-speed recursive arguments from folding schemes

Verifying a 512-layer CNN w/ Nova

⚡ Dynamically generated stats for your github readmes