0xEigenLabs/eigen-zkvm

A Rust zkVM with a Modular Proof System

Language: Rust - Size: 75.6 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 140 - Forks: 37

Sindri-Labs/sindri-js

Sindri Zero-Knowledge Proof CLI

Language: TypeScript - Size: 5.07 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 17 - Forks: 4

semaphore-protocol/semaphore

A zero-knowledge protocol for anonymous interactions.

Language: TypeScript - Size: 11.7 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 979 - Forks: 250

privacy-scaling-explorations/maci

Minimal Anti-Collusion Infrastructure (MACI)

Language: TypeScript - Size: 271 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 570 - Forks: 171

santiellena/circom-bootcamp

My homework and notes on the Circom Bootcamp by RareSkills

Language: JavaScript - Size: 90.8 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 3 - Forks: 0

BermudaBay/slimejs

Circom+snarkjs libs w/o any node deps for full browser compat

Language: JavaScript - Size: 1.64 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

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

zk-SNARK WASM circuit compiler

Language: WebAssembly - Size: 9.7 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 15 - Forks: 0

docknetwork/crypto-wasm-ts

Typescript abstractions over Rust crypto library's WASM wrapper

Language: TypeScript - Size: 14.1 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 30 - Forks: 9

zero-savvy/vimz

ZK proofs for image authenticity

Language: Solidity - Size: 263 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 41 - Forks: 6

dl-solarity/hardhat-zkit

The ultimate TypeScript environment for Circom development

Language: TypeScript - Size: 919 KB - Last synced at: 5 days ago - Pushed at: 9 days ago - Stars: 86 - Forks: 15

Koukyosyumei/zkFuzz

ZK Circuit Fuzzer

Language: Rust - Size: 30.3 MB - Last synced at: 6 days ago - Pushed at: 11 days ago - Stars: 11 - Forks: 0

dl-solarity/circom-lib

Circom circuits library for magnificent ZK applications

Language: Circom - Size: 60.9 MB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 12 - Forks: 1

socathie/circomlib-ml

Circom Circuits Library for Machine Learning

Language: Jupyter Notebook - Size: 992 KB - Last synced at: 7 days ago - Pushed at: 11 months ago - Stars: 177 - Forks: 21

zkemail/zk-regex

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.

Language: Circom - Size: 14.5 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 94 - Forks: 35

zkFHE/circomlib-fhe

Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption

Language: Circom - Size: 777 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 41 - Forks: 4

transmental/foundnone-vrf

Language: TypeScript - Size: 7.2 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 2 - Forks: 0

erhant/circomkit

A testing & development environment for Circom.

Language: TypeScript - Size: 5.28 MB - Last synced at: 6 days ago - Pushed at: 17 days ago - Stars: 111 - Forks: 8

invers-technology/merkle-tree-ts

Merkle Tree by Poseidon Hash with Typescript

Language: TypeScript - Size: 131 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

Zellic/zkerc20

Private ERC-20 wrapping and bridging (NOT AUDITED)

Language: JavaScript - Size: 15.9 MB - Last synced at: 5 days ago - Pushed at: 21 days ago - Stars: 1 - Forks: 1

privacy-scaling-explorations/zkp-app-boilerplate

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

Language: TypeScript - Size: 38.1 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 224 - Forks: 52

trifle-labs/anybody-problem

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

Language: JavaScript - Size: 143 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 20 - Forks: 4

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 at: 4 days ago - Pushed at: about 2 years ago - Stars: 237 - Forks: 16

socathie/circomlib-matrix

Circuits library for matrix operations in circom

Language: JavaScript - Size: 122 KB - Last synced at: 30 days ago - Pushed at: 11 months ago - Stars: 33 - Forks: 7

0xPARC/zkrepl

An online playground for zero knowledge circuits

Language: TypeScript - Size: 27.1 MB - Last synced at: 14 days ago - Pushed at: 11 months ago - Stars: 149 - Forks: 29

dl-solarity/zkit

Circom zero knowledge kit

Language: EJS - Size: 570 KB - Last synced at: 11 days ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 0

circuitscan/circuitscan

Verifications for deployed circuit verifiers

Language: JavaScript - Size: 4.29 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 1

circuitscan/circom-pipeline

Circom Compiler pipeline for Circuitscan

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

anonklub/anonklub

Anonymous Proof of Ethereum Address Ownership

Language: TypeScript - Size: 18.4 MB - Last synced at: about 11 hours ago - Pushed at: 8 months ago - Stars: 44 - Forks: 6

zekele-win/zkvault-basic

A minimal, functional zero-knowledge proof project based on zkSNARKs, designed to help developers understand the fundamental workflow of zk applications—including circuit writing, proof generation, and smart contract verification.

Language: TypeScript - Size: 70.3 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Electron-Labs/ed25519-circom 📦

ED25519 implementation in Circom

Language: JavaScript - Size: 104 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 114 - Forks: 17

erhant/circomkit-ffi

A Rust-based shared library for alternative prover backends.

Language: Rust - Size: 2.64 MB - Last synced at: 17 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

vplasencia/zkSudoku-plonk

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

Language: Solidity - Size: 288 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 17 - Forks: 8

glottologist/rare-skills-circom-bootcamp

ZK applications using Circom

Language: Assembly - Size: 26.4 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

AmirH-A/RLP

Circuit for generating ethereum account RLP

Language: Circom - Size: 2.93 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 10 - Forks: 1

fatlabsxyz/sumo-login-cairo

Social login for smart wallets using JWT zkProofs and account abstraction. Log in with Google or Discord—no seed phrases, just secure, seamless access powered by zero-knowledge on Starknet.

Language: Cairo - Size: 182 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 0

dl-solarity/chai-zkit

Chai matchers for Circom

Language: TypeScript - Size: 443 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 1 - Forks: 0

chancehudson/rust-witness

Generate circom witnesses natively in Rust

Language: Rust - Size: 304 KB - Last synced at: 25 days ago - Pushed at: about 2 months ago - Stars: 9 - Forks: 4

crema-labs/ecdsa-p384-circom

ECDSA P384 implementation for circom

Language: Circom - Size: 2.33 MB - Last synced at: 4 days ago - Pushed at: 9 months ago - Stars: 17 - Forks: 0

advaita-saha/create-circom-project

A circom started project for simpler use and zero-knowledge project development with simple commands

Language: Solidity - Size: 4.51 MB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 2

alxkzmn/zk-wordle

The Wordle you know, but with Zero-Knowledge Proofs

Language: TypeScript - Size: 84.1 MB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 0

dl-solarity/zktype

Typescript bindings for Circom circuits

Language: Circom - Size: 2.87 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0

Tamoziit/NFT-based-Stochastic-Chess Fork of Dyslex7c/dNFT-Quantum-Chess

A revolutionary chess platform that integrates blockchain technology, NFTs, and advanced game theory model to create a skill-based valued awarding system for chess players.

Language: C++ - Size: 19.7 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

privacy-scaling-explorations/zk-kit.circom

A monorepo of reusable Circom circuits.

Language: Circom - Size: 1.77 MB - Last synced at: 14 days ago - Pushed at: 2 months ago - Stars: 25 - Forks: 4

enricobottazzi/designated-verifier-proof

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)

Language: JavaScript - Size: 89.4 MB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 40 - Forks: 4

numtel/ntru-circom

NTRU (post-quantum asymmetric lattice) encryption in Javascript and Circom

Language: JavaScript - Size: 99.6 KB - Last synced at: 14 days ago - Pushed at: 4 months ago - Stars: 4 - Forks: 1

enricobottazzi/ZK-SBT

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

Language: Solidity - Size: 190 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 152 - Forks: 21

alxkzmn/spartan-circom

Write Spartan circuits in Circom

Language: Rust - Size: 0 Bytes - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

olegfomenko/crypto

Crypto Library

Language: Go - Size: 913 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 6 - Forks: 0

flyingnobita/nft-zk

Mint AI Generated Kanji NFTs with Zero Knowledge

Language: C++ - Size: 133 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 4 - Forks: 1

maximedgr/zk-xrpl-evm-workshop

With just two lines of code, it is possible to easily generate and verify a ZK proof on the XRPL EVM Sidechain using hardhat-circom plugin !✨

Language: TypeScript - Size: 2.41 MB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 4 - Forks: 0

nixkitax/circom-schnorr-verify

Zero Knowledge Proof for Schnorr

Language: Circom - Size: 55.2 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 10 - Forks: 2

numtel/wrap-on-privacy

Privacy wrapper for ERC20 tokens

Language: JavaScript - Size: 13.8 MB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

firstbatchxyz/hollowdb

A privacy-preserving key-value database on Arweave.

Language: TypeScript - Size: 8.64 MB - Last synced at: 10 days ago - Pushed at: 12 months ago - Stars: 63 - Forks: 4

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 at: about 2 months ago - Pushed at: 6 months ago - Stars: 11 - Forks: 7

RAKESH9494/Zkp-voting

zkpVoting is a decentralized voting platform built using Zero-Knowledge Proofs (ZKPs) to ensure privacy and security in voting processes. It allows users to cast votes anonymously, ensuring that votes remain confidential while still being verifiable.

Language: JavaScript - Size: 104 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1

vplasencia/zkSudoku

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

Language: JavaScript - Size: 2.79 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 46 - Forks: 15

tamago-labs/zkgpt

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

Language: Circom - Size: 41.3 MB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 1

vuvoth/ccls

circom language server

Language: Rust - Size: 674 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 22 - Forks: 2

verumlotus/ZK-Hashes

Calculate the hash of any input for ZK-Friendly hashes (MiMC & Poseidon) over a variety of Elliptic Curves.

Language: TypeScript - Size: 951 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 1

AmirH-A/ZKWave

📡 ZkWave: Transforming Voice into Secure Proofs 🎤🔐

Language: Rust - Size: 559 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 19 - Forks: 0

erhant/circom101

Circom arithmetic circuits and concepts explained, in depth.

Language: Circom - Size: 713 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 25 - Forks: 1

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 at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 68 - Forks: 18

tokamak-network/DEPRECATED-circom-ethereum-opcodes

Circom circuits of Ethereum arithmetic and bitwise operators

Language: TypeScript - Size: 1.59 MB - Last synced at: 26 days ago - Pushed at: 4 months ago - Stars: 20 - Forks: 8

sahilmahendrakar/zkpy

A Python library that allows for easy compiling/proving/verifying of zk circuits.

Language: Python - Size: 12.5 MB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 1

circuitscan/cli

Deploy and verify your circuits from your shell

Language: JavaScript - Size: 104 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

jeong0982/gkr

zero knowledge proof aggregator for general circuit

Language: Rust - Size: 137 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 72 - Forks: 4

bkomuves/hash-circuits

Hashing circuits implemented in circom

Language: Haskell - Size: 150 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 14 - Forks: 0

denizumutdereli/zksnarks-circom-balanceOf

A proof-of-concept that how we can generate zero-knowledge proofs with using Circom domain specific language via ZKSNARKS.

Language: JavaScript - Size: 4.43 MB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 3 - Forks: 1

erdoganishe/circom-sorting

Circom implementation of sorting algos

Language: JavaScript - Size: 103 KB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 1

phamhongphuc1999/account-abstraction-contract

Account abstraction smart contract with zero-knowledge guardian-based recovery

Language: TypeScript - Size: 1.59 MB - Last synced at: 5 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

crema-labs/aes-circom

Generic AES Implementation in Circom

Language: Circom - Size: 508 KB - Last synced at: 3 days ago - Pushed at: 8 months ago - Stars: 23 - Forks: 2

ibrahim1023/zk-defi-lending-protocol

Language: Solidity - Size: 76.2 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

Dyslex7c/zk-Election

Cryptography-driven and privacy-preserving election framework with zk-SNARKs

Language: TypeScript - Size: 7.95 MB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

f3r10/zk-gov-acution-verifier

Proof of concept done during the PSE 2024 Hackathon

Language: TypeScript - Size: 2.61 MB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

ilvcs/zk-pay

Minimalistic Payment verification system using zk-SNARKs

Language: JavaScript - Size: 89.8 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1

KumaCrypto/circom_boilerplate 📦

Simple circom boilerplate

Language: Shell - Size: 8.79 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

distributed-lab/circom-parser

Circom circuits parser built with ANTLR4

Language: TypeScript - Size: 2.28 MB - Last synced at: 17 days ago - Pushed at: 5 months ago - Stars: 4 - Forks: 0

erhant/zkbrainfuck

A Brainfuck zkVM with Circom.

Language: Circom - Size: 115 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 58 - Forks: 1

Decurity/tree-sitter-circom

Circom grammar for tree sitter

Language: JavaScript - Size: 203 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 8 - Forks: 0

SaberDoTcodeR/ton-zk-verifier

Simple Circom circuit and a parser to func with Groth16 and snarkjs

Language: Solidity - Size: 160 KB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 9 - Forks: 0

Tonnel-Network/core

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

Language: TypeScript - Size: 352 MB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 81 - Forks: 15

erhant/circomkit-examples

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

Language: TypeScript - Size: 170 KB - Last synced at: 17 days ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 2

rubydusa/circom-lsp

A Language Server Protocol Implementation for Circom

Language: Rust - Size: 268 KB - Last synced at: 22 days ago - Pushed at: almost 2 years ago - Stars: 31 - Forks: 3

enricobottazzi/Zeko

Zero Knowledge-based NFT Private Airdrop. 🏆 finalist EthDenver 22

Language: JavaScript - Size: 146 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 43 - Forks: 4

fluidex/plonkit

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

Language: Rust - Size: 1.75 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 159 - Forks: 26

0xbow-io/Veritas

Vertias supports Circom circuit development & testing over Go

Language: WebAssembly - Size: 61.6 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 8 - Forks: 0

seanpm2001/SNU_2D_ProgrammingTools_IDE_Circom

⌨️ The Circom programming language IDE submodule for SNU Programming Tools (2D Mode)

Language: Circom - Size: 268 KB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

seanpm2001/Learn-Circom

📚️ A repository for showcasing my knowledge of the Circom programming language, and continuing to learn the language.

Language: Circom - Size: 258 KB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 1 - 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 at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 49 - Forks: 2

surfiniaburger/upgraded-palm-tree

Secure Healthcare, smarter care

Language: TypeScript - Size: 25.8 MB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

Nurnberg-Meistersinger/sber-hackaton-2024

Repository for the solution of "Fraternitas<>Libertatis" team during the Sber Hackaton 2024.

Language: JavaScript - Size: 17 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

tokamak-network/zvm

Zero Knowledge based Ethereum Virtual Machine in Circom language

Language: JavaScript - Size: 115 KB - Last synced at: 26 days ago - Pushed at: over 4 years ago - Stars: 17 - Forks: 5

erhant/zkctf-scalebit

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

Language: Circom - Size: 269 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

advaita-saha/zk-Voting

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

Language: Solidity - Size: 4.79 MB - Last synced at: 23 days ago - Pushed at: about 2 years ago - Stars: 21 - Forks: 1

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 at: 14 days ago - Pushed at: over 2 years ago - Stars: 60 - Forks: 2

tintinweb/vscode-circom-pro

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

Language: JavaScript - Size: 213 KB - Last synced at: 16 days ago - Pushed at: about 2 years ago - Stars: 15 - Forks: 1

aviggiano/circom-mutator

Mutation testing tool for circom

Language: Circom - Size: 107 KB - Last synced at: 10 days ago - Pushed at: almost 2 years ago - Stars: 16 - Forks: 0

distributed-lab/circom-g4-grammar

G4 grammar for Circom

Language: Circom - Size: 10 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 4 - 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 at: 2 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

noway/nzcp-circom

ZK proof of NZ COVID Pass identity written in Circom

Language: JavaScript - Size: 764 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 1