We are excited to announce the launch of our third testnet, marking a significant advancement in the adoption of zero-knowledge (ZK) proofs on Ethereum. This is our first public testnet open to third party operators for our EigenLayer AVS. We invite you to work with us towards our goal of accelerating the Ethereum roadmap by making the implementation of ZK proofs both easy and economical.

By reducing the complexity and cost of verification, Aligned will establish ZK as the default solution for building provable and secure applications.

With the Aligned EigenLayer testnet, developers can immediately start verifying various types of proofs and posting the results for 10% of the usual cost on Ethereum.

The goal of this testnet is to battle-test the features that Aligned will introduce and to better understand developer needs. Your feedback will allow us to iterate quickly upon our work, bringing us closer to our mainnet release.

What is Aligned?

Aligned is a decentralized ZK proof verification layer. With Aligned, developers can verify proofs for less than 10% of their previous cost, paving the way for the widespread adoption of ZK technology. Aligned offers two modes to developers: fast mode and a proof aggregation mode.

The fast mode is built as an EigenLayer Actively Validated Service (AVS), Aligned borrows economic security from Ethereum through restaking to ensure that proofs are correctly verified and settled on Ethereum. This novel design allows Aligned to offer unmatched throughput and cost reduction. The current testnet only supports fast mode.

The proof aggregation mode allows developers to amortize costs by aggregating the verification of multiple proofs into a single verifiable proof on-chain. This service will inherit the full security of Ethereum. To offer verification for multiple proving systems, Aligned has designed a general prover that proves the verification of the execution of the rust verifiers and then recursively proves the verification of all these proofs.

Aligned provides high throughput while reducing costs, all while offering developers maximum flexibility with regards to their choice of proving system.

Currently, proof verification is a bottleneck in the proof supply chain. Aligned is removing this limitation in order to enable new services and applications. As a new layer in the modular stack, Aligned unlocks new ways to design decentralized systems that can meet novel use cases.

Features of this testnet

High throughput: over 1000 proofs per second.

Multiple proof systems supported: Halo2, SP1, and Gnark (Groth16 and Plonk + KZG).

Cost reduction: Over 90% reduction for all proof system supported.

Performance

Aligned’s operators only need to run the verification code on bare metal. This has multiple advantages compared to running it on the EVM:

1: The code can be optimized for speed, not gas consumption.

2: We can leverage parallelization to increase throughput.

3: Since the gas limit does not constrain us we can verify proof systems that are too expensive for Ethereum (e.g. Kimchi or Binius).

4: Adding new proof systems is straightforward. Preliminary results show that Aligned can verify more than 1000 proofs per second using our fast mode architecture, over two orders of magnitude greater than the EVM at full capacity. Using effective batching techniques, we can split the task creation and verification costs between thousands of proofs, reducing costs by over 90%.

Testnet

For developers, interacting with Aligned is extremely simple. Your first interaction will take no more than 3 minutes. Simply follow these steps to send your first SP1 proofs and verify them with Aligned.

Step one:

Download and install Aligned to send proofs in the testnet:

curl -L https://raw.githubusercontent.com/yetanotherco/aligned_layer/main/batcher/aligned/install_aligned.sh | bash

If you are experiencing issues, upgrade by running the same command.

Step two:

We are going to download a proof previously generated, send it to Aligned, and retrieve the results from Ethereum Holesky testnet. Aligned is using EigenLayer to do a fast and cheap verification of more than one thousand proofs per second.

Download an example SP1 proof file with it's ELF file using:

curl -L https://raw.githubusercontent.com/yetanotherco/aligned_layer/main/batcher/aligned/get_proof_test_files.sh | bash

Step Three:

Send the proof with:

rm -rf ~/aligned_verification_data/ &&
aligned submit \
--proving_system SP1 \
--proof ~/.aligned/test_files/sp1_fibonacci.proof \
--vm_program ~/.aligned/test_files/sp1_fibonacci.elf \
--aligned_verification_data_path ~/aligned_verification_data \
--conn wss://batcher.alignedlayer.com

You should get a response like this:

[2024-06-17T22:06:03Z INFO  aligned] Proof submitted to aligned. See the batch in the explorer:
    https://explorer.alignedlayer.com/batches/0x8ea98526e48f72d4b49ad39902fb320020d3cf02e6506c444300eb3619db4c13
[2024-06-17T22:06:03Z INFO  aligned] Batch inclusion data written into /Users/maurofab/aligned_verification_data/8ea98526e48f72d4b49ad39902fb320020d3cf02e6506c444300eb3619db4c13_225.json
[2024-06-17T22:06:03Z INFO  aligned] All messages responded. Closing connection...
https://explorer.alignedlayer.com/batches/0x8ea98526e48f72d4b49ad39902fb320020d3cf02e6506c444300eb3619db4c13```

Step four:

You can use the link to the explorer to check the status of your transaction. Then after three blocks, you can check if it has been verified with:

aligned verify-proof-onchain \
--aligned-verification-data ~/aligned_verification_data/*.json \
--rpc https://ethereum-holesky-rpc.publicnode.com \
--chain holesky

You should get this result:

[2024-06-17T21:58:43Z INFO  aligned] Your proof was verified in Aligned and included in the batch!

If the proof wasn't verified you should get this result:

[2024-06-17T21:59:09Z INFO  aligned] Your proof was not included in the batch.

If you want to verify your proof in your own contract, use a static call to the Aligned contract. You can use the following Caller Contract as an example.

If you want to know more about Aligned or send another types of proof, read our docs.

Show proof of alignment: Tweet the link to your batch verification with #aligned ✅

Don’t forget to tag @alignedlayer

Congratulations. You are now aligned. ✅

Community involvement

This is not an incentivised testnet. The testnet is for operators and developers.For our wider community members, we are running a Galxe quest to help learn and spread the word about our project. In the near future, we will run an incentivised light client which will be open to the public.

This is just the beginning. We will soon have even more ways for you to participate in Aligned and help us to accelerate Ethereum.

About us

Aligned provides the necessary infrastructure for you to create the future of Ethereum. Get aligned with our ZK verification network. Aligned was created and spun off by the cryptographic experts at LambdaClass.

We invite you to meet the team at Lambda Hack Week in Brussels on July 6 - July 9.

We will have bounties, tutorials and a lot of activities to allow you to build on top of Aligned. If you want to contribute to the future of Ethereum, don't hesitate to sign up to this hackathon. It's made by nerds for nerds. The team will be there to guide you and help you to become Aligned.Aligned has been open-source from day one. You can see our Github here.

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