zksnarks

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

A Decentralized Operating System for ZK Applications

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

A toolbox for zkSNARKs on Ethereum

Rust implementation of Ziesha protocol

Spartan: High-speed zkSNARKs without trusted setup

Javascript & Typescript SDK for Zero-Knowledge Application Development

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

The proof systems used by Mina

🏎️ A curated list of Aleo & Leo code and resources 🏎️

📜 A Starter Guide to Build ZK Applications 📜

A zkRollup DEX & Payment Protocol

📄 Documentation for Leo 🦁

Java library for distributed zero knowledge proof systems

A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

ED25519 implementation in Circom

🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs

A set of libraries and tools for the Vocdoni decentralized backend infrastructure, the main ground of our universally verifiable, privacy-centric and scalable digital voting protocol

Arithmetic circuits for zero knowledge proof systems