🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆4,804Feb 28, 2026Updated this week
Alternatives and similar repositories for leo
Users that are interested in leo are comparing it to the libraries listed below
Sorting:
- A Decentralized Operating System for ZK Applications☆4,507Updated this week
- A zkVM for Decentralized Private Computations (DPC)☆1,151Updated this week
- 📜 A Starter Guide to Build ZK Applications 📜☆341Dec 17, 2024Updated last year
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆623Updated this week
- Aleo Request for Comments (ARCs)☆231Updated this week
- 📄 Documentation for Leo 🦁☆331Feb 24, 2026Updated last week
- 🏎 ️ A curated list of Aleo & Leo code and resources 🏎️☆389Sep 6, 2025Updated 5 months ago
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,527Feb 18, 2026Updated last week
- ☆32Nov 17, 2023Updated 2 years ago
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,590Feb 23, 2026Updated last week
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,872Updated this week
- Modular TypeScript wallet adapters and components for Aleo applications.☆93Feb 7, 2026Updated 3 weeks ago
- 🌴 Empowering everyone to build reliable and efficient smart contracts.☆61,930Updated this week
- A Setup Ceremony for Universal SNARKs☆82Jun 16, 2024Updated last year
- Noir is a domain specific language for zero knowledge proofs☆1,312Updated this week
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the…☆7,620Updated this week
- zk-SNARK library.☆1,113Updated this week
- ☆16Mar 8, 2024Updated last year
- ☆21Feb 10, 2026Updated 2 weeks ago
- ☆74Feb 19, 2024Updated 2 years ago
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆451Feb 25, 2025Updated last year
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Dec 4, 2025Updated 2 months ago
- ☆36Dec 9, 2025Updated 2 months ago
- ☆17Dec 6, 2024Updated last year
- A Rust Implementation of the PLONK ZKP System and Extensions☆511Updated this week
- Rust full node implementation of the Fuel v2 protocol.☆57,354Updated this week
- Nova: High-speed recursive zero-knowledge arguments from folding schemes☆826Updated this week
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk team☆628Feb 17, 2026Updated 2 weeks ago
- A Rust library for the Marlin preprocessing zkSNARK☆324Jan 18, 2024Updated 2 years ago
- zkSync era☆3,232Updated this week
- ☆796Updated this week
- Interfaces for Relations and SNARKs for these relations☆894Sep 12, 2025Updated 5 months ago
- The Halo2 zero-knowledge proving system☆888Updated this week
- Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.☆6,431Updated this week
- The Deep Sea☆2,016Oct 6, 2024Updated last year
- Performance and security acceleration for zkVMs.☆483Updated this week
- A Rust implementation of the Groth16 zkSNARK☆334Aug 11, 2025Updated 6 months ago
- R1CS constraints for bits, fields, and elliptic curves☆186Sep 12, 2025Updated 5 months ago
- ☆12Nov 7, 2023Updated 2 years ago