Automated verification of uniqueness property for ZKP circuits

A Brainfuck zkVM with Circom.

Automated verification of uniqueness property for ZKP circuits

Circom circuits explained in depth.

Circom merkle tree primitives

Generic AES Implementation in Circom

A monorepo of reusable Circom circuits.

zk-sbt using circom2 hardhat-circom

Circom circuits of Ethereum arithmetic and bitwise operators

Mutation testing tool for circom

ECDSA P384 implementation 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

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

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

A simple zk virtual machine (zk vm) in Circom

Revolutionizing Anonymity with Zero-Knowledge Technology

G4 grammar for Circom