ProvableHQ / leo
π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
β4,823Updated this week
Alternatives and similar repositories for leo:
Users that are interested in leo are comparing it to the libraries listed below
- 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,467Updated this week
- Taiko Alethia based rollup protocol π₯β4,544Updated this week
- The Decentralized and Scaled Blockchainβ5,574Updated this week
- β2,758Updated this week
- β2,191Updated 8 months ago
- The Deep Seaβ2,032Updated 5 months ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.β1,034Updated last year
- Official Go Implementation of the Quai Networkβ2,397Updated last week
- A zkVM for Decentralized Private Computations (DPC)β1,109Updated 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,087Updated last year
- Modular ZK(Zero Knowledge) backend accelerated by GPUβ7,774Updated 4 months ago
- π‘ Contribute to TangleSwap by submitting feedback, reporting bugs, or proposing new features.β11Updated last year
- zkSync eraβ3,162Updated 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 this week
- A Decentralized Operating System for ZK Applicationsβ4,428Updated this week
- The Verida SDK provides several SDKs to interact with the Verida Networkβ1,313Updated this week
- β15Updated 3 years ago
- β1,152Updated this week
- A tool for token-curated communities.β3,417Updated this week
- Config files for my GitHub profile.β13Updated last year
- Contracts of the Sismo Badge Minting Protocolβ16,060Updated last year
- Start your Taiko node with a single command. πβ1,138Updated last week
- Exorde participation module (Testnet 2022-2023) - CLIβ1,106Updated 3 months ago
- Taho, the community owned and operated Web3 wallet.β3,145Updated this week