Sindri-Labs/sindri-js

Sindri Zero-Knowledge Proof CLI

Language: TypeScript - Size: 1 MB - Last synced: about 14 hours ago - Pushed: about 15 hours ago - Stars: 13 - Forks: 0

zkKYC/contracts

Language: Solidity - Size: 12.8 MB - Last synced: about 7 hours ago - Pushed: about 18 hours ago - Stars: 0 - Forks: 0

privacy-scaling-explorations/zk-kit

A monorepo of reusable libraries for zero-knowledge technologies.

Language: TypeScript - Size: 13.2 MB - Last synced: 25 days ago - Pushed: 27 days ago - Stars: 253 - Forks: 52

jeong0982/gkr

zero knowledge proof aggregator for general circuit

Language: Rust - Size: 137 KB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 68 - Forks: 3

erhant/circomkit

A testing & development environment for Circom.

Language: TypeScript - Size: 5.38 MB - Last synced: 1 day ago - Pushed: 5 days ago - Stars: 83 - Forks: 5

dl-solarity/zktype

Typescript types for circom circuits

Language: TypeScript - Size: 232 KB - Last synced: 5 days ago - Pushed: 6 days ago - Stars: 3 - Forks: 0

firstbatchxyz/hollowdb-prover

Zero-knowledge prover utility for HollowDB.

Language: TypeScript - Size: 7.05 MB - Last synced: 6 days ago - Pushed: 3 months ago - Stars: 2 - Forks: 2

privacy-scaling-explorations/zk-kit.circom

A monorepo of reusable Circom circuits.

Language: Circom - Size: 1.94 MB - Last synced: 6 days ago - Pushed: 7 days ago - Stars: 3 - Forks: 0

dl-solarity/zkit

Circom zero knowledge kit

Language: TypeScript - Size: 102 KB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 1 - Forks: 0

semaphore-protocol/semaphore

A zero-knowledge protocol for anonymous interactions.

Language: TypeScript - Size: 6.6 MB - Last synced: 28 days ago - Pushed: 28 days ago - Stars: 836 - Forks: 167

masa-finance/masa-zkSBT

A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.

Language: TypeScript - Size: 46.8 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 8 - Forks: 6

jidalii/push

Push: a GameFi DApp to promote healthy living on Polygon

Language: Solidity - Size: 171 MB - Last synced: 10 days ago - Pushed: 11 days ago - Stars: 1 - Forks: 0

dl-solarity/circom-lib

Circom circuits library for magnificent ZK applications

Language: TypeScript - Size: 38.5 MB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 3 - Forks: 0

firstbatchxyz/hollowdb-prover-rust

Zero-knowledge prover utility for HollowDB.

Language: Rust - Size: 1.08 MB - Last synced: 15 days ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

firstbatchxyz/hollowdb-prover-go

Zero-knowledge prover utility for HollowDB.

Language: Go - Size: 1.07 MB - Last synced: 15 days ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

0xEigenLabs/eigen-zkvm

A Rust zkVM with a Modular Proof System

Language: Rust - Size: 75.1 MB - Last synced: 19 days ago - Pushed: 19 days ago - Stars: 118 - Forks: 31

kroma-network/rules_circom

Bazel rules for circom

Language: Starlark - Size: 34.2 KB - Last synced: 20 days ago - Pushed: 20 days ago - Stars: 1 - Forks: 0

tokamak-network/circom-ethereum-opcodes

Circom circuits of Ethereum arithmetic and bitwise operators

Language: Circom - Size: 788 KB - Last synced: 20 days ago - Pushed: 20 days ago - Stars: 16 - Forks: 6

fluidex/plonkit

A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.

Language: Rust - Size: 1.75 MB - Last synced: 18 days ago - Pushed: over 1 year ago - Stars: 154 - Forks: 24

advaita-saha/zk-Voting

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

Language: Solidity - Size: 4.79 MB - Last synced: 22 days ago - Pushed: about 1 year ago - Stars: 14 - Forks: 1

privacy-scaling-explorations/maci

Minimal Anti-Collusion Infrastructure (MACI)

Language: TypeScript - Size: 259 MB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 483 - Forks: 121

nulltea/zk-SQL

ZK-based engine for self-sovereign SQL queries

Language: Solidity - Size: 6.3 MB - Last synced: 4 days ago - Pushed: almost 2 years ago - Stars: 84 - Forks: 3

0xRajkumar/zkSortedArray

Language: Assembly - Size: 4.48 MB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 2 - Forks: 0

vplasencia/FairnessInCardGames

Fairness in card Games

Language: Solidity - Size: 146 KB - Last synced: 25 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

vplasencia/DarkForestTriangleJump

DarkForest Triangle Jump

Language: Solidity - Size: 130 KB - Last synced: 25 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

erhant/circom101

Circom circuits explained in depth.

Language: Circom - Size: 655 KB - Last synced: 26 days ago - Pushed: 27 days ago - Stars: 17 - Forks: 1

socathie/circomlib-matrix

Circuits library for matrix operations in circom

Language: JavaScript - Size: 76.2 KB - Last synced: 20 days ago - Pushed: almost 2 years ago - Stars: 31 - Forks: 7

socathie/circomlib-ml

Circom Circuits Library for Machine Learning

Language: Jupyter Notebook - Size: 932 KB - Last synced: 21 days ago - Pushed: 21 days ago - Stars: 154 - Forks: 19

xorddotcom/SHIELD

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.

Language: TypeScript - Size: 1.1 MB - Last synced: 1 day ago - Pushed: over 1 year ago - Stars: 57 - Forks: 2

AndrewPochapsky/zk-battleship

Play a game of battleship on-chain while preserving privacy using ZK-SNARKs!

Language: Solidity - Size: 154 KB - Last synced: 29 days ago - Pushed: 9 months ago - Stars: 1 - Forks: 1

0xPARC/zkrepl

An online playground for zero knowledge circuits

Language: TypeScript - Size: 27.1 MB - Last synced: 22 days ago - Pushed: about 2 months ago - Stars: 131 - Forks: 18

pratham-bhatnagar/zkpVault

Privacy Protected On-chain Identity Based on Zero Knowledge Proof

Language: Circom - Size: 26.1 MB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 8 - Forks: 4

distributed-lab/circom-wasm Fork of antimatter15/circom

zk-SNARK WASM circuit compiler

Language: WebAssembly - Size: 6.26 MB - Last synced: 5 days ago - Pushed: about 1 month ago - Stars: 11 - Forks: 0

sudiptab2100/Performance-Test-Of-Hash-Functions-Groth16

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

Language: JavaScript - Size: 7.62 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

Veridise/Picus Fork of chyanju/Picus

Automated verification of uniqueness property for ZKP circuits

Language: Circom - Size: 17.2 MB - Last synced: 18 days ago - Pushed: 2 months ago - Stars: 55 - Forks: 4

trifle-labs/anybody-problem

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

Language: HTML - Size: 17.1 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 10 - Forks: 2

anonklub/anonklub

Anonymous Proof of Ethereum Address Ownership

Language: TypeScript - Size: 11.3 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 33 - Forks: 5

vplasencia/zkSudoku

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

Language: JavaScript - Size: 2.79 MB - Last synced: 25 days ago - Pushed: 6 months ago - Stars: 41 - Forks: 13

AB7zz/zk_dapp_multiplier

A simple ZK Dapp which verifies using Circom circuit and generates/verifies proof using PLONK system and stores this proof in the blockchain

Language: Circom - Size: 2.11 MB - Last synced: about 1 month ago - Pushed: 4 months ago - Stars: 2 - Forks: 0

sigmachirality/cycrane

🦢 Send transactions by sending emails using ZKPs and Account Abstraction

Language: Solidity - Size: 868 KB - Last synced: about 1 month ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

sismo-core/hydra-s1-zkps

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

Language: TypeScript - Size: 51.8 MB - Last synced: 16 days ago - Pushed: about 1 year ago - Stars: 231 - Forks: 16

shanzson/Zero-Knowledge-Proofs-Learning-Resources

This repository contains Zk learning resources

Size: 46.9 KB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 86 - Forks: 8

sudiptab2100/Incremental-Merkle-Tree-Python

Incremental Merkle Tree (IMT) - a specialized form of a Merkle tree designed to allow for efficient appending of new elements

Language: Python - Size: 35.2 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

tanpx12/zk-rollup-tutorial

A guild to build simple zk rollup

Language: JavaScript - Size: 336 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 31 - Forks: 9

nullity00/batch-ecdsa-secp256r1

Batch verification of ECDSA Signatures using Randomizers for the P-256 curve

Language: Circom - Size: 264 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

sfyll/selective-application

Selectively disclose content. A pull-driven and anonymous process.

Language: Circom - Size: 2.74 MB - Last synced: about 1 month ago - Pushed: 8 months ago - Stars: 1 - Forks: 0

privacy-scaling-explorations/zkp-app-boilerplate

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

Language: TypeScript - Size: 38.1 MB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 217 - Forks: 47

alexcostars/paillier-circom-circuit

Language: Circom - Size: 3.91 KB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

olegfomenko/crypto

Crypto Library

Language: Go - Size: 901 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 4 - Forks: 0

mysteryon88/zk-hashes

Research and comparison of hashing algorithms for zk-protocol arithmetic scheme

Language: Circom - Size: 115 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

ZkBlind/ZkBlindNextJs

Revolutionizing Anonymity with Zero-Knowledge Technology

Language: Circom - Size: 6.42 MB - Last synced: about 1 month ago - Pushed: 12 months ago - Stars: 6 - Forks: 2

torch2circom/torch2circom

Transpile PyTorch model to Circom circuit

Language: Jupyter Notebook - Size: 22 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 7 - Forks: 0

vuvoth/ccls

circom language server

Language: Rust - Size: 392 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 15 - Forks: 1

tamago-labs/zkgpt

Building your GPT-based private knowledge hub using zkSNARK & PLONK

Language: Circom - Size: 41.3 MB - Last synced: 2 months ago - Pushed: 11 months ago - Stars: 5 - Forks: 1

albertobas/zk-connect-four

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.

Language: Jupyter Notebook - Size: 14.4 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

nullity00/batch-ecdsa-p256

zk-ECDSA signatures in circom for the P256 curve for the Nova proof system

Language: Rust - Size: 103 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

Electron-Labs/sha512

SHA512 Circom circuits

Language: JavaScript - Size: 35.2 KB - Last synced: 26 days ago - Pushed: over 1 year ago - Stars: 12 - Forks: 5

ocdbytes/zkMint

Mint NFT for addresses with a proof that one knows the secret phrase without revealing it to the public in any form.

Language: Solidity - Size: 37.5 MB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

Tonnel-Network/core

First ZK project built on TON blockchain, based on 🌪 Cash

Language: TypeScript - Size: 352 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 44 - Forks: 8

erhant/zkctf-scalebit

Circom challenges within zkCTF by Scalebit, solved with Foundry & Circomkit.

Language: Circom - Size: 269 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 3 - Forks: 0

AmirH-A/RLP

Circuit for generating ethereum account RLP

Language: Circom - Size: 1.95 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

rubydusa/circom-lsp

A Language Server Protocol Implementation for Circom

Language: Rust - Size: 268 KB - Last synced: 1 day ago - Pushed: 12 months ago - Stars: 27 - Forks: 2

Electron-Labs/ed25519-circom

ED25519 implementation in Circom

Language: JavaScript - Size: 104 KB - Last synced: 3 months ago - Pushed: 11 months ago - Stars: 100 - Forks: 15

cupid20103/elekton-contracts

Solidity smart contracts to vote anonymously on a free-gas network (Besu) using zk-SNARK.

Language: Solidity - Size: 671 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

nixkitax/circom-schnorr-verify

Zero Knowledge Proof for Schnorr

Language: Circom - Size: 54.7 MB - Last synced: 4 months ago - Pushed: 8 months ago - Stars: 4 - Forks: 1

erhant/zkbrainfuck

A Brainfuck zkVM with Circom.

Language: Circom - Size: 115 KB - Last synced: 3 months ago - Pushed: 10 months ago - Stars: 53 - Forks: 1

erhant/circomkit-examples

Circom circuits such as SHA256, float-add and Fibonacci, developed with Circomkit.

Language: TypeScript - Size: 170 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 2 - Forks: 1

UltimateRoman/zkTender

Sealed-bid e-tendering system using Blockchain and Zero-knowledge proofs (ZKP)

Language: TypeScript - Size: 2.39 MB - Last synced: 4 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

getZeFi/circomjs

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

Language: TypeScript - Size: 20.9 MB - Last synced: 8 months ago - Pushed: 11 months ago - Stars: 37 - Forks: 3

enricobottazzi/ZK-SBT

Library to issue zero knowledge soul bound tokens (ZK SBTs)

Language: Solidity - Size: 190 MB - Last synced: 3 months ago - Pushed: 8 months ago - Stars: 147 - Forks: 21

aviggiano/circom-mutator

Mutation testing tool for circom

Language: Circom - Size: 107 KB - Last synced: 14 days ago - Pushed: 11 months ago - Stars: 15 - Forks: 0

ocdbytes/ZK

This repository includes all the code implementations for zk-snark verifying systems from simple arithmetics behind it to the circuit design and working.

Language: Jupyter Notebook - Size: 2.58 MB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

firstbatchxyz/hollowdb

A privacy-preserving key-value database on Arweave.

Language: TypeScript - Size: 7.97 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 55 - Forks: 2

vplasencia/circom-snarkjs-scripts

Generic scripts to create zero knowledge applications using circom and snarkjs

Language: Shell - Size: 13.7 KB - Last synced: 25 days ago - Pushed: about 1 year ago - Stars: 7 - Forks: 3

SeiyaKobayashi/zero-knowledge-photo

A blockchain network that proves the ownership & originality of photos with zero knowledge technology. The ultimate goal is to differentiate malicious AI-generated deepfakes from human-taken photos, while preserving user privacy.

Size: 3.91 KB - Last synced: 29 days ago - Pushed: 6 months ago - Stars: 3 - Forks: 0

naveed949/zk-snark-example

zero-knowledge proof using zksnarkjs

Language: Solidity - Size: 4.43 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 4 - Forks: 4

LuozhuZhang/zkps-circuit-snark

A zk-SNARK implementation

Language: Solidity - Size: 15.3 MB - Last synced: 3 months ago - Pushed: over 1 year ago - Stars: 57 - Forks: 0

vplasencia/zkGames

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

Language: JavaScript - Size: 8.19 MB - Last synced: 25 days ago - Pushed: almost 2 years ago - Stars: 63 - Forks: 16

zero-savvy/zk-remote-attestation

Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARKs.

Language: Circom - Size: 24.5 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 4 - Forks: 0

Unitychain/zkvote-web

Language: JavaScript - Size: 12.9 MB - Last synced: about 1 month ago - Pushed: almost 4 years ago - Stars: 7 - Forks: 0

pisuthd/daocheck

Language: Circom - Size: 22.6 MB - Last synced: 2 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

SpiralOutDotEu/zk_whitelist

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

Language: Rust - Size: 168 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 2 - Forks: 0

nullity00/web3-resources

Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.

Size: 203 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 129 - Forks: 11

bkomuves/hash-circuits

Hashing circuits implemented in circom

Language: Haskell - Size: 150 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 2 - Forks: 0

mekhiya/zeroPartyData

zeroPartData project uses Zero Knowledge Proof to verify eligibility for gifts & discount offers by Brands.

Language: JavaScript - Size: 3.12 MB - Last synced: 7 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

mysteryon88/zkToken

Case study using zero-knowledge protocol

Language: JavaScript - Size: 57.8 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

docknetwork/crypto-wasm-ts

Typescript abstractions over Rust crypto library's WASM wrapper

Language: TypeScript - Size: 12.4 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 14 - Forks: 6

tanpx12/zkutil

A fork repository of poma/zkutil

Language: Rust - Size: 126 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

KumaCrypto/circom_boilerplate

Simple circom boilerplate

Language: Shell - Size: 8.79 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

tintinweb/vscode-circom-pro

👩‍💻 Circom compiler, snippets, hover and language support for Visual Studio Code

Language: JavaScript - Size: 213 KB - Last synced: 21 days ago - Pushed: about 1 year ago - Stars: 15 - Forks: 0

nullity00/circom-circuits

Bit manipulation in Circom

Language: Circom - Size: 398 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 2 - Forks: 0

kevinjoshi46b/zk-worth

Use ZK Worth to prove your assets are above a threshold without revealing your wallet addresses or on-chain activity. Try out the webapp here ⬇️

Language: JavaScript - Size: 21.8 MB - Last synced: 8 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

rozag/circom101

Intro to circom codelab

Language: Circom - Size: 1.84 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

knot-inc/noxx-contract

Smart Contract for noxx

Language: Solidity - Size: 193 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 7 - Forks: 1

olegfomenko/circom-ciruits

Learning circom

Language: Solidity - Size: 61.5 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

chyanju/Picus

Automated verification of uniqueness property for ZKP circuits

Language: Circom - Size: 19.8 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 18 - Forks: 6

KimiWu123/Samples

Samples of Ethereum smart contracts, golang and circom for beginners.

Language: C++ - Size: 18.6 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 38 - Forks: 11

xendarboh/human-collectives

Zero-Knowledge Collective Human Identities with Bio-Authenticated Sybil-Resistance from HUMΔNODE.

Language: TypeScript - Size: 770 KB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 1

LexiccLabs/VergeNet Fork of harmony-one/horizon

First Prize Winner of Hack the Horizon Bridge Hackathon in Gitcoin organized by Harmony Protocol. Zero Knowledge Proof based Proof System for Cross Chain Interoperability with Harmony Protocol and Ethereum Protocol on Horizon Bridge

Language: Solidity - Size: 1.71 MB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

GigameshGarages/ReefNet

Privacy Preserving Metadata Proof Powered Data Streaming Token Vaults with zkRollups on Ocean Protocol

Language: Solidity - Size: 762 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 2 - Forks: 1