ProvableHQ / leoLinks
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆4,798Updated this week
Alternatives and similar repositories for leo
Users that are interested in leo are comparing it to the libraries listed below
Sorting:
- Zero Knowledge Protocol To Defend DeFi From Sybil Attacks☆11Updated 3 years ago
- VALIDATOR NODE TESTNET☆11Updated 2 years ago
- inery☆11Updated 3 years ago
- ☆11Updated 3 years ago
- ☆11Updated 3 years ago
- testnet_manuals_Celistia☆11Updated 3 years ago
- A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities☆34Updated 3 weeks ago
- ☆36Updated 3 weeks ago
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Updated 3 weeks ago
- small Web3 architecture gauge for Aztec-style proving.☆39Updated last month
- ☆34Updated 3 weeks ago
- ☆36Updated 3 weeks ago
- ☆36Updated 3 weeks ago
- ☆34Updated 3 weeks ago
- ☆36Updated 3 weeks ago
- ☆37Updated 3 weeks ago
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,518Updated last week
- A zkVM for Decentralized Private Computations (DPC)☆1,148Updated this week
- ☆2,185Updated last year
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,034Updated last year
- The Deep Sea☆2,022Updated last year
- Taiko Alethia based rollup protocol 🥁☆4,585Updated this week
- A Decentralized Operating System for ZK Applications☆4,494Updated this week
- Official Go Implementation of the Quai Network☆2,402Updated last week
- Owshen rewards and airdrops☆665Updated 2 months ago
- The Decentralized and Scaled Blockchain☆5,568Updated last month
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆616Updated this week
- ☆2,823Updated this week
- Sign arbitrary messages with keys obtained from Namada's trusted setup☆320Updated 2 years ago
- Framework to prove inference of ML models blazingly fast☆3,360Updated 3 months ago