Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with zk-snarks

A curated list of projects in awesome lists tagged with zk-snarks .

https://github.com/minaprotocol/mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

blockchain cryptocurrency mina ocaml zk-snarks

Last synced: 13 May 2025

https://github.com/MinaProtocol/mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

blockchain cryptocurrency mina ocaml zk-snarks

Last synced: 12 Apr 2025

https://github.com/ConsenSys/gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

gnark golang plonk r1cs zk-rollup zk-snarks zkevm zkp zksnark

Last synced: 29 Jun 2025

https://github.com/Consensys/gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

gnark golang plonk r1cs zk-rollup zk-snarks zkevm zkp zksnark

Last synced: 17 Apr 2025

https://github.com/consensys/gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

gnark golang plonk r1cs zk-rollup zk-snarks zkevm zkp zksnark

Last synced: 29 Apr 2025

https://github.com/darkrenaissance/darkfi

Anonymous. Uncensored. Sovereign.

crypto cryptocurrency halo2 rust zero-knowledge zk zk-snarks zkvm

Last synced: 14 May 2025

https://github.com/ethereum-oasis-op/baseline

The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and reference implementations.

docker docker-compose ethereum geth gnark graphql nodejs protocol reactjs smart-contracts solidity zero-knowledge-proofs zk-snarks

Last synced: 17 Jul 2025

https://github.com/sdiehl/bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

bulletproofs cryptography elliptic-curves pedersen-commitment range-proofs sigma zero-knowledge zk-snarks zksnarks

Last synced: 11 Dec 2025

https://github.com/a16z/jolt

The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto. ⚡ 💌

arkworks crypto cryptography snark zk zk-snarks zkp zkvm

Last synced: 19 Apr 2025

https://github.com/lurk-lab/lurk-beta

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

compiler cryptography programming-language rust zero-knowledge zk-snarks

Last synced: 01 Sep 2025

https://github.com/vatsi2/dex-crypto-mixer-tor-btc-eth-xmr

A privacy-first crypto mixer for Bitcoin, Ethereum, Monero, Secret Network, Zcash, and more. Use cross-chain swaps via DEXs (THORChain, SecretSwap) and DAOs (Tornado Cash, Aztec) to anonymize funds. Route transactions through Tor, zk-proofs, and custom networks—just add your chains in settings.

anonymity bitcoin btc cryptocurrency cybersecurity darknet eth ethereum ltc monero privacy-tools python ram-cleaner thorchain tor tor-integration tornadocash xmr zero-knowledge-proofs zk-snarks

Last synced: 26 Mar 2025

https://github.com/vatsi2/crosschain-anonymizer-cca

CrossChain Anonymizer is an open-source, self-hosted crypto mixer for 100% anonymous cross-chain transactions. Leveraging ZK-proofs, decentralized exchanges (DEX), and privacy-focused blockchains, it ensures untraceable transfers across Bitcoin, Monero, Ethereum, and more.

anonymity bitcoin btc crypto-mixer cryptocurrency cybersecurity darknet eth ethereum ltc privacy-tools python ram-cleaner thorchain tor tor-integration tornadocash xmr zero-knowledge-proofs zk-snarks

Last synced: 23 Mar 2025

https://github.com/stealthdrop/stealthdrop

Anonymous Airdrops using ZK-SNARKs

ethereum zero-knowledge zk-snarks

Last synced: 04 Apr 2025

https://github.com/privacy-scaling-explorations/zk-kit

A monorepo of reusable libraries for zero-knowledge technologies.

javascript monorepo typescript zero-knowledge zk-kit zk-snarks

Last synced: 12 Apr 2025

https://github.com/zkemail/zk-email-verify

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

dkim dkim-verifier email ethereum solidity zk zk-snarks zkp

Last synced: 06 Apr 2025

https://github.com/LayerXcom/zero-chain

A privacy-preserving blockchain on Substrate

blockchain rust substrate zero-knowledge zk-snarks

Last synced: 30 Mar 2025

https://github.com/harryr/ethsnarks

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

algorithms cplusplus-11 ethereum pinocchio python research sdk solidity zk-snarks

Last synced: 04 Oct 2025

https://github.com/HarryR/ethsnarks

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

algorithms cplusplus-11 ethereum pinocchio python research sdk solidity zk-snarks

Last synced: 09 Apr 2025

https://github.com/sismo-core/hydra-s1-zkps

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

circom snarkjs zk zk-snarks zkp

Last synced: 05 Apr 2025

https://github.com/quillhash/zero-knowledge-mastery

This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.

ethereum zero-knowledge-proofs zk-snarks zkp zksync

Last synced: 08 Apr 2025

https://github.com/keep-starknet-strange/garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

cairo-lang elliptic-curve-cryptography elliptic-curves pairing snarks starknet starks zero-knowledge zero-knowledge-proofs zk-snarks zkp

Last synced: 15 Mar 2025

https://github.com/zink-lang/zink

Rustic programming language that targets the Ethereum Virtual Machine

evm nova rust spartan wasm zk-snarks

Last synced: 16 May 2025

https://github.com/binance/zkmerkle-proof-of-solvency

This is proof of solvency tool for Centralized exchanges built by Binance. Please raise bugs and security issues to https://bugcrowd.com/binance

merkle-tree proof-of-reserve proof-of-solvency zk zk-snarks

Last synced: 04 Apr 2025

https://github.com/0xPARC/zkrepl

An online playground for zero knowledge circuits

circom zk-snarks

Last synced: 09 May 2025

https://github.com/plume-sig/zk-nullifier-sig

Implementation of PLUME: nullifier friendly signature scheme on ECDSA

anonymity cryptography ecdsa nullifier zk-snarks

Last synced: 26 Mar 2025

https://github.com/0xPolygonZero/plonky

Recursive SNARKs based on Plonk and Halo

cryptography halo plonk zk-snarks

Last synced: 12 May 2025

https://github.com/o1-labs/mina-rust

The Mina Rust node is an implementation in Rust of the Mina Protocol

blockchain mina mina-protocol rust zk zk-snarks

Last synced: 19 Aug 2025

https://github.com/vocdoni/vocdoni-node

A set of libraries and tools for the Vocdoni decentralized backend infrastructure, the main ground of our universally verifiable, privacy-centric and scalable digital voting protocol

blockchain ethereum golang ipfs privacy-by-design tendermint vote-application vote-system voting voting-system zk-snarks zksnarks

Last synced: 04 Oct 2025

https://github.com/0xPolygonZero/r1cs

A Rust library for building R1CS gadgets

cryptography r1cs zk-snarks

Last synced: 18 Apr 2025

https://github.com/harryr/ethsnarks-miximus

Example project for EthSnarks - Miximus coin mixer

anonymity cryptocurrency ethereum ethsnarks mixer privacy zero-knowledge-proofs zk-snarks

Last synced: 11 Apr 2025

https://github.com/sdiehl/arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

arithmetic-circuit compiler qap zero-knowledge zk-snarks zksnarks

Last synced: 11 Dec 2025

https://github.com/ethereum934/eth-mimblewimble

Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum

erc20 ethereum mimblewimble pedersen-mmr-tree zk-rollup zk-snarks

Last synced: 12 Jul 2025

https://github.com/orochi-network/orochimaru

Orochi Network monorepo of its full-node client

decentralized ecvrf mpc vrf webassembly-runtime zero-knowledge zk-snarks zkwasm

Last synced: 12 Apr 2025

https://github.com/zunxbt/zkverify

Send Proof to zkVerify for Verification using this one click guide

bash zk zk-snarks zkverify zunxbt

Last synced: 09 May 2025

https://github.com/colinnielsen/ecrecover-noir

A Noir circuit that mimics Solidity's ecrecover

ecrecover ethereum noir noir-lang secp256k1 solidity zk-snarks

Last synced: 26 Mar 2025

https://github.com/iluxonchik/zklocus

zkLocus is an application, a framework, and protocol that enables private and programmable geolocation sharing both off-chain and on-chain. Natively implemented on the Mina Protocol using the O1JS framework, zkLocus turns geolocation into a Real-World-Asset (RWA). zkLocus's DeFi ecosystem is powered by its native $ZKL token.

blockchain mina mina-protocol mina-zkapp privacy web web3 zk zk-snarks zksnarks

Last synced: 30 Jul 2025

https://github.com/adria0/za

An experimental rust zksnarks compiler with embeeded bellman-bn128 prover

cryptography ethereum learning-by-doing rust smartcontract zk-snarks

Last synced: 30 Mar 2025

https://github.com/a16z/zkvm-benchmarks

Benchmarks of popular zkVMs including Jolt

arkworks crypto cryptography snark zk zk-snarks zkp zkvm

Last synced: 19 Jul 2025

https://github.com/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)

circom cryptography ecdsa-cryptography signature-verification snarkjs zk-snarks

Last synced: 27 Jun 2025

https://github.com/anonklub/anonklub

Anonymous Proof of Ethereum Address Ownership

address circom ethereum halo2 membership ownership privacy snarkjs spartan wasm zk-snarks zkp

Last synced: 23 Mar 2025

https://github.com/getZeFi/circomjs

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

circom circom-framework circomjs snarkjs zk-snarks

Last synced: 18 Apr 2025

https://github.com/guanzhi/zkrypt

Zero-Knowledge Proof Toolbox

plonk zk-snarks zkp

Last synced: 12 Apr 2025

https://github.com/lambdaclass/noir_backend_using_gnark

A Noir's backend implementation using Gnark

gnark noir-lang snarks zero-knowledge zk-snarks

Last synced: 09 Apr 2025

https://github.com/nalinbhardwaj/isokratia

Infinitely Compressible Governance using Recursive SNARKs

blockchain governance zk-snarks

Last synced: 22 Apr 2025

https://github.com/trivo25/mina-zk-rollup

A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.

blockchain cryptocurrency layer2 modularity scalability typescript zero-knowledge zk-snarks

Last synced: 12 Aug 2025

https://github.com/LayerXcom/bellman-substrate

A library for supporting zk-SNARKs to Substrate

rust substrate zero-knowledge-proofs zk-snarks

Last synced: 11 Oct 2025

https://github.com/privacy-scaling-explorations/zk-kit.circom

A monorepo of reusable Circom circuits.

circom monorepo zero-knowledge zk-kit zk-snarks

Last synced: 20 Mar 2025

https://github.com/dcbuild3r/ptau-deserializer

.ptau deserializer for gnark groth16 bn254 trusted setup

cryptography gnark powers-of-tau snarkjs zk-snarks

Last synced: 19 Oct 2025

https://github.com/xevisalle/zpie

ZPiE: Zero-knowledge Proofs in Embedded systems

arithmetic-circuits bulletproofs c cryptography range-proofs zero-knowledge-proofs zk-snarks

Last synced: 03 Jul 2025

https://github.com/daira/plonk-standard

Draft documents for standardization of Plonkish arithmetization

arithmetization standards zk-snarks

Last synced: 29 Mar 2025

https://github.com/antoinerondelet/zerocash-ethereum

Smart contract - Zerocash-like approach for privacy on Ethereum

ethereum privacy proposal zero-knowledge-proofs zk-snarks

Last synced: 02 May 2025

https://github.com/advaita-saha/zk-voting

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

circom circomlib cryptography merkle-tree snarkjs voting-application zero-knowledge zk-snarks

Last synced: 15 Jun 2025

https://github.com/enricobottazzi/zk-sbt-frontend

This repo contains the frontend implementation related to the ZK-SBT protocol

circom snarkjs zk zk-snarks

Last synced: 15 Apr 2025

https://github.com/mottla/go-r1cs-compiler

A compiler to turn GO code into a zkSNARK

arithmetic-circuit constraint gates golang groth16 language r1cs snark zk-snarks

Last synced: 13 Apr 2025

https://github.com/Bind/df-snarker

Generate ZK-Snark proofs for https://zkga.me on a different device

dark-forest plugin zk-snarks

Last synced: 24 Mar 2025

https://github.com/bxdoan/zksync-auto

some help for zksync incentive

zk zk-snarks zksync zksync-dapp zksync-v2

Last synced: 17 Mar 2025

https://github.com/vincenthuang75025/zkxzk

Demo of optimal Ate pairing implemented inside a zk-snark

bls-signature vercel zero-knowledge zk-snarks

Last synced: 18 Aug 2025

https://github.com/datachainlab/tendermint-zk-ibc

Tendermint ZK Light Client for ibc-solidity

cometbft cosmos ibc tendermint zk-snarks

Last synced: 14 Apr 2025

https://github.com/lovesh/libsnark-playground

Learning ZkSNARKs using libsnark

libsnark mimc zk-snarks zksnarks

Last synced: 29 Jul 2025

https://github.com/kevincharm/broth16

Groth16 using BLS12-381 pairings

cryptography groth16 zk-snarks zkp

Last synced: 15 Apr 2025

https://github.com/noway/nzcp-circom

ZK proof of NZ COVID Pass identity written in Circom

cbor circom circuit covid-19 cwt newzealand nzcp vaccine vaccine-passports zk zk-snarks zkp

Last synced: 02 Sep 2025

https://github.com/argumentcomputer/ZKSnark.lean

https://yatima-inc.github.io/ZKSnark.lean/

lean4 zk-snarks zkp

Last synced: 22 Jul 2025

https://github.com/cursive-team/nfctap.xyz

NFC activations at SBC and FtC residency

nextjs nfc zk-snarks

Last synced: 27 Jul 2025

https://github.com/antoinerondelet/libsnark-playground

A bunch of "hello world" libsnark gadgets

cryptography libsnark privacy zero-knowledge zk-snarks

Last synced: 31 Jul 2025

https://github.com/alpenlabs/strata-bridge

PoC Implementation of the Strata Bridge

bitcoin bitvm2 bridge strata zk-snarks

Last synced: 08 Sep 2025

https://github.com/noway/sha256-var-circom

Variable length sha256 hash function in Circom

circom circuit sha256 variable-length zk-snarks

Last synced: 30 Dec 2025

https://github.com/vivianjeng/anon-transfer

Transfer X ETH with A account, withdraw Y ETH with B account.

anonymous blockchain ethereum transfer unirep zk-snarks zkp

Last synced: 23 Mar 2025

https://github.com/kilic/bellman-playground

bellman circuit playground

bellman snark zk-snarks

Last synced: 17 Jul 2025

https://github.com/nikkolasg/playsnark

Toy implementation of snark systems - Groth16, PHGR13 - in Go

golang zk-snarks zksnarks

Last synced: 13 Apr 2025

https://github.com/pendapay-xyz/confidential-transaction

Confidential Transaction on Ethereum Blockchain using zk-SNARKs

confidential-transactions ethereum zk-snarks

Last synced: 27 Apr 2025

https://github.com/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 !✨

blockchain circom circuit evm hardhat snarkjs xrpl zk zk-snarks

Last synced: 12 Aug 2025

https://github.com/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.

circom deepfake-detection ethereum photography photos privacy smart-contracts solidity typescript zero-knowledge-proofs zk-circuits zk-snarks

Last synced: 07 Apr 2025

https://github.com/berkingurcan/mango-eth-tokyo-23

Identity preserved multisig wallet management & airdrops for GitHub orgs. Empower moderators & contributors with Sismo Connect & Safe. Decentralized rewards, privacy-first! 🥭🔐 #DeFi #blockchain

account-abstraction ethereum solidity wallet zk-snarks

Last synced: 21 Jun 2025

https://github.com/andrejrakic/zokrates-demo

Zokrates (library for ZkSnarks on Ethereum blockchain) demo app to prove that two numbers are equal 7 (or any other number) without revealing numbers itself

ethereum zk-snarks zokrates

Last synced: 02 Jul 2025

https://github.com/ruuda/zerorack

Experiments with circuit compilation and zk-snarks

arithmetic-circuits r1cs zk-snarks

Last synced: 07 May 2025

https://github.com/wayzeek/zkads

A privacy-first advertising platform using Zero Knowledge Proofs to protect user data while allowing targeted ads.

rust wasm zk-snarks zkwasm

Last synced: 24 Apr 2025