A Decentralized Operating System for ZK Applications
-
Updated
May 31, 2024 - Rust
A Decentralized Operating System for ZK Applications
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Rust implementation of Ziesha protocol
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A toolbox for zkSNARKs on Ethereum
📜 A Starter Guide to Build ZK Applications 📜
🏎️ A curated list of Aleo & Leo code and resources 🏎️
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
A zkRollup DEX & Payment Protocol
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Spartan: High-speed zkSNARKs without trusted setup
The proof systems used by Mina
Bellman zkSNARK library for community with Ethereum's BN256 support
Java library for distributed zero knowledge proof systems
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs
ZPrize 2022 - All qualified entries
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
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."