ProvableHQ / leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆4,782Updated this week
Related projects ⓘ
Alternatives and complementary repositories for leo
- Zero Knowledge Protocol To Defend DeFi From Sybil Attacks☆11Updated last year
- VALIDATOR NODE TESTNET☆11Updated last year
- inery☆11Updated last year
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,399Updated this week
- The Decentralized and Scaled Blockchain☆5,562Updated this week
- A based rollup. 🥁 🌸☆4,541Updated this week
- ☆11Updated 2 years ago
- ☆11Updated last year
- ☆2,710Updated this week
- Modular ZK(Zero Knowledge) backend accelerated by GPU☆7,777Updated 2 weeks ago
- testnet_manuals_Celistia☆11Updated last year
- SubQuery is an Open, Flexible, Fast and Universal data indexing framework for web3. Our mission is to help developers create the decentra…☆18,946Updated this week
- A Virtual Machine for Zero-Knowledge Executions☆1,079Updated this week
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,037Updated 8 months ago
- Farm 🍅 on the Fuel network.☆1,418Updated 3 weeks ago
- Official Go Implementation of the Quai Network☆2,385Updated this week
- how will the protocol work?☆4,640Updated 4 months ago
- ☆2,181Updated 3 months ago
- V1 interface for Snapshot. Join us on Discord http://discord.snapshot.org☆9,223Updated this week
- Go implementation of a node that operates the X Layer zkEVM Network☆3,363Updated last week
- Shardeum is an EVM based autoscaling blockchain☆21,104Updated this week
- 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,096Updated last year
- A Decentralized Operating System for ZK Applications☆4,366Updated this week
- Contracts of the Sismo Badge Minting Protocol☆16,078Updated last year
- SwaySwap is a blazingly fast DEX built on the fastest modular execution layer: Fuel.☆1,094Updated 8 months ago
- Install and run your own AI agent service☆4,846Updated last week
- tell me dezfulao. how to code_☆11Updated last year
- ☆12Updated last year