ProvableHQ / leoLinks
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆4,796Updated 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
- inery☆11Updated 2 years ago
- VALIDATOR NODE TESTNET☆11Updated 2 years ago
- ☆11Updated 3 years ago
- ☆11Updated 3 years ago
- ☆36Updated last week
- A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities☆34Updated last week
- small Web3 architecture gauge for Aztec-style proving.☆39Updated last week
- testnet_manuals_Celistia☆11Updated 2 years ago
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Updated last week
- ☆36Updated last week
- ☆36Updated this week
- ☆34Updated last week
- ☆36Updated this week
- ☆34Updated last week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,517Updated last week
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,035Updated last year
- A zkVM for Decentralized Private Computations (DPC)☆1,147Updated last week
- ☆2,186Updated last year
- ☆37Updated this week
- A Decentralized Operating System for ZK Applications☆4,486Updated this week
- ☆2,823Updated this week
- Taiko Alethia based rollup protocol 🥁☆4,581Updated last week
- Modular ZK(Zero Knowledge) backend accelerated by GPU☆7,734Updated last year
- Часто задаваемые вопросы на собеседованиях QA Engineer☆11Updated last year
- MindMap и серые зоны к Яндекс Маршрутам (2 sprint)☆11Updated last year
- ☆11Updated 2 years ago
- Финальный проект_QA Engineer Plus_Яндекс Практикум☆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
- Тестирование API_Яндекс Прилавка (7 sprint)☆11Updated last year