ProvableHQ / leoLinks
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆4,802Updated 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 2 years ago
- VALIDATOR NODE TESTNET☆11Updated 2 years ago
- inery☆11Updated 2 years ago
- ☆11Updated 2 years ago
- ☆11Updated 2 years ago
- testnet_manuals_Celistia☆11Updated 2 years ago
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,503Updated last week
- A zkVM for Decentralized Private Computations (DPC)☆1,137Updated last week
- A Decentralized Operating System for ZK Applications☆4,471Updated this week
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,037Updated last year
- ☆2,181Updated last year
- The Decentralized and Scaled Blockchain☆5,565Updated this week
- zkSync era☆3,204Updated this week
- ☆2,813Updated this week
- Taiko Alethia based rollup protocol 🥁☆4,580Updated this week
- Rust implementation of Ziesha protocol☆1,070Updated last year
- ☆21Updated 3 months ago
- ☆18Updated last year
- Official Go Implementation of the Quai Network☆2,400Updated last month
- Modular ZK(Zero Knowledge) backend accelerated by GPU☆7,744Updated 10 months ago
- Sign arbitrary messages with keys obtained from Namada's trusted setup☆319Updated last year
- ☆429Updated 11 months ago
- ☆10Updated 2 years ago
- Base Learn Newcomer☆45Updated 2 weeks ago
- SubQuery is an Open, Flexible, Fast and Universal data indexing framework for web3. Our mission is to help developers create the decentra…☆18,890Updated last week
- ☆21Updated last year
- Owshen rewards and airdrops☆664Updated 11 months ago
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆615Updated this week
- The Deep Sea☆2,028Updated last year
- blockchain_scripts☆57Updated 5 months ago