Proof Aggregation Service: Mainnet Alpha Release

Aligned offers a full, vertically integrated stack for enterprises and institutions to migrate to Ethereum. 

The Proof Aggregation Service is the second part of our ZK Verification Layer, complementing our Proof Verification Layer which has been live on mainnet since December 2024. 

ZK-rollups and applications requiring Ethereum-level security need a way to verify proofs on the L1 without prohibitive gas costs. The Proof Aggregation Service solves this by batching proofs together and generating a single recursive proof that attests to the validity of all of them. The gas cost (~300K per aggregated proof) is shared across the batch, drastically reducing per-proof costs while inheriting Ethereum's full security.

This is a key milestone for Aligned's Rollup-as-a-Service (RaaS) platform. The Proof Aggregation Service has been fully integrated with Ethrex, the Rust-based Ethereum execution client by LambdaClass that we're using for our based ZK-rollup stack. With this mainnet release, we take an important step toward helping our first RaaS clients deploy their L2s to mainnet.

How it works

Previously, the Proof Aggregation Service and Proof Verification Layer  were coupled as one product. In this mainnet alpha release, the Proof Aggregation Service operates as a standalone service with a simple, streamlined workflow:

• Prepaid Subscription Model. You deposit ETH to get a daily proof quota. Once your subscription is active, you can submit proofs up to your daily limit without additional per-proof gas fees.
• Gateway Submission. Send your proofs to our Gateway service, and they'll be aggregated and posted to L1. The aggregation window can be adjusted based on your throughput requirements and cost preferences.
• Multilayer Aggregation. To scale efficiently, we use a two-layer aggregation architecture. User proofs are first aggregated into chunks, then chunk proofs are combined into a single final proof. This allows us to aggregate large batches without exhausting zkVM memory constraints.
• On-Chain Verification. The final aggregated proof is verified on Ethereum via our AlignedProofAggregationService contract, with all proof commitments available via blob data for 18 days.

A dedicated CLI tool is available to manage payments, submit proofs, and check verification status.

Current capabilities

For this alpha release, the Proof Aggregation Service supports proving with the SP1 zkVM. We chose to launch with SP1 given its maturity and our extensive testing with it. Support for additional proof systems will be added in future releases.

The Proof Aggregation Service has also been fully integrated with Ethrex, enabling any ZK-rollup using this stack to save substantial gas on L1 verification.

Proof Aggregation Service VS Proof Verification Layer: what’s the difference?

The Proof Aggregation Service is ideal for applications that want the full economic security of Ethereum and can tolerate longer aggregation times in exchange for significantly reduced costs.

Both services exist to give developers the flexibility to choose which is best suited for their use case.

A key milestone for our RaaS platform

This mainnet alpha is a critical step forward for our Rollup-as-a-Service platform. With the Proof Aggregation Service now on mainnet and our integration with Ethrex complete, we have most of the pieces in place to bring our RaaS clients to mainnet.

Our vertically integrated stack is designed to make deploying a based ZK-rollup as simple as launching a web2 service. It combines Ethrex, RISC-V zkVMs, our ZK Verification Layer, and (in the future) wallets as a service and our interoperability protocol to offer everything a business needs to launch performant, cost effective, and reliable L2s.

Partners like Sovra, who are building digital identity infrastructure serving millions of users across Latin America, will be among the first to benefit from this production-ready stack.

Built with security in mind

The Proof Aggregation Service's design has been reviewed with the help of our partners at 3MI Labs. We've been collaborating closely with both 3MI Labs and LambdaClass on LambdaVM, a new RISC-V-64 zkVM designed for simplicity, minimal dependencies, and post-quantum security from day one. 

LambdaVM will also be integrated with the Proof Aggregation Service as it matures.

What's next

With this mainnet alpha release and our Ethrex integration complete, we're almost ready to bring our RaaS clients to production. Expect to see the first partner L2s launched using our stack in the coming months, alongside continued improvements to throughput, payment rails, SDK integration, and support for more proof systems and zkVMs.

If you’re looking to launch your financial ecosystem on Ethereum: we would love to help.

Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto