35 results found Sort:

A zero-knowledge protocol for anonymous interactions.
Created 2019-04-05
1,816 commits to main branch, last one 3 days ago
Minimal Anti-Collusion Infrastructure (MACI)
Created 2019-06-16
3,530 commits to dev branch, last one a day ago
Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo
Created 2022-06-15
19 commits to main branch, last one about a year ago
Build your zkp app with typescript, hardhat, circom, and snarkjs!
Created 2022-04-18
24 commits to main branch, last one 2 years ago
20
169
gpl-3.0
4
Circom Circuits Library for Machine Learning
Created 2022-05-11
50 commits to master branch, last one 10 months ago
24
159
mit
11
A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
Created 2020-12-07
230 commits to master branch, last one 2 years ago
22
152
agpl-3.0
4
Library to issue zero knowledge soul bound tokens (ZK SBTs)
Created 2022-06-02
62 commits to main branch, last one about a year ago
Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.
Created 2022-06-30
86 commits to main branch, last one about a year ago
28
147
gpl-3.0
2
An online playground for zero knowledge circuits
Created 2021-12-07
95 commits to main branch, last one 9 months ago
36
141
apache-2.0
6
A Rust zkVM with a Modular Proof System
Created 2022-04-08
386 commits to main branch, last one 10 days ago
This repository contains Zk learning resources
Created 2023-02-08
37 commits to main branch, last one 4 months ago
ED25519 implementation in Circom
Created 2022-01-02
2 commits to main branch, last one about a year ago
A testing & development environment for Circom.
Created 2023-02-15
153 commits to main branch, last one 20 days ago
ZK-based engine for self-sovereign SQL queries
Created 2022-06-11
16 commits to main branch, last one 2 years ago
27
85
gpl-3.0
3
A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex and soon Noir.
Created 2023-01-13
286 commits to main branch, last one a day ago
15
82
apache-2.0
8
First ZK project built on TON blockchain, based on 🌪 Cash
Created 2023-06-13
51 commits to main branch, last one 10 months ago
The ultimate TypeScript environment for Circom development
Created 2024-04-23
104 commits to master branch, last one 2 days ago
3
72
unknown
4
zero knowledge proof aggregator for general circuit
Created 2022-10-11
104 commits to main branch, last one 7 months ago
17
67
unknown
1
zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.
Created 2022-04-08
61 commits to main branch, last one 2 years ago
A privacy-preserving key-value database on Arweave.
Created 2023-02-26
174 commits to master branch, last one 9 months ago
A zk-SNARK implementation
Created 2022-04-14
22 commits to main branch, last one 2 years ago
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.
Created 2022-07-13
107 commits to main branch, last one 2 years ago
A Brainfuck zkVM with Circom.
Created 2023-07-16
17 commits to main branch, last one about a year ago
2
49
unknown
1
CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.
Created 2023-02-16
60 commits to main branch, last one about a year ago
A guild to build simple zk rollup
Created 2022-07-12
39 commits to master branch, last one 2 years ago
6
44
agpl-3.0
6
Anonymous Proof of Ethereum Address Ownership
Created 2022-10-26
497 commits to main branch, last one 2 months ago
15
44
unknown
1
zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.
Created 2022-06-07
15 commits to main branch, last one about a year ago
Zero Knowledge-based NFT Private Airdrop. 🏆 finalist EthDenver 22
Created 2022-02-10
104 commits to main branch, last one 2 years ago
10
41
mit
5
Automated verification of uniqueness property for ZKP circuits
Created 2022-04-06
128 commits to main branch, last one 6 months ago
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 (ident...
Created 2022-08-27
90 commits to main branch, last one about a year ago