CORE TECHNOLOGY
Over the past few weeks, the ledger team has progressed work on nested transactions by implementing an additional ledger rule. They also integrated the new testing library AntiGen into the ledger, enabling negative property testing of decoders against the CDDL specification. This improves confidence in the quality of binary decoders, both for current and future eras.
The team also progressed work on the canonical ledger state by adding one more namespace.
Finally, they reached a major milestone by releasing all ledger packages to CHaP for the upcoming cardano-node v.10.7 release, which includes the features required for the intra-era hard fork to protocol version 11.
SCALING
Mithril
This week, the Mithril team continued implementing new succinct proofs. They completed the certificate chain adaptation for the SNARK aggregate verification key, prepared the SNARK prover witness, and finalized the naming alignment as part of the SNARK circuit refactoring. They published a new dev blog detailing protocol parameter changes on mainnet. The team also continued work on modularity enhancements using gadgets and on SNARK proof verification. In addition, they advanced the full review of the recursive circuit prototype, the technical report for the recursive Halo2 circuit, and the impact assessment of SNARK on the Mithril protocol's security.
The team also continued work on the new certification for Cardano blocks and transactions, including the prover and client library implementations, completed static builds for Mithril nodes, and began enhancing support for signed entity types through configuration.
Finally, they continued testing the DMQ node 0.3.0 pre-release and worked on removing the v1 backend for the Cardano database in the client library and CLI.
Hydra
The Hydra team released version 1.3.0 and made substantial progress on the partial fanout feature (#1667, #2538). They also fixed an issue related to the high layer 2 transaction load and improved logging when running smoke tests.
Next, the team focuses on improving the structure and consistency of benchmarks to support more reliable performance analysis. They are also working on the upcoming Dijkstra era and implementing the ‘directly open heads’ feature. Finally, the team plans to upgrade to cardano-api v.10.21.