Mithril Team Update
High level overviewโ
This week, the Mithril team released the 2543.0 distribution, which adds support for the default incremental backend (v2) for Cardano database restoration, introduces enhanced integrity verification that reports any tampered or missing files in case of failure, and includes various bug fixes and improvements.
The team also continued implementing a simple aggregator discovery mechanism and advanced work on the first phase of decentralizing configuration parameters. Additionally, they made progress implementing the SNARK-friendly STM library by designing its architecture and implementing the Schnorr signature scheme.
Finally, the team completed the implementation of a common HTTP client for the aggregator and made improvements to the protocol security page.
Low level overviewโ
Featuresโ
- Released the new distribution
2543.0 - Published a dev blog post about the Distribution
2543availability - Completed the issue Release
2543distribution #2727 - Worked on the issue Decentralization of configuration parameters - Phase 1 #2692
- Worked on the issue Implement a simple aggregator discovery mechanism #2726
- Worked on the issue Architecture of the SNARK-friendly STM library #2763
- Worked on the issue Implement Schnorr signature scheme in STM #2756
- Worked on the design of the new blocks certification mechanism
Protocol maintenanceโ
Plutus Core Team Update
High level summaryโ
The Plutus team organized and attended UPLC 2025, an event dedicated to the UPLC language, held in Edinburgh last week. Session recordings will be available soon.
Based on community feedback, we have added a new Value primitive, scaleValue, to the upcoming intra-era hard fork, along with several minor refinements to other Value primitives.
We have also continued improving the performance of the UPLC evaluator, specifically by optimizing the inlining of the geq function.
Finally, we are progressing with costing for all Value primitives.
Low level summaryโ
Key Pull Requests Mergedโ
- Add ScaleValue primitive
- Restrict Value quantities to signed 128-bit integer range
- Add an inlinable version of 'geq'
- CIP-0153 | Add range limits to amounts in builtin Value
- Add ECD (Euclidean Common Divisor) synthetic benchmark scenario
- Add support for multiple input arguments in test framework
Issues and Pull Requests In Progressโ
- Costing for
Valueprimitives (in plutus-private)
Consensus Team Update
High level summaryโ
- The team showed the prototype described in #1701 during the Leios monthly Demo.
- For Peras, #1678 was merged after review with the Consensus team. The October demo was also completed.
- Consensus patched versions for node 10.6 were released (#1729), which include making Dijkstra genesis optional (#1725) and streaming ledger tables in the snapshot converter (#1728).
- Resource-registry 0.2.0.0 was released (io-classes-extra#11), which adds transferRegistry (io-classes-extra#9) and releases threads before closing (io-classes-extra#10).
- CHaP's update ensures in-future packages cannot be released (cardano-haskell-packages#1159).
- Work is ongoing to enable randomized snapshot delays.
Ledger Team Update
High level summaryโ
This period marks a very nice milestone for the Ledger team. We have finalized CIP-118 - Nested Transactions with drastic simplifications through reliance on CIP-112 - Observe script type and CDDL specification with changes to the transaction. This step puts it in the ready state for the final reviews. Once merged it will conclude the last point on the first milestone listed in the Nested Transaction proposal. Furthermore we have also implemented the distinction between sub-transactions and the top level transaction in such a way that will allow us reuse most of the existing Ledger functionality for transaction validation, regardless of the level. This point takes us right to the finish line of having the second milestone completed as well for the Nested Transaction proposal that was promised by the Ledger team. We expect this milestone to be finalized in the next couple of days.
Beside significant progress on Nested Transactions we have also: implemented a proper solution for preventing invalid serialization for a few obscure edge cases in a transaction, tackled some outstanding tech dept and expanded our test suite.
Low level summaryโ
Featuresโ
- PR-5350 - Switch role of
reqSignerHashesfromWitnesstoGuard - PR-5341 - Shelley: Move withdrawals draining from DELEGS to LEDGER
- PR-5351 - Various minor improvements
- PR-5357 - Rename PoolParams to StakePoolParams
- PR-5363 - Make
Annotatorcapable of failing. - PR-5366 - Backport of a bugfix in
queryPoolState - PR-5365 - Fix a bug in
queryPoolState - PR-5368 - Add DecCBOR for ShelleyBbodyPredFailure
- PR-5362 - CDDL: Switch to explicit exports and consolidate a few fields
- PR-5334 - Multi level transaction definition
Testingโ
- PR-5330 - Run Imp DELEG tests across eras
- PR-5344 - Update formal-ledger and enable tests
- PR-5267 - Remove
Deleg.conwayEraSpecificSpec - PR-5358 - Update formal-ledger and enable conformance tests
- PR-5352 - Remove
tastyfrom all test suites except those in Byron
Infrastructure and releasingโ
- PR-5311 - Check in CI if changelogs need a bump
- PR-5335 - Improve error checking in CI changelog linting
- PR-5354 - Remove LC_ALL from shellHook in flake.nix
- PR-5353 - Fix broken link in RELEASING.md
- PR-5359 - Add filename to diagnostics in
undefinedCI check - PR-5369 - Bump hls to 2.12 and cabal to 3.14.2




