Hääl - Anonymous Electronic Voting System on Public Blockchains

A guild to build simple zk rollup

A Risc-V CPU implemented as a zk-SNARK

Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot be verified by someonewho is not the designated verifier (identified by its ethereum public address)

Circuits library for matrix operations in circom

Circuits, written in circom, for Proof Of Solvency

Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.

Template for zkGraph.

This repo contains the frontend implementation related to the ZK-SBT protocol

ZK-rollup in Javascript, using circom & snarkJS. This is a meant-to-be-simple implementation aimed at learners.

The zero knowledge proof system used in Delta.

A zero-knowledge virtual machine with only one instruction

ZK proof of NZ COVID Pass identity written in Circom

Circom JS starter repository.

Mixup is a zk-Snarks powered, decentralized, non-custodial privacy solution built on Harmony. It improves transaction privacy by breaking the on-chain link between recipient and destination addresses. This project was inspired by tornado cash.

zk-SNARK proof of Merkle tree membership using circom

Variable length sha256 hash function in Circom

Vocdoni documentation

Hands-on labs and other helpful resources for the attendees of blockchain workshop.

Private DAI transaction using zokrates(zkSnarks) - Zero-knowledge proof concept.