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