ich habe mir etwas Zeit genommen, um darüber nachzudenken, warum Bitcoin so viel kryptografische Maschinerie braucht, nur um zu prüfen, ob ein Darlehen zurückgezahlt wurde.
Bittcoins Skript-Sprache war nie dafür gebaut, beliebige Vertragslogik auszuwerten, also kann TBV nicht einfach die Kette bitten, eine Rückzahlungsbedingung direkt zu verifizieren. stattdessen wird die Logik off-chain als ein verschlüsselter/"verblindeter" Schaltkreis (garbled circuit) berechnet, und Bitcoin bestätigt einzig und allein, ob ein kurzer Beweis über diese Berechnung gültig war oder nicht.
das ist ein Workaround, keine native Funktion.
Der Verblindungsprozess verbirgt die eigentliche Berechnung vollständig vor Bitcoin, was bedeutet, dass die Kette ein Ergebnis durchsetzt, das sie in erster Linie nie wirklich verstanden hat.
Anfangs kam mir das seltsam vor, das so zu akzeptieren.
Aber Cut-and-Choose-Techniken machen es statistisch teuer, den Schaltkreis unentdeckt zu fälschen, ohne dass Bitcoin irgendetwas von der zugrunde liegenden Logik selbst interpretieren muss.
Damit verschiebt sich das Vertrauen vom Lesen des Vertrags hin zum Vertrauen in die Konstruktionsmethode dahinter.
Das ist eine deutlich andere Art von Annahme als die, die die meisten DeFi-Nutzer sonst gewohnt sind.
Außerdem bedeutet das, dass ein Audit von TBV nicht so abläuft wie das Prüfen eines normalen Smart Contracts.
Eine völlig andere Fähigkeit.
Die Verifikation der Korrektheit erfordert hier, kryptografisches Protokolldesign zu verstehen, nicht nur Solidity zu lesen oder Bitcoin-Skriptzeile für Zeile zu prüfen.
Und führt das Verbergen der Logik, um Bitcoin damit kompatibel zu machen, am Ende dazu, dass das System schwieriger tatsächlich zu verifizieren ist?
@BabylonLabs_io
#baby $BABY
Bittcoins Skript-Sprache war nie dafür gebaut, beliebige Vertragslogik auszuwerten, also kann TBV nicht einfach die Kette bitten, eine Rückzahlungsbedingung direkt zu verifizieren. stattdessen wird die Logik off-chain als ein verschlüsselter/"verblindeter" Schaltkreis (garbled circuit) berechnet, und Bitcoin bestätigt einzig und allein, ob ein kurzer Beweis über diese Berechnung gültig war oder nicht.
das ist ein Workaround, keine native Funktion.
Der Verblindungsprozess verbirgt die eigentliche Berechnung vollständig vor Bitcoin, was bedeutet, dass die Kette ein Ergebnis durchsetzt, das sie in erster Linie nie wirklich verstanden hat.
Anfangs kam mir das seltsam vor, das so zu akzeptieren.
Aber Cut-and-Choose-Techniken machen es statistisch teuer, den Schaltkreis unentdeckt zu fälschen, ohne dass Bitcoin irgendetwas von der zugrunde liegenden Logik selbst interpretieren muss.
Damit verschiebt sich das Vertrauen vom Lesen des Vertrags hin zum Vertrauen in die Konstruktionsmethode dahinter.
Das ist eine deutlich andere Art von Annahme als die, die die meisten DeFi-Nutzer sonst gewohnt sind.
Außerdem bedeutet das, dass ein Audit von TBV nicht so abläuft wie das Prüfen eines normalen Smart Contracts.
Eine völlig andere Fähigkeit.
Die Verifikation der Korrektheit erfordert hier, kryptografisches Protokolldesign zu verstehen, nicht nur Solidity zu lesen oder Bitcoin-Skriptzeile für Zeile zu prüfen.
Und führt das Verbergen der Logik, um Bitcoin damit kompatibel zu machen, am Ende dazu, dass das System schwieriger tatsächlich zu verifizieren ist?
@BabylonLabs_io
#baby $BABY