Skip to main content

· One min read
Jean-Philippe Raynaud

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

· 2 min read
Ziyang Liu

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

Issues and Pull Requests In Progress

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

· One min read
Damian Nadales

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.

· One min read
Jean-Philippe Raynaud

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

· One min read
Noon van der Silk

What did the team achieve?

  • Enable recovering a deposit when the head is closed #1812
  • Progress on staying up to date with the chain even when there's no head logic events #2206
  • Improved Blockfrost error reporting, in leight of user-reported issue #2194
  • Configurable wait-times for blockfrost #2058
  • Partial commits for tokens as well #2180
  • Fixed TUI not listing UTxO's that are committed #2201
  • Permissive reading of the statefile if it contains bad JSON #2255

What's next?

  • Best practice documentation for committing a script UTxO #1906
  • Start working on partial fanout #1468
  • Continue working on HTLC example in Hydra #2080
  • Continue working on chain following speedups #2206
  • Showcase running Hydra on a Rasberry Pi #2083
  • Release 0.23
  • Continue supporting the Glacier Drop