Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add this week's hydra team update (#176)
- Loading branch information
Showing
1 changed file
with
44 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,44 @@ | ||
--- | ||
title: Hydra Team Update | ||
slug: 2023-06-02-hydra | ||
authors: ffakenz | ||
tags: [hydra] | ||
hide_table_of_contents: false | ||
--- | ||
|
||
## 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](https://github.com/input-output-hk/hydra/issues/897), our fragile monthly report publications on the website and implementing “Option A” for external commits [#215](https://github.com/input-output-hk/hydra/issues/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. | ||
Also, worth to mention that they started interviewing candidates to join our team. | ||
Last but not least, we want to give a big up to @Sebastian for being invited and attending a workshop on formal methods and crypto in Agda! | ||
|
||
|
||
## What did the team achieve this week | ||
|
||
- Continued investigating broken head and opened an issue to keep track [#897](https://github.com/input-output-hk/hydra/issues/897). | ||
|
||
As part of this issue, improvements were made to the node logs: | ||
|
||
+ Give a precise error when a transition requirement fails [#895](https://github.com/input-output-hk/hydra/pull/895). | ||
|
||
+ Reduce duplication for effects logged content by using sequential eventId and effectId pair [#896](https://github.com/input-output-hk/hydra/pull/896). | ||
|
||
- Fixed references in the hydra specification [#893](https://github.com/input-output-hk/hydra/pull/893). | ||
|
||
- Completed external commits with script UTxOs [#215](https://github.com/input-output-hk/hydra/issues/215). | ||
|
||
Have a first end-to-end journey for external commits implementing “Option A” | ||
for script UTxOs [#903](https://github.com/input-output-hk/hydra/pull/903) (still considering “Option B”). | ||
|
||
- Interviews for opening to join the team. | ||
|
||
- 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](https://github.com/input-output-hk/hydra/issues/186). | ||
- Complete journey for external commits implementing “Option A” and start implementing “Option B” [#215](https://github.com/input-output-hk/hydra/issues/215). | ||
- Authenticate network messages [#727](https://github.com/input-output-hk/hydra/issues/727). | ||
- Add hydra as tool to developr platform [#872](https://github.com/input-output-hk/hydra/issues/872). | ||
- Fix monthly report publication on docs website. |