Tankstelle beim Tanken, der Fahrer des Taxis vor mir beschwert sich beim Bezahlen, dass jetzt jede Gaspedalbewegung, jeder Kilometer ins System eingeht und die Firma jederzeit nachschauen kann. Er seufzt und sagt, dass es heutzutage so ist, dass man mit einem Buch läuft, wenn man fährt. Ich schaue gerade auf die technischen Dokumente von @OpenGradient und sehe den Abschnitt über Inference DA. Jedes Mal, wenn KI inference macht, werden ZK-Quittungen, TEE-Bewertungen und optimistische Challenge-Hashes direkt in den Block selbst geschrieben. Mit meinem Handy kann ich als leichter Client einfach einen Block-Header nehmen und den Validator neu laufen lassen.
Als ich das zum ersten Mal sah, habe ich einfach weiter gewischt; der DA-Sektor hat sich bereits zu einem roten Ozean entwickelt, mit Celestia, EigenDA, Avail und einer Menge anderer. Bis ich mich bei OpenGradient in das Design vertieft habe und merkte, dass der Ansatz anders ist. Andere DA-Projekte sichern die Verfügbarkeit von Transaktionsdaten, OpenGradient hingegen gewährleistet die Auditierbarkeit des Inferenzprozesses. Das Hauptbuch schützt nicht nur deine Coins, sondern auch den Rechenprozess selbst. $SLX
Klingt ziemlich hardcore, oder? Aber jedes Mal muss bei der Inferenz die ZK-Quittung, die TEE-Bewertung und der Challenge-Hash in den Block gepackt werden. Wird das Volumen des Blocks dadurch nicht um einen Größenordnungsfaktor erhöht? Wird die Zeit, die neue Knoten brauchen, um Blöcke zu synchronisieren, nicht exponentiell steigen? In den OpenGradient-Dokumenten steht, dass leichte Clients nur den Block-Header zur Verifizierung benötigen, vorausgesetzt, der Code des Validators hat eine formale Prüfung durchlaufen. Wenn der Validator einen Bug hat, ist es egal, wie viele Beweise geschrieben werden, das ist Selbstbetrug. Der optimistische Challenge-Mechanismus bedeutet auch, dass die Inferenzresultate während des Challenge-Fensters nicht als endgültige Bestätigung zählen können. DeFi-Verträge müssen warten, bis die Challenge-Periode vorbei ist, bevor sie die Ausgaben von OpenGradient für strategische Trigger verwenden? Wenn die Challenge-Periode kurz ist, wird die Sicherheit verringert, und wenn sie lang ist, leidet die Echtzeitfähigkeit. Wer trägt die Verantwortung? $BEAT
Nächste Woche werde ich zuerst den Testnet-Explorer von OpenGradient besuchen, um die tatsächlichen Volumen-Kurven einiger Blöcke zu überprüfen und zu sehen, wie die Inferenz die Blockzeit beeinflusst. Danach schaue ich auf GitHub die Audit-Berichte des Inference DA-Moduls und der Challenge-Verträge an. Designs von DA, die keine Audits offenlegen, sind PPT-Sicherheit.
Der Taxifahrer hat das Fahrzeug gestartet, das Gaspedal-Protokoll springt weiterhin auf dem Armaturenbrett herum.
#opg $OPG