@IOGroupの今週の開発レポートによると、Hydraプロトコルが仕様をAgdaで形式化したほか、Cardano node v.11.1.0のベンチマークが実施され、パッチリリースが進行中です。また、IO Researchはデータ可用性に関するワークショップを開催しています。詳細は公開されたレポートで確認できます。
In this week’s development report: Hydra formalizes its specification in Agda, Cardano node v.11.1.0 benchmarked with a patch release in progress, and IO Research holds its data availability workshop. Click below to catch up with the latest. 👇 https://t.co/JtGFuYC4E5
@IOGroup
一次ソース: https://x.com/IOGroup/status/2095809421184012547
本記事は一次情報にもとづく初期報です。詳細な解説は続報で扱います。