High-level summary
This week, the Hydra team has put their effort on finding solutions on many
different problems, such as our broken head on mainnet
#897, our fragile monthly
report publications on the website and implementing “Option A” for
external commits #215.
Although most of these items are still open, huge progress has been made. To
accelerate the investigation, they improved their logging to give more precise
errors when a transition requirement fails, and to reduce duplication on effets
logged content. Last but not least, the team is exploring formal methods and
attended a workshop on formalizing cryptographic protocols in Agda.
What did the team achieve this week
Continued investigating broken head and opened an issue to keep track #897.
As part of this issue, improvements were made to the node logs:
Fixed references in the hydra specification #893.
Attended a workshop on formal methods and crypto in Agda.
What are the goals of next week
- Investigate and re-open our team-internal head on mainnet.
- Improve and provide regular benchmarks for Hydra #186.
- Complete journey for external commits implementing “Option A” and start implementing “Option B” #215.
- Authenticate network messages #727.
- Add hydra as tool to developr platform #872.
- Fix monthly report publication on docs website.