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.

ED25519 implementation in Circom

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

🎴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