HarukaMa / aleo-prover
Light standalone prover
☆149Updated 3 weeks ago
Related projects: ⓘ
- Mantle | Mass adoption of decentralized & token-governed technologies. With Mantle Network, Mantle Treasury, and token holder-governed p…☆225Updated 4 months ago
- 🏎️ A curated list of Aleo & Leo code and resources 🏎️☆355Updated 3 weeks ago
- Aleo Request for Comments (ARCs)☆214Updated last month
- Aleo Education☆240Updated 3 months ago
- EigenLayer CLI☆66Updated this week
- Open source explorer for the Aleo network☆84Updated this week
- Quick start setup guide for EigenDA☆80Updated last week
- EigenLayer CLI (https://www.eigenlayer.xyz)☆32Updated 9 months ago
- 👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀☆318Updated last week
- A Setup Ceremony for Universal SNARKs☆79Updated 3 months ago
- Main repo for Babylon full node☆233Updated last month
- 📜 A Starter Guide to Build ZK Applications 📜☆329Updated last month
- A Software Development Kit (SDK) for Zero-Knowledge Transactions☆585Updated this week
- The Berachain SWE Guidelines☆34Updated 3 months ago
- A Starknet full node written in Rust☆618Updated this week
- Full integrated dashboard for Bera blockchain☆20Updated 7 months ago
- ☆34Updated last year
- Papyrus is a StarkNet full node written in Rust.☆310Updated last month
- A complete Berachain development network containerized with Docker.☆20Updated 7 months ago
- The main repo for manta blockchain nodes.☆242Updated last month
- Subspace Network reference implementation☆368Updated this week
- ☆70Updated 3 weeks ago
- ZetaChain’s blockchain node and an observer validator client☆163Updated this week
- ☆89Updated 5 months ago
- The home for Hyperlane core contracts, sdk packages, and other infrastructure☆295Updated this week
- Powerful blockchain node with Aspect programming enabled.☆101Updated 2 weeks ago
- ☆67Updated this week
- ☆145Updated 5 months ago
- Learn how to read Cairo code☆470Updated 9 months ago
- ☆129Updated this week