A zero-knowledge protocol for anonymous interactions.

Minimal Anti-Collusion Infrastructure (MACI)

Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo

Build your zkp app with typescript, hardhat, circom, and snarkjs!

Circom Circuits Library for Machine Learning

This repository contains Zk learning resources

A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.

Library to issue zero knowledge soul bound tokens (ZK SBTs)

Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.

An online playground for zero knowledge circuits

A Rust zkVM with a Modular Proof System

ED25519 implementation in Circom

A testing & development environment for Circom.

A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex and soon Noir.

First ZK project built on TON blockchain, based on 🌪 Cash

The ultimate TypeScript environment for Circom development

ZK-based engine for self-sovereign SQL queries

Verifying biometric passports with zero knowledge proofs (SNARKs)

zero knowledge proof aggregator for general circuit

zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.

A privacy-preserving key-value database on Arweave.

A Brainfuck zkVM with Circom.

Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure code quality and security.

A guild to build simple zk rollup

ZK proofs for image authenticity

A zk-SNARK implementation

CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.

Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption

zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.

Automated verification of uniqueness property for ZKP circuits