Aligned Engineering Updates - June 9th - 13th, 2025

Most of the engineering work this week has been on making new examples for Aligned, where the user can interact with or where the technologies are more novel. We are now finishing examples of ZK sudoku and another simple puzzle game, where a server generates proofs on behalf of the to show that the state is correct. A preview of the sudoku one has been posted on X by RJ.

We have also been testing some possibilities for zkML, as to showcase more usecases of ZK.

Latest merged PRs on main repo

Unify naming conventions in targets

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

This PR renames the makefile targets to use the same naming convention.

You can check all targets with make help

Run workflows on pushes to testnet/staging

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

Previously, workflows were set to run on pushes to 'main' branch, but we have branches 'testnet' and 'staging'

docs: aggregation mode

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

It adds a new document to explain the internals of the AggregationMode + the inclusion of the l2 example in the main docs.

Open PRs

docs(aggregation_mode): upload benchmarks

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

It uploads benchmark results for the aggregation mode.

ci: aggregation mode

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

It adds proof aggregation steps to send-proofs-docker workflow.

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