Circom Circuits Library for Machine Learning

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.

Automated verification of uniqueness property for ZKP circuits

Circuits library for matrix operations in circom

Anonymous Voting system build with the power of Zero-knowledge cryptography

Puzzles using ZKP

The Wordle you know, but with Zero-Knowledge Proofs

Zero Knowledge Proof for Schnorr

Bit manipulation in Circom

circom puzzle solutions to RareSkills ZK circom puzzles

Example circuits for circom 2.0

Private ERC-20 wrapping and bridging (NOT AUDITED)

Prover size performance analysis of various hash function pre-image proving in Groth16 zk-SNARK

zeroPartData project uses Zero Knowledge Proof to verify eligibility for gifts & discount offers by Brands.

A circom started project for simpler use and zero-knowledge project development with simple commands

30 minute practical crash course to various zkSNARK frameworks.

Zk Stable Match Making: to hide everyone’s priority lists and yet retrieve pairs that are stable according to priority lists in a trustless environment.

zkMonopoly on zkVerify uses ZK proofs for a single-player Monopoly. Players roll a die on a 16-tile board to gain/lose SMONO tokens. Burn tokens at thresholds (500, 1000, etc.) to earn XMONO points (1, 3, 6, etc.), capped at 5,000, expandable by admin. zkVerify ensures private, fair validation.

Learning Circom and zero-knowledge circuit design

Incremental Merkle Tree (IMT) - a specialized form of a Merkle tree designed to allow for efficient appending of new elements

DeadDrop ZK App — A zero-knowledge proof system to verify encrypted messages without revealing them. Built with Circom, Groth16, and Poseidon hash. Proves that decryption of ciphertext with a private key matches a commitment. Ideal for anonymous message reveals.

Starter template for zero-knowledge proof projects using Circom and Foundry. Supports Groth16, Plonk, FFlonk, automated trusted setup, and Solidity verifier generation.

A Zero-Knowledge circuit that proves an age check (Age ≥ 18) without revealing the actual age. Implemented with Circom, SnarkJS, and CircomLib to demonstrate bitwise comparators in finite fields.