High level overview​

This week, the Mithril team successfully integrated the Haskell DMQ node with Mithril nodes in the end-to-end tests. They continued to implement the first phase of decentralizing the configuration parameters. They also worked on some enhancements to the client library and CLI to provide access to Cardano database incremental snapshots by epoch. Additionally, they updated the signer to ensure it has a unique protocol initializer for each epoch.

Finally, the team fixed some bugs in the CI and completed the first refactoring of the STM cryptographic library that enhances its readability.

Low level overview​

• Completed the issue Enhance STM library readability - 1/2 #2568
• Completed the issue Mithril signer should have a unique protocol initializer for an epoch #2424
• Completed the issue DMQ integration tests are flaky in CI #2728
• Completed the issue Backward compatibility with latest release is broken #2730
• Worked on the issue Decentralization of configuration parameters - Phase 1 #2692
• Worked on the issue Integrate the Haskell DMQ node in the e2e test #2674
• Worked on the issue Implement a common aggregator client - Phase 1 #2640
• Worked on the issue Enhance protocol security page on website #2703
• Worked on the issue Release 2542 distribution #2727

High level summary​

• The scope for the first Consensus Leios demo has been defined and can be accessed via this link. The team has started prototyping the mini-protocols, new components and demo infrastructure, using the actual node as the base for the prototype.
• The ThreadNet tests have been updated in preparation for upcoming work on Peras tests, as well as testing that the node can fork into the next Dijkstra era (#1689).
• Most of the work integrating LSM trees into consensus has been merged into our repository (#1700, #1653, #1652, #1603, #1572). The integration of LSM trees into the node will require only minor consensus modifications, such as exposing new symbols.
• The second Peras PR has been merged (#1674). A new one is now ready for review by the Consensus team (#1678).

High level summary​

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

Some notable recent changes, updates or improvements include:

• A sanchonet relay and pool have been spun up to participate in the community driven disaster recovery testing happening in the near future.

• Cardano-submit-api configs will be updated to be compatible with both the legacy and new tracing system in the next cardano-node release.

• A legacy Matomo deployment is being migrated to a newer stack so deprecated resources can be turned off in the near future.

Repository Work -- Merged​

Capkgs​

• Adds an exclusions.json file to exclude packages that are known to not build, with compatibility code added to packages.cr and a new justfile recipe: filter-packages. The exclusions file was populated with all currenctly failing evals along with a reason. Go package exclusions were re-added after the missing hydra go deps were re-cached after working around a failing test certificate during haskell.nix bootstrap tests. capkgs-pr-7

Repository Work In Progress -- PRs and Branches​

• Cardano-node: https://github.com/IntersectMBO/cardano-node/pull/6300
• Iohk-nix: https://github.com/input-output-hk/iohk-nix/pull/602
• Cardano-playground: https://github.com/input-output-hk/cardano-playground/pull/51
• Cardano-parts: https://github.com/input-output-hk/cardano-parts/pull/74

High level summary​

This period Ledger team has progressed further with CIP-112 implementation, in particular we've defined a new type of native script that allows enforcing a plutus script to be executed as part of transaction validation. Besides that we've made some improvents to the Ledger interface for downstream users, put some effort into test suite organization and applied some fixes to our CI/CD configuration.

Low level summary​

Features​

• PR-5275 - Dijkstra Native Scripts
• PR-5313 - Block body fields
• PR-5320 - Added non-zero check for nOpts in ppuWellFormed from PV 11
• PR-5324 - Fix compatibility with mempack-0.2
• PR-5312 - Any era lenses
• PR-5332 - Remove size estimation from EncCBOR and EncCBORGroup

Testing​

• PR-5220 - Improve ImpTest helpers
• PR-5272 - Bump constrained-generators to get better error messages
• PR-5301 - Enable part of the remaining conformance imp tests
• PR-5278 - Re-implement TxInfoSpec as an ImpTest
• PR-5310 - Clean up the test suites
• PR-5317 - Update formal-ledger-specifications, enable and disable some tests
• PR-5295 - Update crypto-details.tex with kes construction info
• PR-5327 - Move cardano-ledger-core ExUnits tests from testlib to test

Infrastructure and releasing​

• PR-5298 - Update GitHub CI workflow for a new release of the changelog linter
• PR-5322 - Revert "Use the "union" merge driver for changelogs"
• PR-5326 - Add Changelog for cardano-node-10.6 release
• PR-5328 - Refactor "Haddocks to GitHub Pages" workflow
• PR-5329 - Fix benchmarks workflow
• PR-5321 - Obtain cardano-ledger-release-tool from flake instead of static binary
• PR-5333 - Improve benchmarks publishing workflow

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