plonky2 recursion framework handling different circuits in unified way.

Tornado Cash as a foundry project, using latest versions of tools such as Circom, snarkJS, etc.

Crypto Gadgets for Plonky2

Solutions to the circom exercises prepped by UC Berkeley RDI for the ZKP MOOC 2023

Implementation of the BLS12-381 pairing-friendly elliptic curve group

Using Nova in a multi-instance IVC scheme to parallelized folding of BLS aggregate signature verification instances in R1CS

Nova: Recursive SNARKs without trusted setup with prover parallelization

Nova: High-speed recursive arguments from folding schemes

Middleware to compile Circom circuits to Nova prover

recursive benchmark for different proof systems

ZK Circuit examples, written in Circom and Noir

basic circom project using hardhat-circom (upgrade to circom2 is WIP)

This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.

A prototype implementation for Sisu bridge paper

Batch ECDSA in circom

Nova: Recursive SNARKs without trusted setup

A fast, secure, and portable multichain light client for Ethereum

Library of basic circuits for circom

Decentralized Systems Benchmarking and Experiment Runner Framework

🧪 A platform for testing, benchmarking, and simulating distributed and p2p systems at scale.

An Introduction to CBC Casper Consensus Protocols

Ethereum Proof-of-Stake Consensus Specifications

The power of zero knowledge proofs on the Algorand blockchain

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

ED25519 implementation in Circom

A curated list of Zero Knowledge links, mostly focusing on blockchain.