zero-knowledge
Here are 964 public repositories matching this topic...
Language:All
Sort:Most stars
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
- Updated
Dec 17, 2025 - Rust
🔥 End-to-end encrypted cloud for everything.
- Updated
Dec 17, 2025 - Dart
Modular ZK(Zero Knowledge) backend accelerated by GPU
- Updated
Nov 29, 2024 - C++
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- Updated
Dec 17, 2025 - Rust
A Decentralized Operating System for ZK Applications
- Updated
Dec 17, 2025 - Rust
The Nexus zkVM: The zero-knowledge virtual machine
- Updated
Dec 17, 2025 - Rust
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.
- Updated
Nov 29, 2025 - C++
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
- Updated
Aug 29, 2025 - Jupyter Notebook
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
- Updated
Dec 17, 2025 - C++
A toolbox for zkSNARKs on Ethereum
- Updated
Aug 1, 2024 - Rust
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
- Updated
Dec 17, 2025 - Rust
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
- Updated
Dec 15, 2025 - Rust
Anonymous. Uncensored. Sovereign.
- Updated
Dec 17, 2025 - Rust
Noir is a domain specific language for zero knowledge proofs
- Updated
Dec 17, 2025 - Rust
A zkVM for Decentralized Private Computations (DPC)
- Updated
Dec 16, 2025 - Rust
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.
- Updated
Oct 26, 2025 - Rust
Rust implementation of Ziesha protocol
- Updated
Oct 12, 2023 - Rust
A zero-knowledge protocol for anonymous interactions.
- Updated
Dec 13, 2025 - TypeScript
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
- Updated
Jan 9, 2025 - Cairo
The Halo2 zero-knowledge proving system
- Updated
Dec 15, 2025 - Rust
Improve this page
Add a description, image, and links to thezero-knowledge topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thezero-knowledge topic, visit your repo's landing page and select "manage topics."