Automated verification of uniqueness property for ZKP circuits
-
Updated
Mar 13, 2024 - Circom
Automated verification of uniqueness property for ZKP circuits
A Brainfuck zkVM with Circom.
Automated verification of uniqueness property for ZKP circuits
Circom merkle tree primitives
Circom circuits of Ethereum arithmetic and bitwise operators
Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARKs.
Privacy Protected On-chain Identity Based on Zero Knowledge Proof
A monorepo of reusable Circom circuits.
Zero Knowledge Proof for Schnorr
A simple ZK Dapp which verifies using Circom circuit and generates/verifies proof using PLONK system and stores this proof in the blockchain
Selectively disclose content. A pull-driven and anonymous process.
Add a description, image, and links to the circom topic page so that developers can more easily learn about it.
To associate your repository with the circom topic, visit your repo's landing page and select "manage topics."