zero-knowledge
There are 70 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:Rust 74495 - enteLanguage:Dart 22741
kroma-network / tachyon
Modular ZK(Zero Knowledge) backend accelerated by GPU
Language:C++ 7740- leo
ProvableHQ / leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language:Rust 4794 - snarkOS
A Decentralized Operating System for ZK Applications
Language:Rust 4476 nexus-xyz / nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
Language:Rust 2559FISCO-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++ 2516WTFAcademy / WTF-zk
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Language:Jupyter Notebook 2024risc0 / risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Language:C++ 2012- Language:Rust 1880
nymtech / nym
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
Language:Rust 1556succinctlabs / sp1
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Language:Rust 1512darkrenaissance / darkfi
Anonymous. Uncensored. Sovereign.
Language:Rust 1292- Language:Rust 1217
- snarkVM
A zkVM for Decentralized Private Computations (DPC)
Language:Rust 1141 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:Rust 1137ziesha-network / bazuka
Rust implementation of Ziesha protocol
Language:Rust 1069- semaphore
semaphore-protocol / semaphore
A zero-knowledge protocol for anonymous interactions.
Language:TypeScript 1025 - Language:Cairo 1007
- Language:Rust 845
- firoLanguage:C++ 770
- Language:JavaScript 766
ingonyama-zk / ingopedia
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
- Language:Rust 697
Javascript & Typescript SDK for Zero-Knowledge Application Development
Language:Rust 616dusk-network / plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
Language:Rust 614lambdaclass / ethrex
Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Language:Rust 614sdiehl / bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
Language:Haskell 544zk-Call / zkp-hmac-communication-python
"Zero-Knowledge" Proof Implementation with HMAC Communication in Python
Language:Python 494ruped24 / 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:Python 487AndrewPaglusch / FlashPaper
One-time encrypted password/secret sharing
Language:PHP 473- icicle
A hardware acceleration library for compute intensive cryptography :ice_cube:
Language:C++ 456 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:Rust 453BlockstreamResearch / secp256k1-zkp
A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2
Language:C 401howardwu / awesome-aleo
🏎️ A curated list of Aleo & Leo code and resources 🏎️
andrewmilson / ministark
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
Language:Rust 367
