ProvableHQ / leoLinks
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆4,794Updated 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 3 years ago
- testnet_manuals_Celistia☆11Updated 2 years ago
- The Decentralized and Scaled Blockchain☆5,568Updated last week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,513Updated this week
- A zkVM for Decentralized Private Computations (DPC)☆1,142Updated this week
- A Decentralized Operating System for ZK Applications☆4,476Updated last week
- Taiko Alethia based rollup protocol 🥁☆4,583Updated this week
- The Deep Sea☆2,022Updated last year
- Official Go Implementation of the Quai Network☆2,400Updated this week
- Owshen rewards and airdrops☆664Updated last month
- ☆2,183Updated last year
- ☆2,819Updated this week
- The Nexus zkVM: The zero-knowledge virtual machine☆2,559Updated last week
- Framework to prove inference of ML models blazingly fast☆3,356Updated last month
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,035Updated last year
- Sea protocol is the ultimate DEX base on order-book & AMM on Aptos & Sui.Anybody has the right to trade any asset anywhere, anytime!☆5,080Updated 2 years ago
- ☆22Updated 4 months ago
- Rust implementation of Ziesha protocol☆1,069Updated 2 years ago
- Exorde participation module (Testnet 2022-2023) - CLI☆1,097Updated 3 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,881Updated last week
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆616Updated this week
- Contracts of the Sismo Badge Minting Protocol☆16,006Updated 2 years ago
- MADE BY: https://telegram.me/feature_earning☆72Updated 10 months ago
- Modular ZK(Zero Knowledge) backend accelerated by GPU☆7,740Updated 11 months ago
- ☆37Updated 7 months ago
- blockchain_scripts☆58Updated 7 months ago