High level summary​

This period Ledger team has progressed further with CIP-112 implementation, in particular we've defined a new type of native script that allows enforcing a plutus script to be executed as part of transaction validation. Besides that we've made some improvents to the Ledger interface for downstream users, put some effort into test suite organization and applied some fixes to our CI/CD configuration.

Low level summary​

Features​

• PR-5275 - Dijkstra Native Scripts
• PR-5313 - Block body fields
• PR-5320 - Added non-zero check for nOpts in ppuWellFormed from PV 11
• PR-5324 - Fix compatibility with mempack-0.2
• PR-5312 - Any era lenses
• PR-5332 - Remove size estimation from EncCBOR and EncCBORGroup

Testing​

• PR-5220 - Improve ImpTest helpers
• PR-5272 - Bump constrained-generators to get better error messages
• PR-5301 - Enable part of the remaining conformance imp tests
• PR-5278 - Re-implement TxInfoSpec as an ImpTest
• PR-5310 - Clean up the test suites
• PR-5317 - Update formal-ledger-specifications, enable and disable some tests
• PR-5295 - Update crypto-details.tex with kes construction info
• PR-5327 - Move cardano-ledger-core ExUnits tests from testlib to test

Infrastructure and releasing​

• PR-5298 - Update GitHub CI workflow for a new release of the changelog linter
• PR-5322 - Revert "Use the "union" merge driver for changelogs"
• PR-5326 - Add Changelog for cardano-node-10.6 release
• PR-5328 - Refactor "Haddocks to GitHub Pages" workflow
• PR-5329 - Fix benchmarks workflow
• PR-5321 - Obtain cardano-ledger-release-tool from flake instead of static binary
• PR-5333 - Improve benchmarks publishing workflow

High level overview​

This week, the Mithril team focused on integrating the Haskell DMQ node with Mithril nodes and implementing the first phase of decentralizing the configuration parameters. They have also completed the support for multiple proof systems in the STM library. Additionally, they worked on some enhancements to the client library and CLI to provide access to Cardano database incremental snapshots by epoch.

Finally, the team fixed some flakiness in the CI and made progress refactoring the STM cryptographic library.

Low level overview​

• Completed the issue Support multiple aggregation proof systems in STM library #2680
• Completed the issue Replace serde_yml unmaintained crate #2700
• Worked on the issue Decentralization of configuration parameters - Phase 1 #2692
• Worked on the issue Integrate the Haskell DMQ node #2674
• Worked on the issue Provide Cardano database incremental snapshots needed for Amaru bootstrap #2704
• Worked on the issue DMQ integration tests are flaky in CI #2728
• Worked on the issue Enhance STM library readability #2568
• Worked on the issue Enhance protocol security page on website #2703

High level summary​

We’ve completed the implementation of CIP-0153, introducing the Value built-in type and its associated functions. Our current focus is on finalizing the costing for these built-ins. Once this is complete, Plutus will be ready for the intra-era hard fork. All other features scheduled for the hard fork are already finished.

We’ve improved the Flat decoding of built-in lists, which has noticeably sped up Plutus script deserialization. In our benchmarks, some scripts' deserialization now runs with double-digit performance gains.

We’ve updated the Plutus Core specification and the Agda formalization to include the multi-scalar multiplication primitives (CIP-0133). Additional property and conformance tests have also been added for these primitives.

The team is also gearing up for UPLC 2025, a UPLC event scheduled to take place in approximately three weeks.

Low level summary​

Key Pull Requests Merged​

• Spec: serialise arrays as lists; miscellaneous updates
• Implement ValueData and UnValueData
• Add BLS12-381 MSM builtins to specification
• Benchmarks for flat list/array decoding
• Keep track of currency/token lengths in builtin Value
• Property tests for BLS12-381 multi-scalar multiplication
• Optimise list decoder
• Add BLS12-381 MSM builtins to metatheory
• Conformance tests for BLS12_381 multiScalarMul operations (2)
• Value decoding/parsing: reject currencies/tokens longer than 32 bytes
• Enforce currency and token lengths in insertCoin and unValueData
• Cover some missing cases in the connformance tests for wrteiBits
• Enable the Agda conformance tests for the array builtins
• valueContains: enforce no negative amounts in either Value
• Enable BLS12-381 MSM builtins at PV11
• Conformance tests for built-in functions on Value

Issues and Pull Requests In Progress​

• Built-in Value: costing (in plutus-private)

High level summary​

• Added a Linear Leios draft impact analysis for Consensus.
• Tweag showcased the first Peras milestone. The demo is accessible through this link. The first Peras PR, which introduced the basic types to support Peras, was merged into main. The second Peras PR is currently under review.
• KES agent code changes have been integrated as part of version 10.6. The KES agent is not active yet; release is pending audit and integration testing on our end.

High level overview​

This week, the Mithril team focused on integrating the Haskell DMQ node with Mithril nodes. They also finished the preparatory phase and started the first phase of decentralizing configuration parameters. Work continued on supporting multiple proof systems and developing an implementation plan for Mithril succinct proofs using a SNARK-friendly version of the STM cryptographic library.

Finally, the team replaced vulnerable Rust dependencies for YAML parsing and made progress refactoring the STM cryptographic library.

Low level overview​

• Worked on the issue Support multiple aggregation proof systems in STM library #2680
• Worked on the issue Decentralization of configuration parameters - Phase 1 #2692
• Worked on the issue Integrate the Haskell DMQ node #2674
• Worked on the issue Enhance STM library readability #2568
• Worked on the issue Replace serde_yml unmaintained crate #2700