Letzte Nacht habe ich bis ein Uhr morgens in der Dokumentation von OpenGradient gelesen. Als ich die vier Zeichen „异步验证“ („asynchrone Verifizierung“) sah, drückte ich reflexartig Strg+F und gab „验证失败“ („Verifizierung fehlgeschlagen“) ein.
0 Ergebnisse.
Dann versuchte ich es noch mit „failure“, „settlement“ und „rollback“. Nichts davon.
Das Design von HACA ist eigentlich ziemlich clever. Bei herkömmlichen Blockchains müssen alle Validatoren jede Transaktion erneut ausführen. KI-Inferenz ist jedoch teuer und nicht deterministisch – das ist schlicht nicht praktikabel. OpenGradients Lösung besteht darin, Ausführung und Verifizierung zu trennen: Inferenzknoten führen das Modell aus und liefern Ergebnisse in Millisekunden zurück; Full Nodes überprüfen die TEE-Nachweise asynchron. Die Validatoren müssen weder den Prompt noch das Modell kennen. Sie müssen lediglich bestätigen, dass der Code in der Enklave nicht manipuliert wurde.
Genau hier liegt das Problem. In der offiziellen Dokumentation steht ganz klar: Die TEE-Nachweisprüfung bestätigt, dass die „Enklave nicht manipuliert wurde“, nicht, dass das Ergebnis selbst korrekt ist. Ein Inferenzknoten kann das Modell in der TEE also völlig „ordnungsgemäß“ ausführen und trotzdem ein falsches Ergebnis zurückgeben – der Nachweis wird dennoch akzeptiert. Die Dokumentation räumt eine „vorübergehende Vertrauenslücke“ ein, sagt aber mit keinem Wort, wie diese geschlossen werden soll. $OPG
In einem Artikel der Gate Academy steht, dass „bei fehlgeschlagener Verifizierung das Ergebnis abgelehnt oder neu berechnet wird“. Aber wer bezahlt die Neuberechnung? Und wie werden bereits ausgeführte Transaktionen zurückgerollt? In der offiziellen Dokumentation findet sich nicht einmal ein TODO.
Schau dir DeFi an: Bei fehlgeschlagener Verifizierung gibt es Liquidationen und Slashing als Sicherheitsnetz. Bei Optimistic Rollups gibt es eine Challenge-Periode und Fraud Proofs. OpenGradient wirbt mit „erst das Ergebnis, dann die Verifizierung“. Aber wer räumt das Chaos auf? Nach aktuellem Stand müssen die Nutzer selbst dafür geradestehen. #OPG
Die Architektur geht in die richtige Richtung. Aber bevor das ökonomische Modell fürs Mainnet vollständig veröffentlicht und der Umgang mit fehlgeschlagener Verifizierung dokumentiert ist, muss ich erst einmal genau nachrechnen. @OpenGradient
0 Ergebnisse.
Dann versuchte ich es noch mit „failure“, „settlement“ und „rollback“. Nichts davon.
Das Design von HACA ist eigentlich ziemlich clever. Bei herkömmlichen Blockchains müssen alle Validatoren jede Transaktion erneut ausführen. KI-Inferenz ist jedoch teuer und nicht deterministisch – das ist schlicht nicht praktikabel. OpenGradients Lösung besteht darin, Ausführung und Verifizierung zu trennen: Inferenzknoten führen das Modell aus und liefern Ergebnisse in Millisekunden zurück; Full Nodes überprüfen die TEE-Nachweise asynchron. Die Validatoren müssen weder den Prompt noch das Modell kennen. Sie müssen lediglich bestätigen, dass der Code in der Enklave nicht manipuliert wurde.
Genau hier liegt das Problem. In der offiziellen Dokumentation steht ganz klar: Die TEE-Nachweisprüfung bestätigt, dass die „Enklave nicht manipuliert wurde“, nicht, dass das Ergebnis selbst korrekt ist. Ein Inferenzknoten kann das Modell in der TEE also völlig „ordnungsgemäß“ ausführen und trotzdem ein falsches Ergebnis zurückgeben – der Nachweis wird dennoch akzeptiert. Die Dokumentation räumt eine „vorübergehende Vertrauenslücke“ ein, sagt aber mit keinem Wort, wie diese geschlossen werden soll. $OPG
In einem Artikel der Gate Academy steht, dass „bei fehlgeschlagener Verifizierung das Ergebnis abgelehnt oder neu berechnet wird“. Aber wer bezahlt die Neuberechnung? Und wie werden bereits ausgeführte Transaktionen zurückgerollt? In der offiziellen Dokumentation findet sich nicht einmal ein TODO.
Schau dir DeFi an: Bei fehlgeschlagener Verifizierung gibt es Liquidationen und Slashing als Sicherheitsnetz. Bei Optimistic Rollups gibt es eine Challenge-Periode und Fraud Proofs. OpenGradient wirbt mit „erst das Ergebnis, dann die Verifizierung“. Aber wer räumt das Chaos auf? Nach aktuellem Stand müssen die Nutzer selbst dafür geradestehen. #OPG
Die Architektur geht in die richtige Richtung. Aber bevor das ökonomische Modell fürs Mainnet vollständig veröffentlicht und der Umgang mit fehlgeschlagener Verifizierung dokumentiert ist, muss ich erst einmal genau nachrechnen. @OpenGradient