$ADA ノード v.11.1.0 のベンチマーク実施済み。 Hydra の Agda 証明は仕様をサポートしており、 ノードのベンチマークは継続中です。 パッチリリースのリリース準備には、ベンチマークと証明が必要です。 本番環境対応は完了していません。