Skip to main content

· One min read
Noon van der Silk

High-level summary

The team accomplished quite a lot of things, notably the Withdraw Zero trick is now possible, we have documentation for snapshot side-loading, and we have fixed a number of bugs with deposits. We are now focused on our next big release, a Blockfrost-based chain layer, and supporting the Glacier drop.

What did the team achieve?

  • New metric, hydra_head_peers_connected #1946
  • Withdraw zero trick #1795
  • Better defaults for contestation period and deposit deadline #1925
  • Documentation for the side-loading snapshot feature #1912
  • Bugfixes for deposits #1915, #1895, #1924
  • Head finalised reporting wrong UTxOs #1913
  • Publishing scripts with blockfrost #1668
  • Improved Blockfrost API for following the chain #1931

What's next?

  • Release version 0.21.0
  • Continued work on a full Blockfrost chain layer #1305
  • Reinstate Kupo support #1785
  • Continue to focus on supporting the Glacier drop
  • Fixes to the documentation #1636,

· One min read
Damian Nadales

High level summary

  • Work is ongoing on improving the Genesis tests. In particular, a centralized chain-sync-jumping model was developed to help troubleshoot test failures, which proved difficult to do using the decentralized model.
  • The Consensus team had its representative in the Node Diversity workshop. The report can be found in this link.
  • Collaborated with the Ouroboros Phalanx/Anti-Grinding Innovation Team, as an initial step in providing engineer input on the design.

· 2 min read
Jean-Philippe Raynaud

High level overview

This week, the Mithril team started rolling out incremental certification of the Cardano database (also known as Cardano node database v2), which has been activated on the pre-release-preview test network.

They also completed adapting the infrastructure to support the aggregator’s prototype ‘follower’ mode and focused on signing ancillary files in the Cardano database snapshots using an IOG key. Work also continued on the proof of concept for the Mithril/ALBA aggregation proof system.

Finally, the team continued refactoring the STM cryptographic library to improve clarity and started refactoring the aggregator’s command configuration.

Low level overview

  • Published a dev blog post about the Certification of Cardano node database v2
  • Completed the issue Adapt infrastructure for multiple aggregators with leader/follower signer registration #2391
  • Completed the issue Wrong computation of size of immutable files in Cardano DB v2 #2415
  • Completed the issue Adapt the aggregator dashboard with origin in Grafana #2422
  • Worked on the issue Sign ancillary files with IOG key #2362
  • Worked on the issue Re-organize STM library structure #2369
  • Worked on the issue Mithril/ALBA aggregation proof system PoC #2403
  • Worked on the issue Rollout Cardano Database v2 feature #2409
  • Worked on the issue Aggregator stress test is failing #2408
  • Worked on the issue Simplify the configuration of commands in aggregator #2384
  • Worked on the issue DMQ signature diffusion prototype #2402

· 2 min read
Ziyang Liu

High level summary

We made significant improves to Plinth (formerly Plutus Tx) in the past few weeks:

  • Plinth compiler improvements
    • Added compiler flag inline-callsite-growth, for setting the inlining threshold for callsites. 0 disables inlining a binding at a callsite if it increases the AST size; n allows inlining if the AST size grows by no more than n. Keep in mind that oing so does not mean the final program will be bigger, since inlining can often unlock further optimizations.
    • PlutusTx.Lift.liftCode and related functions now apply the default PIR and UPLC optimizations during code lifting. This could lead to significantly more efficient scripts when using lifting.
  • Plinth library improvements
    • Added module PlutusTx.BuiltinList, containing functions for operating on BuiltinList.
    • Augmented module PlutusTx.Data.List, adding more functions for operating on Data encoded List. This includes, among others, PlutusTx.Data.List.destructList, which takes a list along with a list of desired indices, and generates variables bound to the elements at those indices, as well as PlutusTx.Data.List.caseList and caseList', for matching on Lists.
    • Augmented module PlutusTx.Data.AssocMap, adding more functions for operating on Data encoded Map.

Additionally, we added two new pages to the Plinth user guide:

On the Plutus Core side, we made progress on features targeting the next Hard Fork. This includes

  • costing, conformance testing and metatheory for the dropList primitive
  • costing and metatheory of builtin arrays
  • costing for the modular exponentiation primitive
  • reviewing the CIP on builtin Value
  • investigating approaches for enabling casing on builtin types

Regarding certified compilation, we worked on adding more tests to the certifier and resolving the issues it uncovered

Low level summary

Key Pull Requests Merged

Issues In Progress

  • Caseing on values of built-in types
  • Costing for modular exponentiation (in plutus-private)
  • Costing of builtin functions operating on builtin arrays (in plutus-private)
  • Add negative certifier tests (in plutus-private)

· One min read
Marcin Szamotulski

Overview of sprint 85

High-level overview

Node Diversity Workshop

We participated in the Node Diversity workshop held in Paris by Tweag / Modus Create. We had a chance to talk with amaru and [goroboros] developers.

We were in particular interested in testing approach for the amaru node, which is described in a recent series of blog posts.

Tx-Submission

We continued working on tx-submission. We're analysing a test failure which prevents us from merging the PR.

Mithril

Armando Santos (Well-Typed) open a draft PR in which he's been working on implementation of the DMQ Node, see ouroboros-network#5109. Armando also wrote an update to the CIP#137 proposal.

Performance Imrpovements

  • We are reviewing PR with inbound governor performance improvements.

Pull requests

Opened

In review

Work in Progress

Merged