A Rust zkVM with a Modular Proof System

snarkjs powers of tau universal setup (.ptau) deserializer for gnark's groth16 bn254 phase1 trusted setup

A ZK debug tools created during ETHBerlin.

This repository demonstrates creating and verifying a Zero Knowledge Proof (ZKP) using snarkjs and circom.

Anonymous Proof of Ethereum Address Ownership

Prover size performance analysis of various hash function pre-image proving in Groth16 zk-SNARK

zk-SNARK WASM circuit compiler

Transpile PyTorch model to Circom circuit

This repository contains Zk learning resources

zk Connect Four is a zero-knowledge DApp that lets you play the game of Connect Four against a DQN agent-trained policy or against another user and generate and verify a zk-SNARK proof to validate that a user knows who won a valid game without revealing any information.

zk-SNARK (Groth16) based authentication for EVM smart contracts.

Build your zkp app with typescript, hardhat, circom, and snarkjs!

zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.

The Zero Knowledge Whitelist Tool is a powerful utility for managing an address whitelist using Zero-Knowledge (ZK) proofs.

template for zkApp connect mina chain, using nextjs13, typescript, snarkyjs

🦢 Send transactions by sending emails using ZKPs and Account Abstraction

Intro to circom codelab

30 minute practical crash course to various zkSNARK frameworks.