ProvableHQ / leo
π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
β4,810Updated this week
Alternatives and similar repositories for leo:
Users that are interested in leo are comparing it to the libraries listed below
- VALIDATOR NODE TESTNETβ11Updated last year
- Zero Knowledge Protocol To Defend DeFi From Sybil Attacksβ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,460Updated this week
- A zkVM for Decentralized Private Computations (DPC)β1,099Updated this week
- The Deep Seaβ2,035Updated 4 months ago
- The Decentralized and Scaled Blockchainβ5,574Updated this week
- β2,189Updated 6 months ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.β1,034Updated 11 months ago
- Modular ZK(Zero Knowledge) backend accelerated by GPUβ7,772Updated 2 months ago
- A Decentralized Operating System for ZK Applicationsβ4,403Updated this week
- Official Go Implementation of the Quai Networkβ2,394Updated this week
- Taiko Alethia based rollup protocol π₯ πΈβ4,543Updated 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,091Updated last year
- Owshen rewards and airdropsβ661Updated 4 months ago
- β644Updated this week
- Go implementation of a node that operates the X Layer zkEVM Networkβ3,388Updated 3 weeks ago
- how will the protocol work?β6,445Updated 7 months ago
- β1,153Updated this week
- Farm π on the Fuel network.β1,422Updated last week
- V1 interface for Snapshot. Join us on Discord http://discord.snapshot.orgβ9,223Updated 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,922Updated this week
- zkSync eraβ3,150Updated this week
- SourceLess Hybrid Blockchainβ17Updated 3 years ago
- Rust implementation of Ziesha protocolβ1,064Updated last year
- Javascript & Typescript SDK for Zero-Knowledge Application Developmentβ595Updated this week
- π‘ Contribute to TangleSwap by submitting feedback, reporting bugs, or proposing new features.β11Updated last year