Skip to main content

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team continued their work on the certification of Cardano stake distribution. They completed the implementation of new routes for the aggregator REST API and worked on the verification steps in the client library. The draft CIP for the diffusion of Mithril signatures through the Cardano network is nearly complete. Additionally, they finished benchmarking the signer's footprint for Cardano transactions on the SPO infrastructure.

The team also fixed a bug in the transaction importer that prevented some transactions from being imported near the chain tip and resolved an issue on the documentation website

Low level overview​

  • Completed the issue Benchmark signer footprint on SPO infrastructure #1826
  • Completed the issue Implement routes for Cardano Stake Distribution in aggregator REST API #1841
  • Completed the issue dev-mainnet not signing Cardano transaction after full import #1875
  • Completed the issue Add a trend line showing long-term evolution of Cardano DB restorations #1876
  • Completed the issue Duplicate page on /index.html of website #1867
  • Worked on the issue Implement Cardano Stake Distribution in client library #1842
  • Worked on the issue CIP for Mithril signature diffusion through Cardano network #1775
  • Worked on the issue Test Cardano transaction chain rollbacks #1840

· One min read
Jordan Millar

2024-07-22 - 2024-08-06

High level summary​

cardano-cli​

cardano-api​

cardano-node​

cardano-testnet​

· One min read
Noon van der Silk

High-level summary​

This week we did some refinement and scoping work around the network reliability, finding a specific kind of fault to look for in the first instance. We continued our Hydra Head running on preview, and confirmed that empty decommits pose no real problem. We upgraded to be compatibile with the latest cardano node and hence be able to keep the Head running during the upcoming hardfork. Finally, we added a technical writing style guide, to ensure consistency in all our documentation.

What did the team achieve?​

  • Stable Hydra Head running on the preview network
  • Compability with cardano node 9.1.0 #1531
  • Confirmed empty decommits are not a problem #1534
  • Refined scope of the network reliability work
  • Added a technical writing style guide.

What's next?​

  • Working towards an Agda-based spec
  • Continued work on incremental commits: spec changes and off-chain implementation
  • Implement specific network reliability test as a base to extend from
  • Support Hydra demo at Rare Evo.

· 2 min read
Alexey Kuleshevich

High level summary​

Same as with the prior report we are focusing on testing Conway features and conformance testing. One bug was discovered and fixed as a result of this testing, which would only have affected Conway functionality until after the bootstrap phase is over. We also finished fully defining Conway CDDL specification in Haskell.

Low level summary​

Conway​

  • pull-4516 - Use motionNoConfidence drep thresholds to ratify NoConfidence
  • pull-4503 - Improvements to plutus debug

Testing​

  • pull-4485 - Improvements for GOVCERT conformance test
  • pull-4495 - Update executable ledger spec
  • pull-4494 - Added minitracing over things with ExecSpecRule instances
  • pull-4440 - Implement more tests in Alonzo.Imp.UtxowSpec.Invalid
  • pull-4493 - constrained-generators: some special-case hooks for the prettyprinter
  • pull-4501 - constrained-generators: Add a callback to saturate constraints
  • pull-4483 - constrained-generators: Start on a tutorial / cheat sheet
  • pull-4437 - Test Conway CDDL using Cuddle
  • pull-4506 - Fix PParams and PParamsUpdate field order for conformance tests
  • pull-4510 - Auto-generate Conway CDDL using Cuddle

Infrastructure and releasing​

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team released the new distribution 2430.0 which includes support for Cardano node version 9.1.0. They activated the certification of Cardano transactions in the release-preprod and pre-release-preview networks, and also included bug fixes and performance improvements. The team continued their work on the certification of Cardano stake distribution, activated the certification in the test networks, and started working on implementing new routes for the aggregator REST API..

Finally, the team benchmarked the signer's footprint on the SPO infrastructure, thoroughly tested edge cases for Cardano transaction certification, and continued drafting a CIP for the diffusion of Mithril signatures through the Cardano network.

Low level overview​

  • Released the new distribution 2430.0
  • Publication of a dev blog post about the progressive activation of the certification of Cardano transactions
  • Completed the issue Release 2430 distribution #1830
  • Completed the issue Implement signable and artifacts builders for Cardano Stake Distribution #1832
  • Completed the issue Refactor SlotNumber type #1851
  • Completed the issue Slow import of Cardano transactions in testing-mainnet #1849
  • Completed the issue ChainReader is stuck in Agency is theirs error #1836
  • Completed the issue Make SignedEntityType in RegisterSignatureMessage non optional #1863
  • Completed the issue Upgrade Cardano node 9.1.0 #1855
  • Completed the issue Typos in repository #1862
  • Worked on the issue Benchmark signer footprint on SPO infrastructure #1826
  • Worked on the issue CIP for Mithril signature diffusion through Cardano network #1775
  • Worked on the issue Test Cardano transaction chain rollbacks #1840
  • Worked on the issue Implement routes for Cardano Stake Distribution in aggregator REST API #1841
  • Worked on the issue Duplicate page on /index.html of website #1861