zero-knowledge

Collaborative office suite, end-to-end encrypted and open-source.

A Decentralized Operating System for ZK Applications

FISCO BCOS（发音为/ˈfɪskl bi:ˈkɒz/）是一个稳定、高效、安全的许可区块链平台，已被广泛应用于现实的行业应用。截至目前，已拥有4000多家企事业单位，300多个行业数字标杆应用，涵盖文化版权、司法服务、政府服务、物联网、金融、智慧社区、房地产建设、社区治理、乡村振兴等领域。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.

A toolbox for zkSNARKs on Ethereum

Rust implementation of Ziesha protocol

Anonymous. Uncensored. Sovereign.

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

Private airdrops for Ethereum.

A zero-knowledge protocol for anonymous signalling on Ethereum.

The privacy-focused cryptocurrency

Noir is a domain specific language for zero knowledge proofs

A curated list of ZK resources and links. 👇 Click below for the MdBook version.

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

A Virtual Machine for Zero-Knowledge Executions

STARK-based virtual machine

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

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

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

ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.

ezkl is a library and command-line tool for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML)