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: 06 Apr 2026

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/qntx/ovo

Agent behavior that compiles

a2a agent autonomous-agents mcp web4 workflow x402 zk-snarks zkp zkvm

Last synced: 22 Aug 2026

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/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: 23 Jan 2026

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/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/zk-kit/zk-kit

A monorepo of reusable libraries for zero-knowledge technologies.

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

Last synced: 09 Jun 2026

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: 09 Apr 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/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: 05 Mar 2026

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/sdiehl/arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

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

Last synced: 01 Mar 2026

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/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/clearmatics/zeth

Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905

clearmatics-research ethereum mixer privacy research-and-development zero-knowledge-proofs zerocash zeth zk-snarks

Last synced: 23 Jan 2026

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/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/nalinbhardwaj/isokratia

Infinitely Compressible Governance using Recursive SNARKs

blockchain governance zk-snarks

Last synced: 22 Apr 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: 08 Jan 2026

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: 02 Mar 2026

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/enricobottazzi/zk-sbt-frontend

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

circom snarkjs zk zk-snarks

Last synced: 02 Feb 2026

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/airchains-network/airchains

A versatile and powerful framework for creating customized rollups with a variety of options. Our framework supports EVM, SVM, and CosmWasm-based rollups

cosmos cosmwasm cosmwasm-framework data-availability data-availability-sampling ethereum evm evm-blockchain gnark solana solana-vm svm zk zk-snarks zkproof

Last synced: 18 Feb 2026

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/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/vincenthuang75025/zkxzk

Demo of optimal Ate pairing implemented inside a zk-snark

bls-signature vercel zero-knowledge zk-snarks

Last synced: 27 Feb 2026

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

Learning ZkSNARKs using libsnark

libsnark mimc zk-snarks zksnarks

Last synced: 29 Jul 2025

https://github.com/vsc-eco/go-vsc-node

Next generation cross chain interoperability

blockchain distributed-systems evm evm-wallet zk-snarks

Last synced: 17 Jan 2026

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/kevincharm/broth16

Groth16 using BLS12-381 pairings

cryptography groth16 zk-snarks zkp

Last synced: 15 Apr 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/alpenlabs/strata-bridge

PoC Implementation of the Strata Bridge

bitcoin bitvm2 bridge strata zk-snarks

Last synced: 08 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/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/zclassic23/zclassic

ZClassic full node in one ~15 MB pure-C23 binary — Equihash 200,9 PoW, Sapling shielded transactions, embedded Tor onion service, block explorer, wallet, and an MCP server for AI-native operation

blockchain c23 cryptocurrency equihash full-node mcp tor zclassic zk-snarks

Last synced: 26 Jun 2026

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/privacy-ethereum/sol-spartan-whir

Solidity verifier for the Spartan-WHIR SNARK over the KoalaBear field

solidity-contracts zk zk-snarks zkp zkp-verifier zkproof-prover zksnarks

Last synced: 29 May 2026

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

Variable length sha256 hash function in Circom

circom circuit sha256 variable-length zk-snarks

Last synced: 14 Apr 2026

https://github.com/anarkrypto/zeropoll

A private voting system powered by zero-knowledge proofs

mina mina-protocol poll privacy zero-knowledge zk-snarks

Last synced: 03 May 2026

https://github.com/airchains-network/rollup-evm

EVM-compatible Cosmos Chain for scalable and interoperable DApps and smart contracts, integrating Ethereum's robust features with Cosmos' network

evm evm-blockchain gnark rollup zk zk-rollup zk-snarks zkp zkproof

Last synced: 18 Feb 2026