blog.mirror-foundation.network Open in urlscan Pro
172.67.198.206 Public Scan

Back to summary

URL:
https://blog.mirror-foundation.network/
Submission: On October 05 via manual (October 5th 2024, 3:33:49 pm UTC) from ES — Scanned from ES

Form analysis
1 forms found in the DOM

<form class="_1sjywpl0 bc5nciih bc5ncit1 bc5ncitq bc5ncitn bc5nci33y bc5nci4oj">
  <div class="_1sjywpl0 _1sjywpl1 bc5nciih bc5ncitq"><input
      class="_1sjywpl0 _1sjywpl1 _1sjywpl6 _1sjywpl7 _1sjywplc bc5nci7n bc5nci9v bc5nci8r bc5nci8j bc5nciaz bc5nciar bc5nci3mz bc5nci3ti bc5nci4vi bc5nci4zi bc5nci4y0 bc5nci4d bc5nci1j bc5nci546 bc5ncitq bc5ncivy bc5nci16d bc5nci384 bc5nci598 bc5nci4ti bc5nci4tp"
      autocomplete="email" placeholder="Enter email address" type="email" required="" name="email"><button class="_1sjywpl0 _1sjywple bc5nci8r bc5nciaz bc5nci3mz bc5nci3ti bc5nci4ue bc5nci526 bc5nci4su bc5nciiw bc5nciie bc5nci598 bc5nci4ti"
      type="submit">
    </button></div>
  <div class="_1sjywpl0 _1sjywpl1 bc5ncij1 bc5nciiy">
    <div class="_1sjywpl0 _1sjywpl1 bc5ncikf bc5ncitl bc5nciua"></div><button
      class="_1sjywpl0 _1sjywple bc5nci4ow bc5nci1h7 yfzfkjw bc5nci5 bc5nci4su bc5nciih bc5nci598 bc5nci4th bc5nci4tp yfzfkjp bc5nci45l yfzfkjy yfzfkj15 bc5nci3mz bc5nci3ti bc5nci6j bc5ncivy bc5nciyg yfzfkj17 bc5nci526 bc5nci4ue yfzfkjd"
      type="submit">
    </button>
  </div>
</form>

Text Content

Connect

Aligned Testnet 3 : Our first EigenLayer AVS open to external operators

Aligned
0x7794
June 17th, 2024
675 Collected
675
Mint

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/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/aligned_verification_data \
--conn wss://batcher.alignedlayer.com \
--rpc https://ethereum-holesky-rpc.publicnode.com \
--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003

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.

Subscribe to Aligned
Receive the latest updates directly to your inbox.

Mint this entry as an NFT to add it to your collection.
Mint
675 Collected
Verification
This entry has been permanently stored onchain and signed by its creator.
Arweave Transaction

YsvM7Gx1cWprBRl…wSdq-Oe-jtH2Zbc
Author Address

0x7794D1c55568270…1bcE96BEaC10901
Nft Address

0x3bfc15b5B1F1780…1234FFEb1F42928
Content Digest
F99hEjkxcsWNefj…I7oJG3fflRjQUGU

blog.mirror-foundation.network Open in urlscan Pro 172.67.198.206 Public Scan

Form analysis 1 forms found in the DOM

Text Content

blog.mirror-foundation.network Open in urlscan Pro
172.67.198.206 Public Scan

Form analysis
1 forms found in the DOM