zero-knowledge

There are 845 repositories under zero-knowledge topic.

  • union

    unionlabs/union

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

    Language:Rust74.5k1.6k1.8k3.8k
  • ente

    ente-io/ente

    🔒 End-to-end encrypted cloud for photos, videos and 2FA secrets.

    Language:Dart22.7k571.3k1.3k

  • kroma-network/tachyon

    Modular ZK(Zero Knowledge) backend accelerated by GPU

    Language:C++7.7k5031231
  • leo

    ProvableHQ/leo

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

    Language:Rust4.8k4020.9k694
  • snarkOS

    ProvableHQ/snarkOS

    A Decentralized Operating System for ZK Applications

    Language:Rust4.5k1118272.7k

  • nexus-xyz/nexus-zkvm

    The Nexus zkVM: The zero-knowledge virtual machine

    Language:Rust2.6k26101520

  • 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.

    Language:C++2.5k107668730

  • WTFAcademy/WTF-zk

    零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

    Language:Jupyter Notebook2k1517247

  • risc0/risc0

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

    Language:C++2k47602661

  • Zokrates/ZoKrates

    A toolbox for zkSNARKs on Ethereum

    Language:Rust1.9k37487382

  • nymtech/nym

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

    Language:Rust1.6k461.8k256

  • succinctlabs/sp1

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

    Language:Rust1.5k37226590

  • darkrenaissance/darkfi

    Anonymous. Uncensored. Sovereign.

    Language:Rust1.3k47114141

  • noir-lang/noir

    Noir is a domain specific language for zero knowledge proofs

    Language:Rust1.2k183.9k344
  • snarkVM

    ProvableHQ/snarkVM

    A zkVM for Decentralized Private Computations (DPC)

    Language:Rust1.1k513671.5k

  • 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.

    Language:Rust1.1k19122191

  • ziesha-network/bazuka

    Rust implementation of Ziesha protocol

    Language:Rust1.1k3221456
  • semaphore

    semaphore-protocol/semaphore

    A zero-knowledge protocol for anonymous interactions.

    Language:TypeScript1k19439285

  • kkrt-labs/kakarot

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

    Language:Cairo1k22621317

  • zcash/halo2

    The Halo2 zero-knowledge proving system

    Language:Rust84531336562
  • firo

    firoorg/firo

    The privacy-focused cryptocurrency

    Language:C++770100577364

  • a16z/zkdrops

    Private airdrops for Ethereum.

    Language:JavaScript766206124

  • ingonyama-zk/ingopedia

    A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

    729171290

  • 0xMiden/miden-vm

    STARK-based virtual machine

    Language:Rust69723797242

  • ProvableHQ/sdk

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    Language:Rust61652175478

  • dusk-network/plonk

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

    Language:Rust61421426162

  • lambdaclass/ethrex

    Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

    Language:Rust61481.8k117

  • sdiehl/bulletproofs

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

    Language:Haskell54426348

  • zk-Call/zkp-hmac-communication-python

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

    Language:Python4949032

  • 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.

    Language:Python4872312127

  • AndrewPaglusch/FlashPaper

    One-time encrypted password/secret sharing

    Language:PHP47343069
  • icicle

    ingonyama-zk/icicle

    A hardware acceleration library for compute intensive cryptography :ice_cube:

    Language:C++45619184159

  • 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)

    Language:Rust4531139161

  • BlockstreamResearch/secp256k1-zkp

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

    Language:C4014864220

  • howardwu/awesome-aleo

    🏎️ A curated list of Aleo & Leo code and resources 🏎️

    387151249

  • andrewmilson/ministark

    🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

    Language:Rust367121336