ProvableHQ / leoLinks
π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
β4,802Updated 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 3 years ago
- VALIDATOR NODE TESTNETβ11Updated 2 years ago
- β11Updated 3 years ago
- β11Updated 3 years ago
- ineryβ11Updated 3 years ago
- A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your prioritiesβ34Updated 2 months ago
- β36Updated 2 months ago
- β36Updated 2 months ago
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projectsβ34Updated 2 months ago
- testnet_manuals_Celistiaβ11Updated 3 years ago
- β34Updated 2 months ago
- small Web3 architecture gauge for Aztec-style proving.β39Updated 2 months ago
- β36Updated 2 months ago
- β34Updated 2 months ago
- β36Updated 2 months ago
- β37Updated 2 months ago
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacyβ2,523Updated 3 weeks ago
- The Decentralized and Scaled Blockchainβ5,557Updated last week
- A zkVM for Decentralized Private Computations (DPC)β1,154Updated last week
- A Decentralized Operating System for ZK Applicationsβ4,506Updated this week
- The Deep Seaβ2,018Updated last year
- how will the protocol work?β7,928Updated 2 months ago
- SubQuery is an Open, Flexible, Fast and Universal data indexing framework for web3. Our mission is to help developers create the decentraβ¦β18,861Updated last week
- Official Go Implementation of the Quai Networkβ2,401Updated 2 weeks ago
- β22Updated 7 months ago
- Framework to prove inference of ML models blazingly fastβ3,359Updated last week
- Modular ZK(Zero Knowledge) backend accelerated by GPUβ7,729Updated last year
- Install, run and deploy your own decentralized AI agent serviceβ5,011Updated 4 months ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.β1,031Updated last year
- β185Updated last year