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

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

Example circuits for circom 2.0

circom puzzle solutions to RareSkills ZK circom puzzles

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.

Private ERC-20 wrapping and bridging (NOT AUDITED)

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.

Circom Circuits Library for Machine Learning for the Vesta Curve