Hydra behebt Sicherheitslücke in Cardano Layer 2

Eine kritische Sicherheitslücke in Hydra wurde behoben, nachdem Forschende einen Fehler in der Transaktionsverarbeitung während der Snapshot Bestätigung identifizierten. Das Problem betraf Hydra Knoten Versionen bis einschließlich 2.4.0 und wurde laut einer am 2. September veröffentlichten Sicherheitsmitteilung in Version 2.4.1 behoben.

Hydra ist Cardanos Layer 2 Skalierungsprotokoll, das dafür ausgelegt ist, Transaktionen mit geringer Latenz außerhalb der Kette zu verarbeiten, bevor der resultierende Zustand auf der Cardano Hauptkette abgewickelt wird.

Die Sicherheitslücke betraf Transaktionen in Hydra Head

Ein Hydra Head ist eine Off Chain Umgebung, in der Teilnehmer Cardano UTxOs einbringen und Transaktionen verarbeiten, ohne jede Operation direkt auf Layer 1 zu protokollieren.

Die Sicherheitslücke erlaubte es, dass eine ungültige Transaktion in Hydras internen Transaktionssatz gelangte, bevor der erforderliche Validierungsprozess abgeschlossen war.

Unter bestimmten Bedingungen konnte diese Transaktion später während der Snapshot Verarbeitung erneut angewendet werden, wobei einige Signatur und Plutus Prüfungen übersprungen wurden. Ein böswilliger Teilnehmer konnte dadurch ehrliche Knoten veranlassen, einen Snapshot zu signieren, der die Gelder eines anderen Teilnehmers neu zuwies.

Die Mitteilung stuft die Sicherheitslücke als kritisch ein.

Der Hydra Patch ändert die Transaktionsvalidierung

Der Patch ändert, wie Hydra Transaktionen zur späteren Verarbeitung speichert.

Transaktionen werden nun erst nach erfolgreicher Validierung beibehalten, sodass eine ungültige Transaktion den betroffenen Snapshot Pfad nicht mehr erreichen kann.

Hydra Versionen bis einschließlich 2.4.0 gelten als verwundbar, während Version 2.4.1 die Korrektur enthält.

Der Angriff erfordert die Teilnahme innerhalb des betroffenen Hydra Heads. Er stellt keinen Kompromiss des Layer 1 Konsenses von Cardano dar und ermöglicht einem externen Angreifer nicht, direkt die Kontrolle über das Cardano Netzwerk zu übernehmen.

Die Sicherheitsmitteilung beschreibt den potenziellen Angriff und dessen Behebung, meldet jedoch keinen bestätigten Diebstahl in der Produktion infolge der Sicherheitslücke.

Hydra erweitert Verifikation und Tests

Die Offenlegung erfolgt, während die Entwicklung von Hydra bei formaler Spezifikation, Tests und betrieblichen Werkzeugen fortschreitet.

Cardanos Entwicklungsbericht vom 4. September stellt fest, dass die Hydra Spezifikation in Agda formalisiert wird und dass das Team differenzielle Tests zwischen dem Hydra Knoten und seinem Validator hinzugefügt hat, zusammen mit einer maschinell geprüften Referenz.

Das Update umfasst außerdem Arbeiten an der Skriptintegrität, der Handhabung von UTxO Werten, der Konsistenz von Benchmarks und erweiterten Property Tests, während native Linux ARM64 Hydra Knoten Images neben der AMD64 Unterstützung hinzugefügt wurden.

Der Bericht benennt diese Entwicklungsänderungen nicht als direkte Reaktionen auf die Sicherheitsmitteilung.

Die Architektur von Hydra hängt davon ab, dass Teilnehmer innerhalb eines Off Chain Heads Transaktionen durchführen können und später einen vereinbarten Zustand wieder auf Cardano abzuwickeln. Die gepatchte Version entfernt den identifizierten Transaktionspfad, indem sichergestellt wird, dass nur erfolgreich validierte Transaktionen in den Snapshot Prozess gelangen können.