🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
-
Updated
Jul 12, 2024 - Rust
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
A toolbox for zkSNARKs on Ethereum
Rust implementation of Ziesha protocol
Spartan: High-speed zkSNARKs without trusted setup
The proof systems used by Mina
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
ZPrize 2022 - All qualified entries
Argument systems for inner pairing products
A library for decentralized private computation
Materials for Edcon 2019 webcast
zkSNARK trusted setup experiment
Import Zcash Sapling parameters natively into your Rust code
arkwork-rs library zk-SNARKS circuit examples
Add a description, image, and links to the zksnarks topic page so that developers can more easily learn about it.
To associate your repository with the zksnarks topic, visit your repo's landing page and select "manage topics."