ProvableHQ / leo
π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
β4,778Updated this week
Related projects β
Alternatives and complementary repositories for leo
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacyβ2,395Updated this week
- ineryβ11Updated last year
- β11Updated 2 years ago
- β11Updated last year
- A Virtual Machine for Zero-Knowledge Executionsβ1,075Updated this week
- testnet_manuals_Celistiaβ11Updated last year
- β2,180Updated 3 months ago
- A based rollup. π₯ πΈβ4,534Updated this week
- The Decentralized and Scaled Blockchainβ5,558Updated this week
- The Deep Seaβ2,035Updated last month
- This repository guides developers wanting to contribute to the Scroll ecosystem.β1,033Updated 7 months ago
- β2,705Updated this week
- Modular ZK(Zero Knowledge) backend accelerated by GPUβ7,767Updated this week
- A Decentralized Operating System for ZK Applicationsβ4,356Updated this week
- how will the protocol work?β4,601Updated 3 months ago
- zkSync eraβ3,098Updated this week
- V1 interface for Snapshot. Join us on Discord http://discord.snapshot.orgβ9,220Updated this week
- SubQuery is an Open, Flexible, Fast and Universal data indexing framework for web3. Our mission is to help developers create the decentraβ¦β18,938Updated this week
- Owshen rewards and airdropsβ650Updated 3 weeks ago
- Official Go Implementation of the Quai Networkβ2,381Updated this week
- SwaySwap is a blazingly fast DEX built on the fastest modular execution layer: Fuel.β1,095Updated 8 months ago
- Start your Taiko node with a single command. πβ1,150Updated 2 weeks ago
- Main repository for the Linera protocolβ1,439Updated 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,095Updated last year
- Config files for my GitHub profile.β13Updated last year
- tell me dezfulao. how to code_β11Updated last year
- β12Updated last year
- zkSync: trustless scaling and privacy engine for Ethereumβ4,886Updated 3 months ago