ProvableHQ / leoLinks
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆4,825Updated 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,478Updated this week
- A zkVM for Decentralized Private Computations (DPC)☆1,116Updated this week
- Taiko Alethia based rollup protocol 🥁☆4,551Updated this week
- The Decentralized and Scaled Blockchain☆5,576Updated last week
- SubQuery is an Open, Flexible, Fast and Universal data indexing framework for web3. Our mission is to help developers create the decentra…☆18,917Updated last week
- Modular ZK(Zero Knowledge) backend accelerated by GPU☆7,762Updated 6 months ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,033Updated last year
- Official Go Implementation of the Quai Network☆2,395Updated 2 weeks ago
- an open media-sharing platform.☆4,452Updated 3 weeks ago
- Go implementation of a node that operates the X Layer zkEVM Network☆3,393Updated 2 months ago
- Farm 🍅 on the Fuel network.☆1,424Updated 3 weeks ago
- ☆2,186Updated 10 months ago
- how will the protocol work?☆7,610Updated last month
- 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,082Updated 2 years ago
- A Decentralized Operating System for ZK Applications☆4,446Updated this week
- ☆2,781Updated this week
- The Deep Sea☆2,033Updated 7 months ago
- SwaySwap is a blazingly fast DEX built on the fastest modular execution layer: Fuel.☆1,089Updated last year
- Taho, the community owned and operated Web3 wallet.☆3,156Updated 3 weeks ago
- Contracts of the Sismo Badge Minting Protocol☆16,040Updated last year
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆607Updated this week
- A tool for token-curated communities.☆3,439Updated this week
- 💳 The official Fuel wallet.☆939Updated this week
- Install and run your own AI agent service☆4,952Updated 2 weeks ago