Minimal Anti-Collusion Infrastructure (MACI)
-
Updated
Jun 8, 2024 - TypeScript
Minimal Anti-Collusion Infrastructure (MACI)
A zero-knowledge protocol for anonymous interactions.
Sindri Zero-Knowledge Proof CLI
Automated verification of uniqueness property for ZKP circuits
A proof-of-concept that how we can generate zero-knowledge proofs with using Circom domain specific language via ZKSNARKS.
Repository for the solution of "Fraternitas<>Libertatis" team during the Sber Hackaton 2024.
Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.
Universal matching / routing protocol using ZKP.
This repository demonstrates creating and verifying a Zero Knowledge Proof (ZKP) using snarkjs and circom.
zero knowledge proof aggregator for general circuit
A testing & development environment for Circom.
A monorepo of reusable Circom circuits.
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."