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.

A zero-knowledge protocol for anonymous signalling on Ethereum.

Private airdrops for 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.

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

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

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