Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
☆279Jan 30, 2026Updated last month
Alternatives and similar repositories for aligned_layer
Users that are interested in aligned_layer are comparing it to the libraries listed below
Sorting:
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.☆849Updated this week
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Nov 6, 2025Updated 3 months ago
- EigenLayer Rust Developer Tooling☆93Feb 20, 2026Updated last week
- ☆13Jul 2, 2024Updated last year
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- Groth16 verifier on Arbitrum Stylus☆25Dec 10, 2023Updated 2 years ago
- ☆65Updated this week
- lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…☆723Updated this week
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- Celestia Data Availability Provider for the Arbitrum Nitro stack☆12Feb 19, 2026Updated last week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆254Updated this week
- A curated list of resources to become aligned 🟩☆17May 7, 2024Updated last year
- ☆66Nov 24, 2025Updated 3 months ago
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- A minimalist and fast Lean Consensus client by LambdaClass, bringing expertise in distributed systems and blockchain infrastructure to de…☆69Updated this week
- ☆30Updated this week
- Rust implementation of KZG point evaluation☆35Feb 16, 2026Updated last week
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,590Updated this week
- EraVM implementation☆19Sep 5, 2024Updated last year
- A performant and modular zkVM framework built for customization and extensibility.☆312Updated this week
- Easy to use test helpers for Arbitrum Stylus written in Rust☆16Nov 21, 2025Updated 3 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- ☆97Updated this week
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated last month
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 9 months ago
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 11 months ago
- Groth16 over ICICLE☆44Jul 16, 2025Updated 7 months ago
- Benchmark of ZKVMs and Proving Schemes☆32Dec 12, 2025Updated 2 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 5 months ago
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- Building blocks of a Circle STARK verifier in Bitcoin script☆158Dec 3, 2025Updated 2 months ago
- ☆479Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆152Feb 16, 2026Updated last week
- ☆14Nov 19, 2021Updated 4 years ago
- Subgraph to index all block data on Arbitrum One network☆14Jun 12, 2023Updated 2 years ago
- The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡☆933Updated this week
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Jul 27, 2024Updated last year
- Cargo subcommand for developing Arbitrum Stylus projects in Rust☆74Aug 20, 2025Updated 6 months ago