Skip to main content

Consensus Team Update

· One min read
Damian Nadales
Damian Nadales
Consensus Team Lead

High level summary​

The Consensus team is drafting an architectural design based on Leios CIP-0164 (draft). The design document is currently in draft form and can be found at this link.

The team has also completed augmenting the hardfork combinator to be Peras-aware (#1681).

Mithril Team Update

· 2 min read
Jean-Philippe Raynaud
Jean-Philippe Raynaud
Mithril Tech Lead

High level overview​

This week, the Mithril team created the pre-release for the 2537.0-pre distribution, which provides support for Cardano node v.10.5.1, stabilizes commands of the client CLI, provides support for ARM pre-built binaries, and includes various bug fixes and improvements.

They kept updating the CIP of the DMQ protocol and its implementation in Pallas and Mithril nodes, introducing changes to the message structure and the n2c local notification mini-protocol. They also completed the prototyping of a SNARK proving circuit for Mithril certificates in collaboration with the innovation team. Additionally, the team completed a prototype of a Mithril/Cardano bundle within a Docker image, which allows for a seamless start of a Mithril signer when starting a Cardano node in block producer mode.

Finally, they began working on the preparatory phase of decentralizing configuration parameters and started implementing support for multiple proof systems in the STM library.

Low level overview​

  • Pre-released the new distribution 2537.0-pre
  • Completed the issue Simple Aggregation Halo2 - Prototype #2526
  • Completed the issue Add verification of a tampered Cardano database in the CI #2678
  • Completed the issue Flakiness in e2e tests in CI #2687
  • Completed the issue Prototype Mithril/Cardano bundle in Docker image #2616
  • Worked on the issue Update the DMQ message structure #2670
  • Worked on the issue Update the n2c Local Message Notification mini-protocol in DMQ #2673
  • Worked on the issue Release 2537 distribution #2625
  • Worked on the issue Decentralization of configuration parameters - Phase 0 #2691
  • Worked on the issue Support multiple aggregation proof systems in STM library #2680
  • Worked on the issue Enhance STM library readability #2568

Plutus Core Team Update

· 2 min read
Ziyang Liu
Ziyang Liu
Software Engineering Lead

High level summary​

  • We are in the process of implementing CIP-0153: the Value built-in type, and built-in functions operating on Values. The implementation is expected to finish in the coming weeks. These primitives will be enabled at the upcoming intra-era hard fork.

  • We continued developing the UPLC-CAPE benchmark, aimed to compare the performances of different surface languages targeting UPLC. A third scenario, two party escrow, has been added to the benchmark.

  • We have merged the implementation of the multi-scalar multiplication primitives (CIP-0133). They will be enabled at the upcoming intra-era hard fork.

  • We continued investigating more efficient ways of case analysis on Data in UPLC.

Low level summary​

Key Pull Requests Merged​

Issues and Pull Requests In Progress​

  • Add deleteCoin, lookupCoin, valueContains
  • Built-in Value: conformance testing (in plutus-private)
  • Built-in Value: costing (in plutus-private)
  • MSM primitives: conformance testing (in plutus-private)
  • MSM primitives: property-based testing (in plutus-private)

SRE Team Update

· 2 min read
John Lotoski
John Lotoski
Service Reliability Engineer

High level summary​

The SRE team continues work on Cardano environment improvements and general maintenance.

Some notable recent changes, updates or improvements include:

  • An on-going, intermittent outage with our nix upstream cache storage provider has been investigated. While the issue still persists and we work with the provider to get it resolved, it appears to be isolated to traffic routing through a particular provider colocation. Installing a wireguard tunnel for our cache traffic to route around the affected colo has brought our build farm machines back to normal operation until the provider resolves the issue.

This biweekly is shorter than usual as SRE members attended Nixcon 2025 to stay sharp on nix skills, relevant technical knowledge and tooling that can benefit our IOE environments and operations. Additionally, the remaining time was skewed towards internal operations rather than feature development during this period. A new team member has also joined the SRE team!

Repository Work -- Merged​

Devx-ci​

  • Adds an independent pin for GH runner bumps, and adds use of an r2 wg tunnel to eu-central-1 to work around the problematic CF ARN colo reads. devx-ci-pr-134

Repository Work In Progress -- PRs and Branches​

Ledger Team Update

· 3 min read
Alexey Kuleshevich
Alexey Kuleshevich
Ledger Team Software Engineer

High level summary​

This period Ledger team has progressed with some work on Dijkstra era that is necessary for implementation of guards described in CIP-112. We've also finished up features necessary for the next intra-era hard fork. Besides that we did some general improvements, such restructure of how stake pools are represented in the state and test suite organization. We've also made a release of all ledger packages and prepared them for the upcoming cardano-node-10.6 release.

Low level summary​

Features​

  • PR-5260 - Conway cleanup
  • PR-5231 - Added DijkstraPlutusPurpose
  • PR-5259 - Made predicate failures for TICK subrules Void in Shelley
  • PR-5265 - VRFVerKeyHash counters in PState
  • PR-5238 - Changed the type of Tx size to Word32
  • PR-5137 - Remove Shelley style certs in Dijkstra era
  • PR-5264 - Add queryPoolState state query
  • PR-5207 - Re-arrange Era instances
  • PR-5273 - Add guards to getScriptsNeeded in Dijkstra
  • PR-5270 - Intern VRF Key Hash counters in CBOR deserializer
  • PR-5266 - Switch AlonzoTxAuxData to use NativeScript

Testing​

  • PR-5206 - Translate tests from BabbageFeatures to Imp test (part 3)
  • PR-5261 - Fix wrong use of mempty deposit in pool registration test
  • PR-5263 - Move Alonzo ExUnits tests from cardano-ledger-test to Alonzo testlib
  • PR-5256 - Refactor the transaction validity interval test
  • PR-5221 - Run Imp conformance tests at the epoch boundary
  • PR-5277 - Make Babbage TxInfoSpec tests work with newer Plutus versions

Infrastructure and releasing​

  • PR-5274 - Update list of packages to be released
  • PR-5276 - Fix bounds for upcoming release
  • PR-5268 - Changelog linting