Welcome to our weekly engineering updates post which details the latest improvements, features, and fixes.

We have finished and merged the PRs for:

1. Scaling the aggregation mode through proofs of aggregation of aggregated proofs.
2. The full flow example for the aggregation mode.

We are also doing some work to test a possible configuration for dual staking in the network, which requires us to either do work to bump EigenSDK or fix some bugs in the old version. We are working on upgrading the SDK.

The new version of Gnark is also being tested for integration into the Proof Verification Layer and will be merged soon.

Latest PRs merged

Aggregate proofs in chunks

https://github.com/yetanotherco/aligned_layer/pull/1896

Split the aggregation of proofs in chunks. For this, the aggregation program had to be split in two:

1. User proofs: this runs for each one of the chunks (each chunk is configured to have a max size of 256).

• Aggregates proofs.
• Commits the Merkle root of each chunk as a public input.

2. Chunk aggregator:

• Takes all the chunks proof along with their corresponding leaves (proofs commitments).
• Verifies that each proof originated from the chunk aggregator program.
• Verifies that the merkle root from the proof public input matches the merkle root from the provided proof leaves.
• Computes the Merkle root of all leaves and commits it as a public input.
• Produces the final aggregated proof that is verified on-chain.

Full example and docs for aggregation mode

This adds a full example for aggregation mode. It consists of a very minimal L2 that only holds a commitment of the DB and performs transitions if the proofs have been aggregated and verified on Aligned.

https://github.com/yetanotherco/aligned_layer/pull/1942

Work in progress

PRs opened this week

Bump EigenSDK to v0.3.0

https://github.com/yetanotherco/aligned_layer/pull/1948

This PR introduces the following changes:

• Use NewTaskMetadata to create new Task in BLSAggregationService
• Use NewTaskSignature to process signatures in BLSAggregationService
• Use elcontracts.Config to create elcontracts.NewWriterFromConfig
• Use GeometricTxnManager to send transactions. It also adds new bumping parameters to the config file for the aggregator.

Rename batcher folder to crates

https://github.com/yetanotherco/aligned_layer/pull/1951

This renames the batcher folder to crates and rename the workspace members folders to be more descriptive.

PRs opened last week

Targets to verify aggregated proof for every network

https://github.com/yetanotherco/aligned_layer/pull/1943

Support search for aggregation mode

https://github.com/yetanotherco/aligned_layer/pull/1944

Draft PRs from last week

Support multiple quorums in Aggregator and AlignedLayerServiceManager

https://github.com/yetanotherco/aligned_layer/pull/1946

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