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
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,498Updated this week
- Taiko Alethia based rollup protocol 🥁☆4,561Updated this week
- ☆2,186Updated 11 months ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,038Updated last year
- A zkVM for Decentralized Private Computations (DPC)☆1,125Updated this week
- The Decentralized and Scaled Blockchain☆5,571Updated this week
- The Deep Sea☆2,030Updated 9 months ago
- A Decentralized Operating System for ZK Applications☆4,454Updated this week
- Modular ZK(Zero Knowledge) backend accelerated by GPU☆7,762Updated 7 months ago
- ☆2,796Updated this week
- Official Go Implementation of the Quai Network☆2,400Updated 2 months ago
- 💡 Contribute to TangleSwap by submitting feedback, reporting bugs, or proposing new features.☆11Updated 2 years ago
- ☆18Updated last week
- Go implementation of a node that operates the X Layer zkEVM Network☆3,393Updated 4 months ago
- Owshen rewards and airdrops☆663Updated 9 months ago
- how will the protocol work?☆7,682Updated 2 months ago
- Farm 🍅 on the Fuel network.☆1,424Updated 2 months ago
- this is for k8869 family☆9Updated 2 years ago
- this is for ppppooo family☆9Updated 2 years ago
- this is for fati family☆9Updated 2 years ago
- this is for mosamoo family☆9Updated 2 years ago
- zkSync era☆3,176Updated this week
- this is for sam family☆9Updated 2 years ago
- Sign arbitrary messages with keys obtained from Namada's trusted setup☆319Updated last year