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

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

• Updated Jul 25, 2026
• Rust

💚 End-to-end encrypted cloud for everything.

android golang photos ios opensource privacy typescript encryption google-photos flutter authy 2fa e2ee zero-knowledge end-to-end-encryption privacy-tools google-photos-alternative

• Updated Nov 12, 2026
• Dart

Modular ZK(Zero Knowledge) backend accelerated by GPU

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

• Updated Nov 29, 2024
• C++

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

programming-language compiler leo zero-knowledge zksnarks

• Updated Nov 2, 2026
• Rust

A Decentralized Operating System for ZK Applications

rust cryptography blockchain zero-knowledge zksnarks aleo

• Updated Nov 12, 2026
• Rust

Bitwarden-compatible server running on Cloudflare Workers

typescript preact serverless password-manager workers password self-hosted cloudflare zero-knowledge end-to-end-encryption bitwarden cloudflare-workers web-vault vaultwarden cloudflare-r2 cloudflare-d1 nodewarden

• Updated Nov 8, 2026
• TypeScript

The Nexus zkVM: The zero-knowledge virtual machine

rust cryptography nexus zero-knowledge snark zkvm

• Updated Jan 6, 2026
• 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.

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

• Updated Nov 10, 2026
• C++

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

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

• Updated Nov 11, 2026
• C++

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

cryptography bitcoin ethereum blockchain elliptic-curves group-theory stark number-theory abstract-algebra zk zero-knowledge snark zksnarks zero-knowledge-proofs zkp elliptic-curve-cryptography zkproof

• Updated Aug 29, 2025
• Jupyter Notebook

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

rust decentralized rust-lang mixnet mixnets zero-knowledge midnightntwrk

• Updated Nov 12, 2026
• Rust

A toolbox for zkSNARKs on Ethereum

language ethereum zero-knowledge snark zksnarks verifiable-computation

• Updated Aug 1, 2024
• Rust

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

rust modular ethereum blockchain zero-knowledge contributor-friendly

• Updated Nov 5, 2026
• Rust

Noir is a domain specific language for zero knowledge proofs

programming-language cryptography compiler zero-knowledge noir-lang

• Updated Nov 12, 2026
• Rust

Anonymous. Uncensored. Sovereign.

rust crypto cryptocurrency zk zero-knowledge zk-snarks halo2 zkvm

• Updated Oct 19, 2026
• 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.

cryptography ai zero-knowledge zkml

• Updated Feb 20, 2026
• Rust

A zkVM for Decentralized Private Computations (DPC)

rust cryptography blockchain zero-knowledge zkp aleo

• Updated Nov 12, 2026
• Rust

A zero-knowledge protocol for anonymous interactions.

javascript typescript ethereum monorepo semaphore solidity hacktoberfest zero-knowledge zk-snarks zero-knowledge-proofs circom proof-of-membership

• Updated Oct 17, 2026
• TypeScript

Rust implementation of Ziesha protocol

rust blockchain cryptocurrency proof-of-stake zero-knowledge zksnarks zk-rollup

• Updated Oct 12, 2023
• Rust

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

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

• Updated Jan 9, 2025
• Cairo