ProvableHQ / leoLinks
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆4,797Updated 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 3 years ago
- testnet_manuals_Celistia☆11Updated 2 years ago
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,511Updated last week
- A zkVM for Decentralized Private Computations (DPC)☆1,142Updated last week
- A Decentralized Operating System for ZK Applications☆4,473Updated last week
- ☆2,183Updated last year
- Часто задаваемые вопросы на собеседованиях QA Engineer☆11Updated 11 months ago
- MindMap и серые зоны к Яндекс Маршрутам (2 sprint)☆11Updated last year
- Тестирование API_Яндекс Прилавка (7 sprint)☆11Updated last year
- This repo provides a starter project to build IBC enabled Solidity contracts that connect rollups to one another Polymer Hub, through the…☆11Updated last year
- ☆11Updated last year
- Финальный проект_QA Engineer Plus_Яндекс Практикум☆11Updated 10 months ago
- Автоматизация чек-листа для поля name в запросе на создание набора в Яндекс Прилавке с помощью API Яндекс Прилавка.☆11Updated 11 months ago
- Вве дение в автоматизированное тестирование (PyCharm, Pytest)☆11Updated 11 months ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,037Updated last year
- Taiko Alethia based rollup protocol 🥁☆4,583Updated last week
- The Decentralized and Scaled Blockchain☆5,570Updated 2 weeks ago
- Modular ZK(Zero Knowledge) backend accelerated by GPU☆7,740Updated 11 months ago
- The Deep Sea☆2,023Updated last year
- Sign arbitrary messages with keys obtained from Namada's trusted setup☆319Updated last year
- ☆21Updated 3 months ago
- ☆2,816Updated 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,885Updated last week
- Base Learn Newcomer☆60Updated last month
- I'm super excited for the Linea week6 task. I'm sure I'll not miss this for any reason.☆10Updated 2 years ago
- Official Go Implementation of the Quai Network☆2,401Updated 2 months ago