ProvableHQ / leoLinks
π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
β4,831Updated 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
- A zkVM for Decentralized Private Computations (DPC)β1,117Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacyβ2,483Updated this week
- A Decentralized Operating System for ZK Applicationsβ4,446Updated this week
- β2,788Updated this week
- Official Go Implementation of the Quai Networkβ2,400Updated last month
- β2,187Updated 11 months ago
- The Decentralized and Scaled Blockchainβ5,577Updated this week
- Javascript & Typescript SDK for Zero-Knowledge Application Developmentβ608Updated this week
- Modular ZK(Zero Knowledge) backend accelerated by GPUβ7,761Updated 6 months ago
- The Deep Seaβ2,033Updated 8 months ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.β1,042Updated last year
- zkSync eraβ3,178Updated this week
- how will the protocol work?β7,653Updated 2 months ago
- V1 interface for Snapshot. Join us on Discord http://discord.snapshot.orgβ9,201Updated 2 months ago
- Contracts of the Sismo Badge Minting Protocolβ16,038Updated last year
- Taiko Alethia based rollup protocol π₯β4,551Updated 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,903Updated last 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,085Updated 2 years ago
- erc20 token sample for condor taskβ14Updated 2 years ago
- β10Updated this week
- Go implementation of a node that operates the X Layer zkEVM Networkβ3,391Updated 3 months ago
- β791Updated this week
- I'm super excited for the Linea week6 task. I'm sure I'll not miss this for any reason.β10Updated 2 years ago
- Framework to prove inference of ML models blazingly fastβ3,352Updated this week