High-level summary​

We made good progress on some bugfixes; alongside moving the spec into a repo where we can transition to more Agda. We made some minor improvements to our tests, and spent a bit of time thinking about the details of the implementation of incremental commits and the blockfrost chain layer idea. We will continue on wrapping up the bugs, and preparing for Rare Evo with our new landing page.

What did the team achieve?​

• Fixing bug around transactions during a decommit #1540
• Updated the incremental commit spec #1484
• Use Agda-enhanced spec as the one on hydra.family #3
• Update dependency to use cardano-api 9.1 #42
• Add some checks around era changes in tests #1546
• Re-thinking incremental commit details #199
• Further refinement of the blockfrost chain layer idea #1305

What's next?​

• Merge bugfix for unclosable head in Conway on preview #1545
• Publish new landing page #1549
• Continue network reliability work
• Support Hydra demo at Rare Evo.

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

2024-07-22 - 2024-08-06

High level summary​

• Cardano-node 9.1.0 release summary

cardano-cli​

• Release cardano-cli-9.2.1.0
• Release cardano-cli-9.2.0.0
• Use IsList(toList,fromList) instead of specialised functions
• Fix invalid sync percentage display in query tip
• Add "query treasury" command
• Plutus V3 script updates

cardano-api​

• Release cardano-api-9.1.0.0
• Remove CPP extension from Cardano.Api.Fees. Use IsList(toList,fromList) instead of specialised functions.
• Make it build with ghc-9.10
• Expose querySPOStakeDistribution query
• Modify TxCertificates allow multiple script witnesses for a single stake credential

cardano-node​

• Cardano-node 9.1.0 release
• Make Plutus v2 cost model decoding era dependent
• New tracing system: actually trace GSM events

cardano-testnet​

• cardano-testnet | Add cardano-cli query treasury check in treasury growth test
• Make Plutus v2 cost model decoding era dependent
• [cardano-testnet] Fix flaky test workspace cleanup and node port allocation

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.

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​

• pull-4498 - Update haskellNix and hls
• pull-4489 - Make better use of the GHA cache
• pull-4500 - Update Plutus deps: 1.31
• pull-4451 - Make it build with ghc-9.10
• pull-4512 - Upgrade to ghc966 and other deps
• pull-4515 - Update formal-ledger-specifications SRP note