High level summary​

• Leios prototype development (Treasury Funding Initiative 4: Ouroboros Leios Implementation):
  • Closed an attack on the way nodes announce Endorser Blocks. The attack made honest nodes disconnect from each other (#2179, for ouroboros-leios#1029).
  • db-analyser now reads Leios chains. The tool replays a chain and reports the cost to apply each block. The reports now cover the transactions of each certified Endorser Block, their total size, and the time to read them (#2181, for ouroboros-leios#1023).
• Maintenance and support (Treasury Funding Initiative 17: Maintenance and Support):
  • Forward-ported the new snapshot interval and the mempool allocation fix from the 4.x release line to the main development branch. The 2026-08-11 update describes both changes (#2209, #2215).

title: Ledger Team Update slug: 2026-08-19-ledger authors: lehins tags: [ledger] hide_table_of_contents: false​

High level summary​

Leios support continued: following the addition of a real BlsKey in the pool parameters, the pool distribution now carries the corresponding LeiosKey and a per-pool BLS-attributed stake, so that BLS-related pool information is available wherever the rest of the pool distribution is consumed.

Groundwork was laid for a broader refactor of predicate failures toward standalone, reusable units that can be shared across rules and eras. The first such predicate failure landed as a template for the transition, with sub-transactions in Dijkstra as the initial target. Ord instances were also added uniformly across the predicate-failure hierarchy so that failures can be collected into sets, which fits the same push toward standalone, composable predicate failures.

A number of CBOR decoders in the ledger were relaxed to accept indefinite-length encodings in addition to the definite-length ones they previously required. This makes the decoders tolerant of structurally equivalent CBOR variants.

Test infrastructure received substantial attention. On the Imp side, sub-transaction fixup was implemented (Plutus scripts aside), directly addressing the sub-transaction testing gap flagged last cycle. On the conformance side, several test suites were re-enabled after fixes to the underlying constrained generators. Twiddling tests were also enabled in Dijkstra, providing more robust serialization tests.

Low level summary​

Features​

• PR-5988 - Leios: add LeiosKey to PoolDistr
• PR-5992 - Add individualPoolStakeBls to PoolDistr
• PR-5850 - Add Ord instances for predicate failures
• PR-5979 - Make GenerateCBOR exit with nonzero when generation fails, retry failed attempts
• PR-5772 - Adding first standalone AccountAlreadyRegistered predicate failure
• PR-5862 - Enable Dijkstra Twiddling tests, relax some decoders in PV12

Testing​

• PR-5964 - Enable UTXOW/UTXO/UTXOS tests from all eras in conformance
• PR-5990 - Fix infinite loop in initialLedgerState test generator, re-enable UTXO/UTXOW/LEDGER/LEDGERS conformance tests
• PR-5980 - Implement subtransaction-fixup in Imp framework (except Plutus scripts)
• PR-6008 - Enact state constrained generator fix

Infrastructure and releasing​

• PR-6000 - Bump HLS to 2.14.0.0
• PR-5838 - Post test failures summary to a PR comment as well as to CI
• PR-5998 - CHaP flake optimization
• PR-6005 - Bump actions/checkout from 6 to 7 in the actions group

High level overview​

This week, the Mithril team continued optimizing the SNARK test suite by caching the recursive circuit test fixtures on disk and by consolidating the halo2_snark slow proof tests around shared and golden proofs.

They continued creating the new chain adapter that reads the on-chain configuration parameters, adapting the infrastructure and writing the runbook for these parameters, and worked on the deterministic immutable compressed archives.

Finally, the team anticipated the clippy warnings of the upcoming Rust 1.98 release, and worked on the update of the ed25519-dalek dependency.

Low level overview​

Features​

• Worked on the issue Extend the on-disk test cache to the recursive circuit test fixtures #3462
• Worked on the issue Consolidate the halo2_snark slow proof tests around shared and golden proofs #3463
• Worked on the issue Add missing IVC off-circuit checks #3381
• Worked on the issue Create new chain adapter to read on-chain configuration parameters #3393
• Worked on the issue Create deterministic immutable compressed archives #3435

Protocol maintenance​

• Completed the issue Upgrade Rust to version 1.98 #3484
• Worked on the issue Adapt infrastructure for on-chain configuration parameters #3397
• Worked on the issue Create runbook for on-chain configuration parameters #3399
• Worked on the issue Update ed25519-dalek dependency #3471

High level overview​

This week, the Mithril team completed the aggregator CLI commands for the on-chain configuration parameters, the combination of the dual MSM and accumulator pairing checks in the IVC proof verification, and the reuse of the cached unsafe SRS in the SNARK test setups.

They continued creating the new chain adapter that reads the on-chain configuration parameters, implementing the missing IVC off-circuit checks, and creating deterministic immutable compressed archives in the aggregator.

Finally, the team completed fixing the flakiness of the end-to-end tests in the CI, deployed the on-chain configuration parameters reader on the test infrastructure, and continued working on the runbook documenting these parameters.

Low level overview​

Features​

• Completed the issue Implement aggregator CLI commands for configuration parameters #3392
• Completed the issue Reuse the cached unsafe SRS in the SNARK test setups #3433
• Completed the issue Combine the dual MSM and accumulator pairing checks in IVC proof verification #3420
• Worked on the issue Create new chain adapter to read on-chain configuration parameters #3393
• Worked on the issue Add missing IVC off-circuit checks #3381
• Worked on the issue Create deterministic immutable compressed archives #3435

Protocol maintenance​

• Completed the issue Fix flakiness of e2e tests in the CI #3452
• Worked on the issue Adapt infrastructure for on-chain configuration parameters #3397
• Worked on the issue Create runbook for on-chain configuration parameters #3399
• Worked on the issue Update ed25519-dalek dependency #3471

High level summary​

The Plutus team has recently opened two CIPs and one CPS for review. We encourage everyone to read them and leave comments - we would like as much feedback as possible.

• CIP-0194 adds a Match node to UPLC for matching on builtin constants (primarily Data). This will make consuming script contexts in validators much cheaper than the status quo.
• CIP-0195 specifies the Data encoding of the Plutus V4 ledger types.
• A new CPS aims to build community consensus on how to expose our property tests, and tests for older protocol and language versions, to alternative node and UPLC evaluator implementers with minimal integration effort.

Other than these, we've merged the CollapseCase pass, which rewrites list casing into dropList whenever applicable; the uplc tool now deduces input and output formats from file extensions; and the Plutus V4 ledger API types have been released in 1.67.0.0.

Key Pull Requests Merged​

• Add CollapseCase pass, rewriting list casing into dropList
• Deduce uplc input type from file extension
• Add Plutus V4 Address type
• Remove the deriving-aeson dependency
• Fix Constr cost using wrong accessor in Agda metatheory
• Improve NEAT coverage
• Add missing off-diagonal data for EqualsString and EqualsByteString
• Add valueOf golden coverage in Spec.Data.Budget

Pull Requests In Progress​

• Builtin Pattern Matching (CIP-0194)
• Cost model for multiIndexArray (CIP-0156)
• Formalize integer division and CIntegers in the metatheory
• Compile BuiltinData transparently in the plugin
• Certifier: Add decision procedure for hoist-builtins pass