Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo

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

A Rust zkVM with a Modular Proof System

This repository contains Zk learning resources

zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.

A zk-SNARK implementation

Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure code quality and security.

CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.

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

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)

Anonymous Proof of Ethereum Address Ownership

An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.

Circuits library for matrix operations in circom

Circuits, written in circom, for Proof Of Solvency

.ptau deserializer for gnark groth16 bn254 trusted setup

Private authentic photo sharing using ZKP

Anonymous Voting system build with the power of Zero-knowledge cryptography

REST API for snarkjs prover

zk-sbt using circom2 hardhat-circom

Puzzles using ZKP