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.

Automated verification of uniqueness property for ZKP circuits

A Brainfuck zkVM with Circom.

Automated verification of uniqueness property for ZKP circuits

Circom arithmetic circuits and concepts explained, in depth.

A monorepo of reusable Circom circuits.

Circom merkle tree primitives

Generic AES Implementation in Circom

zk-sbt using circom2 hardhat-circom

ECDSA P384 implementation for circom

Mutation testing tool for circom

Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARKs.

Revolutionizing Anonymity with Zero-Knowledge Technology

Zero Knowledge Proof for Schnorr

Privacy Protected On-chain Identity Based on Zero Knowledge Proof

Circuit for generating ethereum account RLP

Circom challenges within zkCTF by Scalebit, solved with Foundry & Circomkit.

Circom circuits library for magnificent ZK applications

Building your GPT-based private knowledge hub using zkSNARK & PLONK

A simple zk virtual machine (zk vm) in Circom