🦁 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
#区块链#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
🏎️ A curated list of Aleo & Leo code and resources 🏎️
📜 A Starter Guide to Build ZK Applications 📜
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.
#区块链#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