ProvableHQ / leo-docs-source
📄 Documentation for Leo 🦁
☆327Updated this week
Alternatives and similar repositories for leo-docs-source:
Users that are interested in leo-docs-source are comparing it to the libraries listed below
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆604Updated this week
- A Setup Ceremony for Universal SNARKs☆83Updated 10 months ago
- 📜 A Starter Guide to Build ZK Applications 📜☆337Updated 4 months ago
- 🏎️ A curated list of Aleo & Leo code and resources 🏎️☆372Updated last month
- Aleo Request for Comments (ARCs)☆222Updated last week
- Aleo Education☆254Updated 10 months ago
- A zkVM for Decentralized Private Computations (DPC)☆1,115Updated this week
- Open source explorer for the Aleo network☆124Updated 3 weeks ago
- Boojum, the scariest SNARK implementation.☆301Updated 8 months ago
- Penumbra is a privacy-preserving decentralized exchange for all of crypto☆417Updated this week
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.☆1,004Updated 4 months ago
- A Starknet full node written in Rust☆647Updated this week
- Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.☆136Updated this week
- Testnet configurations and coordination for the Namada network.☆341Updated last year
- DEPRECATED in favor of https://github.com/madara-alliance/madara☆536Updated 9 months ago
- Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers☆117Updated 2 years ago
- Light standalone prover☆154Updated 6 months ago
- Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.☆160Updated 4 months ago
- Celestia consensus node☆386Updated this week
- ☆98Updated this week
- ☆931Updated 3 weeks ago
- ☆50Updated this week
- Papyrus is a StarkNet full node written in Rust.☆321Updated 4 months ago
- ☆815Updated 10 months ago
- A fork of CometBFT☆520Updated this week
- Scroll zkEVM Playground☆688Updated 3 weeks ago
- Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge a…☆228Updated last week
- A Rust Implementation of the PLONK ZKP System and Extensions☆447Updated this week
- The home for Hyperlane core contracts, sdk packages, and other infrastructure☆401Updated this week
- Subspace Protocol reference implementation☆393Updated this week