Skip to main content

· One min read
Damian Nadales

High level summary

  • Released Consensus for Node 8.11 (#1101)
  • Improved the Praos chain order:
    • Restricted VRF tiebreaker based on slot distance (#1047)
    • Small tweak to the issue number tiebreaker (#1086)
  • Wrote overview on the statistics on the leader schedule (#1096)
  • Integrated robustness refinement for concluding that a node is caught up in the context of bootstrap peers (#1031)
  • The P&T team managed to complete the UTXO-HD benchmarks using the LMDB backend and the results are promising.
  • We're working on setting up the Consensus Technical Working Group within Intersect, so if you'd like to participate please reach out to Damian Nadales.

· 2 min read
Jean-Philippe Raynaud

High level overview

This week, the Mithril team released the new distribution 2418.1, which includes broader CPU support for pre-built binaries and a new memory allocator for the signer and aggregator nodes aimed at preventing memory fragmentation. They also continued implementing the certification of Cardano transactions in Mithril networks and worked on scaling the signature and proof generation for mainnet. Specifically, they completed the implementation of compressing the transaction Merkle tree using sub-Merkle trees based on transaction block ranges and initiated testing and assessing performance on mainnet in a test Mithril network. Additionally, they started working on minimizing the extra disk space requirements for the signer on the SPO infrastructure.

Finally, the team implemented some optimizations for the aggregator, fixed some bugs on the client, and introduced new documentation for compiling the Mithril relay from source.

Low level overview

  • Released the new distribution 2418.1
  • Completed the issue Use Block Range Merkle roots to sign Cardano transactions #1634
  • Completed the issue Use Block Range Merkle roots to prove Cardano transactions #1635
  • Completed the issue Deploy Cardano transactions to testing-mainnet #1647
  • Completed the issue Consistent sorting of transactions from GetCardanoTransactionProvider in signer and aggregator #1657
  • Completed the issue Use SQLite transactions when inserting Cardano Transactions and Block Range Roots #1656
  • Completed the issue Implement Ord on SignedEntityTypeDiscriminants #1648
  • Completed the issue Merkle roots don't have fixed size in the block_range_root table #1668
  • Completed the issue Refactor Cardano transactions database layer in persistence for signer and aggregator #1677
  • Completed the issue Some timing tests fail on ARM #1466
  • Completed the issue Add Mithril networks configurations in networks.json #1638
  • Completed the issue Add section for manual setup of squid in SPO guide #1610
  • Worked on the issue Aggregator stress test crashes during signer registration #1676
  • Worked on the issue Prune Cardano transactions stored on signer #1645
  • Worked on the issue ChainObserver supports retrieving the Chain Point of the tip of the chain #1589
  • Worked on the issue Retrieves Cardano blocks with chainsync in pallas PoC #1590
  • Worked on the issue Mithril Signer Local Error Policy : Error 182 - MuxError #1632

· 2 min read
Carlos LopezDeLara

2024-04-27 - 2024-05-13

High level summary

Enhancements to the CLI encompass several noteworthy additions. These include the introduction of a new hardfork initiation command, rendering --prev-governance-action-tx-id optional for create-no-confidence actions, addressing scenarios where the committee is defined in the Conway Genesis file, and refining help texts. Additionally, there have been updates to the description fields in governance action files.

Adjust maximum understood protocol version from 9 to 10 when the experimental hardforks flag is enabled. This allows us to bypass Conway's bootstrap phase in testing

Continued work in testing implementation of CIP1694 with cardano-testnet.

cardano-cli

cardano-api

cardano-node

cardano-testnet

docs

CI & project maintenance

· One min read
Daniel Firth

High-level summary

This week, the Hydra team upgraded the hydra-node networking layer to use a versioned handshake protocol, as well as extensive documentation restructuring and bug fixes to the hydra-tui.

What did the team achieve this week

  • Use versioned hadshake when connecting hydra-nodes.
  • Restructure documentation.
  • Fixed the transaction envelope type parsing in order to be compatible with cardano-cli and update our docs.
  • Show the contestations in the hydra-tui
  • Experiment with removing persistence in the reliability layer and adding custom command to Reset the head state to the last confirmed snapshot

What are the goals of next week

  • Provide aarch64-linux docker images for hydra-node.
  • Release hydra-node 0.17.0
  • Finish new model spec changes related to decommit testing

· 3 min read
Alexey Kuleshevich

High level summary

Some of the most important and final Conway features were implemented since the last report:

  • Bootstrap phase is fully implemented
  • HardForkInitiaztion governance action will now correctly take us into the next era that will follow the Conway era.
  • DRep stake distribution now also includes the amount in the reward account and deposits that were left for the governance proposals.
  • CostModels updates for plutus scripts made more flexible, which will allow us adding new primitives for all plutus versions starting with the Conway era.

As always, besides new features, we also wrote a lot of testing functionality. We now have our first and fully functional conformance test for a GOV rule, with a few more in the works. Many improvements and bugfixes to constraint based generating functionality. Last, but not least, we did a major and long awaited improvement to our CI setup that makes it much easier to spot failing tests and deal with potential flakiness.

Low level summary

Conway

  • pull-4275 - Restrict gov actions during bootstrap
  • pull-4253 - Hardfork Initiation into a new era
  • pull-4273 - DRepDistr: Iterate over the DRep delegations in UMap
  • pull-4309 - Add proposal deposits to DRep active voting stake.
  • pull-4284 - Flexible costmodel params
  • pull-4328 - Disable drep thresholds in bootstrap

Testing

  • pull-4295 - Improve generator in ImpTestsState
  • pull-4292 - constrained-generators: add genHint for maps
  • pull-4298 - constrained-generators: utility function for asserting over a reified value
  • pull-4300 - constrained-generators: hotfix of latest derp...
  • pull-4297 - constrained-generators: Fix ifElse dependencies
  • pull-4301 - constrained-generators: Add monitoring capability to get a handle on test case distribution
  • pull-4315 - constrained-generators: Improve error messages and make the tree generator reasonably sized
  • pull-4317 - constrained-generators: Fix bug in reifies
  • pull-4299 - Fix strange CI failure.
  • pull-4285 - Start Conway Imp tests with an initial committee and constitution
  • pull-4303 - Fix test caused by erroneous merge
  • pull-4310 - Fix OMap.assocList
  • pull-4268 - Enable conformance tests for GOV rule

Infrastructure and releasing

  • pull-4276 - Use a separate job for each test suite in GitHub CI
  • pull-4304 - Ensure the CI complete step fails when tests fail
  • pull-4308 - Add a CI status check to prevent merging PRs that contain merges
  • pull-4305 - Use the correct iohk action for installing Haskell in GitHub CI
  • pull-4322 - Bump jinja2 from 3.1.3 to 3.1.4 in /doc