Deadline countdowns for academic conferences in Security and Privacy

linear-time sumcheck protocol for multilinear polynomials and related addends

Playground for my math & cryptography experiments: ZK, lattice-based, algebra (WIP)

Rust implementation of the current leanSig proposal.

Personal notes about ZKP

The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.

A verification toolchain for Rust programs

Chinese translation of Proofs, Arguments, and Zero-Knowledge

A curated list of awesome things related to learning Binius

A curated list of awesome things related to learning Circle STARK.

articles, codes and tools all about zero-knowledge proofs

深入理解计算机系统(Computer Systems: A Programmer's Perspective)

A Framework of Lattice-based Zero-knowledge Arguments in Rust

A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes

A toolkit for polynomial IOPs (PIOPs)

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