Skip to main content

· One min read
Damian Nadales

High level summary

  • Started preparations of a TSC proposal regarding Chain Growth violations.
  • Wrote a document about the Cardano-specific instantiation of the Praos protocol theorem.
  • Georgy Lukyanov joined the Consensus team and is going through the onboarding process.

· 2 min read
Jean-Philippe Raynaud

High level overview

This week, the Mithril team released a new one-line installer for the pre-built Mithril binaries, simplifying the update process for SPO signers. They also published an overview of the protocol security on the documentation website. The team began implementing a new type of certification for the Cardano database to enable differential updates, scaffolding a new signed entity type, and progressing on the computation of the message to sign. Additionally, they adapted the WASM client npm package to support NodeJS and started working on a cache for certificate verification in the WASM client.

Finally, the team completed the removal of legacy store adapters from the codebase and explored solutions for signer registration in networks with multiple aggregators.

Low level overview

  • Published a dev blog post about the new One line installer for Mithril binaries
  • Released a new protocol Security page on the documentation website
  • Completed the issue Make client WASM npm package compatible with NodeJS #2091
  • Completed the issue Schedule nightly builds with a workflow dispatcher #2092
  • Completed the issue Create new signed entity type for Incremental Cardano DB #2121
  • Completed the issue Get rid of store adapters in signer and aggregator #2118
  • Worked on the issue Handle cache for certificate verification in WASM client #1484
  • Worked on the issue Implement signable builder for Incremental Cardano DB #2122
  • Worked on the issue Activate Pythagoras Mithril era #2034
  • Worked on the issue Explore Signer Registration Solutions #2029
  • Completed the issue Next protocol parameters in status page are invalid #2134
  • Completed the issue Snapshot Client can not deserialize artifact list #2140
  • Completed the issue Preprod Mithril snapshot error #2129

· 2 min read
Alexey Kuleshevich

High level summary

The most notable change this period is extraction of a testing framework ImpSpec that we developed for testing Ledger implementation. This meant extracting reusable functionality, packaging into a seperate library and releasing it to Hackage.

Most of the efforts are still dedicated to improving our tests and working on conformance testing.

Low level summary

Features

  • pull-4765 - Pass epochNo from BBODY instead of re-computing it in downstream rules

Testing

  • pull-4743 - Fix looping issue in constrained-generators
  • pull-4741 - Various executable spec improvements
  • pull-4746 - Added LEDGERS conformance
  • pull-4747 - Fixed translation of StakeReference
  • pull-4700 - Test SPO vote counting
  • pull-4744 - Guardrail in Imp genesis
  • pull-4745 - Extract ImpSpec into its own package
  • pull-4739 - Improve the propagation of explanations when a Spec fails.
  • pull-4755 - constrained-generators: Fix test failure related to narrowing of fold specs
  • pull-4708 - Continue implementing the tests in Alonzo.Imp.UtxowSpec.Valid
  • pull-4756 - Updated spec to fix a conformance failure

Infrastructure and releasing

  • pull-4750 - Update CHaP and Hackage
  • pull-4763 - Move ImpSpec into its own repo
  • pull-4758 - Add a hidden skiplist file for git fsck and a note about using it
  • pull-4759 - Documented RatifyState

· 2 min read
Jean-Philippe Raynaud

High level overview

This week, the Mithril team released a new version of the Protocol Insights dashboard. They also completed implementing the new status route in the aggregator and upgraded the explorer to display its information. Additionally, the team completed the refactoring of the beacon used to snapshot the Cardano database and started working on the activation of the Pythagoras Mithril era on the pre-release-preview network.

Finally, they worked on removing the legacy store adapters in the signer and aggregator and explored solutions for signer registration when multiple aggregators are running on a Mithril network.

Low level overview

  • Published a dev blog post about the new Protocol Insights dashboard
  • Completed the issue Create a new /status route in aggregator #2071
  • Completed the issue Remove network field from CardanoDbBeacon #1957
  • Completed the issue Refactor pruning with upkeep service in signer/aggregator #2075
  • Completed the issue Implement the new metrics in the Mithril Protocol Insights dashboard #2076
  • Completed the issue Add command to create Genesis keypair in aggregator #2074
  • Completed the issue testing-preview and testing-sanchonet aggregators panic with FOREIGN KEY constraint failed error #2120
  • Completed the issue Display aggregator status information in explorer #2073
  • Completed the issue Failures of some STM property based tests #2109
  • Worked on the issue Make client WASM npm package compatible with NodeJS #2091
  • Worked on the issue Get rid of store adapters in signer and aggregator #2118
  • Worked on the issue Activate Pythagoras Mithril era #2034
  • Worked on the issue Schedule nightly builds with a workflow dispatcher #2092
  • Worked on the issue Explore Signer Registration Solutions #2029

· 3 min read
Jordan Millar

2024-10-29T00:00:00Z - 2024-11-20T00:00:00Z

High level summary

Major Enhancements

  • Added anchor hash checks to transaction build to validate transaction data integrity
  • Introduced a new check-node-configuration command to verify genesis file hashes
  • Implemented checks to ensure stake addresses in proposals are registered on-chain, preventing potential deposit losses
  • Added options to create constitutional committee members in testnet data generation
  • Released cardano-cli-10.1.1.0 and updated to cardano-api-10.2.0.0

Code Quality and Architecture

  • Removed direct dependencies from ouroboros-* packages, improving module separation
  • Restored stable query commands at the top level for better user experience
  • Refactored various components and removed unused code elements
  • Enhanced transaction submission to print transaction hash for better traceability

API Improvements

  • Added functionality to extract anchor data from certificates
  • Improved Value parser parameterization based on transaction role
  • Exposed necessary functions and types from underlying libraries
  • Restored aarch64 architecture support
  • Updated error handling for Plutus script failures

Testing Enhancements

  • Added supplemental datum Plutus test
  • Added verification checks for stake registration/deregistration
  • Improved test infrastructure for proposal anchors and constitution

cardano-cli

cardano-api

cardano-node

cardano-testnet

docs

  • None

CI & project maintenance