Data

Tools

Indexes

Applications

Experiments

Awesome

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

Projects in Awesome Lists tagged with zero-knowledge

A curated list of projects in awesome lists tagged with zero-knowledge .

https://github.com/unionlabs/union

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

astro blockchain bridge cosmos cosmwasm ethereum evm golang indexer move nix prover relayer rust solidity svelte typescipt typescript zero-knowledge

Last synced: 12 May 2025

https://github.com/kroma-network/tachyon

Modular ZK(Zero Knowledge) backend accelerated by GPU

blockchain c-plus-plus cpp17 cryptocurrency cryptography cuda kroma tachyon zero-knowledge zk

Last synced: 13 May 2025

https://github.com/provablehq/leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

compiler leo programming-language zero-knowledge zksnarks

Last synced: 13 May 2025

https://github.com/ProvableHQ/leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

compiler leo programming-language zero-knowledge zksnarks

Last synced: 28 Mar 2025

https://github.com/fisco-bcos/fisco-bcos

FISCO BCOS（发音为/ˈfɪskl bi:ˈkɒz/）是一个稳定、高效、安全的许可区块链平台，已被广泛应用于现实的行业应用。截至目前，已拥有5000多家企事业单位，400多个产业数字化标杆应用，涵盖文化版权、司法服务、政府服务、物联网、金融、智慧社区、房地产建设、社区治理、乡村振兴等领域。FISCO BCOS (pronounced /ˈfɪskl bi:ˈkɒz/) is a stable, efficient, and secure permissioned blockchain platform that has been widely used in real-world industry applications.

bcos blockchain consensus consortium crud crypto evm fintech fisco fisco-bcos p2p pbft precompiled raft rpc security solidity synchronization zero-knowledge

Last synced: 13 May 2025

https://github.com/nexus-xyz/nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

cryptography nexus rust snark zero-knowledge zkvm

Last synced: 19 Apr 2025

https://github.com/FISCO-BCOS/FISCO-BCOS

FISCO BCOS（发音为/ˈfɪskl bi:ˈkɒz/）是一个稳定、高效、安全的许可区块链平台，已被广泛应用于现实的行业应用。截至目前，已拥有5000多家企事业单位，400多个产业数字化标杆应用，涵盖文化版权、司法服务、政府服务、物联网、金融、智慧社区、房地产建设、社区治理、乡村振兴等领域。FISCO BCOS (pronounced /ˈfɪskl bi:ˈkɒz/) is a stable, efficient, and secure permissioned blockchain platform that has been widely used in real-world industry applications.

bcos blockchain consensus consortium crud crypto evm fintech fisco fisco-bcos p2p pbft precompiled raft rpc security solidity synchronization zero-knowledge

Last synced: 27 Mar 2025

https://github.com/risc0/risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

cryptography risc-v rust stark virtual-machine zero-knowledge

Last synced: 03 Feb 2026

https://github.com/succinctlabs/sp1

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

blockchain contributor-friendly ethereum modular rust zero-knowledge

Last synced: 06 Feb 2026

https://github.com/nymtech/nym

Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.

decentralized mixnet mixnets rust rust-lang zero-knowledge

Last synced: 10 May 2025

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

Noir is a domain specific language for zero knowledge proofs

compiler cryptography noir-lang programming-language zero-knowledge

Last synced: 09 Feb 2026

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/zkonduit/ezkl

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

ai cryptography zero-knowledge zkml

Last synced: 12 Jan 2026

https://github.com/kkrt-labs/kakarot

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

cairo-lang ethereum evm proof-system smart-contracts stark starknet zero-knowledge

Last synced: 24 Oct 2025

https://github.com/zk-call/zkp-hmac-communication-python

"Zero-Knowledge" Proof Implementation with HMAC Communication in Python

hmac python zero-knowledge zk-call zkproof

Last synced: 16 May 2025

https://succinctlabs.github.io/sp1/

A performant, 100% open-source, contributor-friendly zkVM.

blockchain contributor-friendly ethereum modular rust zero-knowledge

Last synced: 27 Oct 2025

https://github.com/zcash/halo2

The Halo2 zero-knowledge proving system

cryptocurrency cryptography zcash zero-knowledge

Last synced: 13 May 2025

https://github.com/a16z/zkdrops

Private airdrops for Ethereum.

zero-knowledge

Last synced: 26 Jul 2025

https://zcash.github.io/halo2/

The Halo2 zero-knowledge proving system

cryptocurrency cryptography zcash zero-knowledge

Last synced: 08 May 2025

https://github.com/zk-call/zkp-hmac-communication-js

"Zero-Knowledge" Proof Implementation with HMAC Communication in JavaScript

hmac javascript zero-knowledge zk-call zkproof

Last synced: 07 Apr 2025

https://github.com/0xMiden/miden-vm

STARK-based virtual machine

cryptography stark virtual-machine zero-knowledge

Last synced: 12 Aug 2025

https://github.com/0xmiden/miden-vm

STARK-based virtual machine

cryptography stark virtual-machine zero-knowledge

Last synced: 02 Feb 2026

https://github.com/ProvableHQ/sdk

Javascript & Typescript SDK for Zero-Knowledge Application Development

aleo blockchain javascript nodejs sdk typescript wasm zero-knowledge zksnarks

Last synced: 14 Sep 2025

https://github.com/provablehq/sdk

Javascript & Typescript SDK for Zero-Knowledge Application Development

aleo blockchain javascript nodejs sdk typescript wasm zero-knowledge zksnarks

Last synced: 16 Jan 2026

https://github.com/AleoHQ/aleo

Javascript & Typescript SDK for Zero-Knowledge Application Development

aleo blockchain javascript nodejs sdk typescript wasm zero-knowledge zksnarks

Last synced: 27 Apr 2025

https://github.com/dusk-network/plonk

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

cryptography plonk rust zero-knowledge

Last synced: 29 Dec 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/zk-call/zkp-hmac-communication-go

"Zero-Knowledge" Proof Implementation with HMAC Communication in Go

go hmac zero-knowledge zk-call zkproof

Last synced: 07 Apr 2025

https://github.com/ruped24/toriptables2

Tor Iptables script is an anonymizer that sets up iptables and tor to route all services and traffic including DNS through the Tor network.

anonymize dns iptables tor tor-ip-switcher tor-iptables-script tor-network traffic zero-configuration zero-knowledge

Last synced: 31 Mar 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/ingonyama-zk/icicle

A hardware acceleration library for compute intensive cryptography :ice_cube:

cpu cryptography cuda golang msm ntt rust zero-knowledge

Last synced: 14 May 2025

https://github.com/blockstreamresearch/secp256k1-zkp

A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2

bitcoin c cryptography elliptic-curves musig secp256k1 zero-knowledge

Last synced: 12 Apr 2025

https://github.com/BlockstreamResearch/secp256k1-zkp

A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2

bitcoin c cryptography elliptic-curves musig secp256k1 zero-knowledge

Last synced: 17 Apr 2025

https://github.com/ElementsProject/secp256k1-zkp

A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2

bitcoin c cryptography elliptic-curves musig secp256k1 zero-knowledge

Last synced: 12 Mar 2025

https://github.com/elementsproject/secp256k1-zkp

A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2

bitcoin c cryptography elliptic-curves musig secp256k1 zero-knowledge

Last synced: 19 Mar 2025

https://github.com/tangle-network/tangle

The Layer 1 blockchain for on-demand services.

blockchain mpc rust substrate threshold-signatures tss zero-knowledge

Last synced: 14 May 2025

https://github.com/stealthdrop/stealthdrop

Anonymous Airdrops using ZK-SNARKs

ethereum zero-knowledge zk-snarks

Last synced: 04 Apr 2025

https://github.com/lambdaclass/ethrex

ethrex: Ethereum Rust Execution L1 and L2 client.

blockchain distributed-systems ethereum execution-layer p2p rollup rollups rust zero-knowledge

Last synced: 15 May 2025

https://github.com/nymtech/nym-vpn-client

Cross-platform open source VPN client built in Rust, with mixnet anonymity and WireGuard speed. Protects metadata, not just IP addresses. Zero-knowledge payments for unlinkable online activities.

amneziawg android-app anonymous-payments censorship-resistance cross-platform decentralized decentralized-vpn ios-app linux-app metadata-protection mixnet mobile-app networking open-source privacy-tools rust vpn windows-app wireguard zero-knowledge

Last synced: 07 Feb 2026

https://github.com/provablehq/workshop

📜 A Starter Guide to Build ZK Applications 📜

aleo tutorial workshop zero-knowledge zksnarks

Last synced: 15 May 2025

https://github.com/provablehq/leo-docs-source

📄 Documentation for Leo 🦁

aleo blockchain leo zero-knowledge zksnarks

Last synced: 27 Jan 2026

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/tangle-network/blueprint

A powerful toolkit for building distributed systems and infrastructure as code.

avs cryptography distributed-systems libp2p mpc multi-party-computation networking p2p restaking zero-knowledge

Last synced: 12 Apr 2025

https://github.com/NilFoundation/zkllvm

Zero-Knowledge Proof Systems Circuit Compiler

compiler llvm proof-system zero-knowledge

Last synced: 09 Apr 2025

https://github.com/pluto/ronkathon

Cryptography Educational Foundations

cryptography mathematics rustlang zero-knowledge

Last synced: 15 May 2025

https://github.com/ZK-Garage/plonk

A pure Rust PLONK implementation using arkworks as a backend.

cryptography plonk rust zero-knowledge

Last synced: 18 Apr 2025

https://github.com/a16z/cicada

A protocol for private on-chain voting, implemented in Solidity.

ethereum homomorphic-encryption privacy smart-contracts solidity time-lock-puzzle voting zero-knowledge

Last synced: 28 Mar 2025

https://github.com/HarryR/solcrypto

Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1 and (alt)BN-256

bn256 cryptography ethereum libraries ring-signatures schnorr secp256k1 solidity tools zero-knowledge

Last synced: 28 Mar 2025

https://github.com/minaminao/tornado-cats

A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)

zero-knowledge

Last synced: 10 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/NilFoundation/zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler

compiler llvm proof-system zero-knowledge

Last synced: 17 Apr 2025

https://github.com/Sunscreen-tech/Sunscreen

A compiler for fully homomorphic encryption and zero knowledge proofs

cryptography homomorphic-encryption zero-knowledge

Last synced: 26 Mar 2025

https://github.com/TritonVM/triton-vm

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

cryptography rust stark zero-knowledge zk-starks

Last synced: 19 Apr 2025

https://github.com/GuildOfWeavers/distaff

Zero-knowledge virtual machine written in Rust

cryptography stack-based virtual-machine zero-knowledge

Last synced: 22 Apr 2025

https://github.com/zk-call/zkp-hmac-communication-cpp

"Zero-Knowledge" Proof Implementation with HMAC Communication in C++

cpp hmac zero-knowledge zk-call zkproof

Last synced: 20 Jul 2025

https://github.com/zksecurity/noname

Noname: a programming language to write zkapps

circuit kimchi zero-knowledge zkapps

Last synced: 14 Oct 2025

https://github.com/cloudflare/zkp-ecdsa

Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.

crypto cryptography ecdsa zero-knowledge zkattest

Last synced: 15 May 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/nalinbhardwaj/wordlines

Mobile ZK Puzzle Game with NFT rewards

ethereum game solidity zero-knowledge

Last synced: 28 Sep 2025

https://github.com/anoma/vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

blockchain cryptography zero-knowledge zkp

Last synced: 22 Jul 2025

https://github.com/matter-labs/bellman

Bellman zkSNARK library for community with Ethereum's BN256 support

bellman rust team-crypto zero-knowledge zero-knowledge-proofs zkp zksnark zksnarks

Last synced: 30 Dec 2025

https://github.com/trailofbits/zkdocs

Interactive documentation on zero-knowledge proof systems and related primitives.

cryptography zero-knowledge

Last synced: 26 Jan 2026

https://github.com/risc0/risc0-ethereum

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

cryptography ethereum foundry rust solidity web3 zero-knowledge

Last synced: 15 May 2025

https://github.com/dalek-cryptography/zkp

Experimental zero-knowledge proof compiler in Rust macros

cryptography elliptic-curves rust-macro zero-knowledge

Last synced: 10 Jun 2025

https://github.com/ingonyama-zk/blaze

blaze is a Rust library for ZK acceleration on Xilinx FPGAs.

aws fpga hardware xilinx-fpga zero-knowledge

Last synced: 05 Apr 2025

https://github.com/dr-orlovsky/library

Collection of papers in the field of distributed systems, game theory, cryptography, cryptoeconomics, zero knowledge

bft blockchain byzantine computer-science consensus cryptoeconomics cryptography distributed-systems game-theory paper privacy smart-contracts state-machine zero-knowledge

Last synced: 20 Aug 2025

https://github.com/succinctlabs/sp1-reth

A performant, type-1 zkEVM written in Rust & SP1.

blockchain contributor-friendly ethereum modular rust zero-knowledge

Last synced: 09 May 2025

https://github.com/o1-labs/zkapp-cli

CLI to create a zkApp (zero-knowledge app) for Mina Protocol

blockchain cryptocurrency mina web3 zero-knowledge

Last synced: 16 May 2025

https://github.com/baro77/ZKbasicsCS

Zero-Knowledge Proofs "for (not too much :wink: ) dummies"

argument completeness fiat-shamir nizk proof proof-of-knowledge prover simulator soundness verifier zero-knowledge zkp

Last synced: 11 May 2025

https://github.com/anoma/zkp-compiler-shootout

Evaluating & benchmarking ZKP compilation strategies.

benchmarking zero-knowledge zkp

Last synced: 22 Jul 2025

https://github.com/mortendahl/rust-paillier

A pure-Rust implementation of the Paillier encryption scheme

cryptography homomorphic-encryption paillier secure-computation zero-knowledge

Last synced: 08 Apr 2025

https://github.com/erhant/circomkit

A testing & development environment for Circom.

circom development-environment toolkit typescript zero-knowledge

Last synced: 12 Apr 2025

https://github.com/21-DOT-DEV/swift-secp256k1

Elliptic Curve, Schnorr, and ZKP for Bitcoin. Supports iOS macOS tvOS watchOS visionOS + Linux.

bitcoin c ecdh ecdsa ios library linux macos mobile public-key schnorr secp256k1 swift swift-package-manager taproot xcode zero-knowledge

Last synced: 22 Apr 2025

https://github.com/companyzero/zkc

zero-knowledge chat suite

chat encryption go golang zero-knowledge

Last synced: 12 Jan 2026

https://nmohnblatt.github.io/zk-jargon-decoder

A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.

cryptography educational zero-knowledge

Last synced: 23 Apr 2025

https://github.com/minaprotocol/docs2

Docs website for the Mina Protocol.

blockchain cryptocurrency mina zero-knowledge zk zkapps zkp

Last synced: 16 May 2025

https://github.com/tangle-network/zero-knowledge-gadgets

Zero-knowledge gadgets for Webb's cross-chain blockchain applications.

arkworks blockchain cryptocurrencies cryptography privacy rust zero-knowledge

Last synced: 27 Mar 2025

https://github.com/lurk-lang/arecibo

An advanced fork of Nova (contact:@huitseeker)

cryptography nova r1cs zero-knowledge

Last synced: 12 Dec 2025

https://github.com/nulltea/zk-timelock

Arkworks circuits for verifiable time-lock encryption

arkworks bls12-381 cryptography encryption timelock zero-knowledge

Last synced: 14 Oct 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