Circom Circuits Library for Machine Learning

Automated verification of uniqueness property for ZKP circuits

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

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

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

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.

Example circuits for circom 2.0

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

Circom Circuits Library for Machine Learning for the Vesta Curve

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

30 minute practical crash course to various zkSNARK frameworks.