Benchmarks of popular zkVMs including Jolt

Cairo is the first Turing-complete language for creating provable programs for general computation.

zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the…

Experimental folding schemes library

A Rust library for polynomial commitments

Plonkish Nova implementation along with advanced features

A curated list of zero-knowledge folding schemes

ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf

Cryptography In Rust For Hackers

Noname: a programming language to write zkapps

Captcha image generator for Zkaptcha

Library of basic circuits for circom

zkSync Era Documentation

Nova: High-speed recursive arguments from folding schemes

Implementation of the Grumpkin curve in Rust.

A super-easy, composable, web server framework for warp speeds.

🦀 Small exercises to get you used to reading and writing Rust code!

Zero-knowledge gadgets for Webb's cross-chain blockchain applications.

A pure Rust PLONK implementation using arkworks as a backend.

DPC with Universal Setup

Basic string utilities for Solidity

The proof systems used by Mina

A Rust Implementation of the PLONK ZKP System and Extensions

simply my blog site