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

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

This repository contains Zk learning resources

A Rust zkVM with a Modular Proof System

The ultimate TypeScript environment for Circom development

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

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.

A zk-SNARK implementation

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.

Anonymous Proof of Ethereum Address Ownership

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)

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

Circuits library for matrix operations in circom

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

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