G4 grammar for Circom

Typescript bindings for Circom circuits

Circom circuits explained in depth.

Generic AES Implementation in Circom

A simple zk virtual machine (zk vm) in 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.

circom puzzle solutions to RareSkills ZK circom puzzles

A monorepo of reusable Circom circuits.

Automated verification of uniqueness property for ZKP circuits

Circom circuits of Ethereum arithmetic and bitwise operators

Research and comparison of hashing algorithms for zk-protocol arithmetic scheme

Batch verification of ECDSA Signatures using Randomizers for the P-256 curve

Automated verification of uniqueness property for ZKP circuits

Circom circuit to generate Zero-Knowledge proofs for PileumConnect

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

A simple ZK Dapp which verifies using Circom circuit and generates/verifies proof using PLONK system and stores this proof in the blockchain

Bit manipulation in Circom