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