Axient: Manifest-Bound Evidence for On-Chain Financial Protocols: Seven-Layer Derivation, Correlation, Tamper Rejection, and Reproducible Claim Promotion
Dieses Paper schlägt eine an Manifeste gebundene Evidenzarchitektur für hybride On-Chain-Finanzprotokolle vor, die sieben korrelierte Evidenzschichten und eine konjunktive Promotionsregel integriert, um einen manipulationsresistenten, reproduzierbaren und unabhängig verifizierbaren Nachweis finanzieller Behauptungen zu gewährleisten, wodurch beobachtete Evidenz von der Interpretation unterschieden und die Abhängigkeit von oberflächlichen Hash-Übereinstimmungen verhindert wird.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
In der Welt der digitalen Finanzen ist Vertrauen kein Gefühl; es ist eine Kette aus Beweisen. Wenn sich Geld durch ein komplexes System bewegt, das Benutzerschnittstellen, Computerserver und Blockchain-Ledger umfasst, müssen die Menschen wissen, dass die Aktion, die sie auf ihrem Bildschirm sahen, dieselbe Aktion ist, die tatsächlich im Netzwerk stattgefunden hat. Das Problem ist, dass die Beweise, die wir normalerweise verwenden, um dies zu belegen, fragil sind. Ein Screenshot zeigt, wie ein Bildschirm aussah, aber er beweist nicht, was ihn verursacht hat. Ein Transaktionsbeleg bestätigt, dass ein Computer eine Nachricht aufgezeichnet hat, aber er beweist nicht, dass die Nachricht von der richtigen Person kam oder dass die Software, die sie ausführte, die genehmigte Version war. Selbst eine Folge übereinstimmender Computercodes, die oft als Hashes bezeichnet werden, kann irreführend sein, wenn sie alle von einer einzigen Quelle kopiert wurden, anstatt unabhängig von verschiedenen Teilen des Systems generiert worden zu sein. Ohne eine Möglichkeit, jeden Schritt einer Finanztransaktion an einen einzigen, unveränderlichen Datensatz dessen zu binden, was das System hätte tun sollen, ist es unmöglich, zwischen einem echten Erfolg und einer geschickten Illusion zu unterscheiden.
Ein Forscher hat einen neuen Weg entwickelt, um diese Vertrauenskette aufzubauen, indem er Beweise nicht als eine Sammlung loser Dokumente behandelt, sondern als ein versiegeltes, miteinander verbundenes Paket. Seine Arbeit konzentriert sich auf hybride Finanzprotokolle, also Systeme, die menschliche Interaktion, traditionelle Computerdienste und Blockchain-Technologie kombinieren. Der Forscher entwickelte eine Methode namens „Manifest-gebundene Evidenz-Architektur“. Stellen Sie sich dieses Manifest als einen versiegelten Umschlag vor, der den exakten Bauplan des Systems zum Zeitpunkt einer Transaktion enthält. Dieser Bauplan umfasst den spezifischen Computercode, die Rollen der beteiligten Menschen oder Programme und die Regeln, denen sie folgten. Indem er diesen Bauplan in den Beweis einschließt, stellt der Forscher sicher, dass jeder später vorgelegte Beweis gegen das exakte System geprüft werden kann, das eigentlich hätte laufen sollen, wodurch verhindert wird, dass jemand eine andere Softwareversion einschleust oder eine gefälschte Identität verwendet, um ein Ergebnis als echt auszugehen zu lassen.
Der Kern dieses neuen Systems ist eine siebenstufige Struktur, die ein Finanzereignis vom Anfang bis zum Ende verfolgt. Die Schichten beginnen mit den ursprünglichen Erwartungen und bewegen sich durch die eigentliche Blockchain-Transaktion, die Computerprotokolle, die das Ereignis aufzeichnen, die Service-Projektionen, die die Daten interpretieren, die authentifizierten Programmierschnittstellen (APIs), die die Informationen liefern, die Browser-Ansichten, die ein Benutzer sieht, und schließlich die Audit-Rekonstruktion, die ein menschlicher Prüfer lesen kann. Entscheidend ist, dass jede dieser Schichten nicht nur eine separate Datei ist; sie sind alle durch einen gemeinsamen Identitätscode und eine registrierte Ableitung miteinander verknüpft. Das bedeutet, dass das System für jedes Stück Beweis genau aufzeichnet, wie es erstellt wurde, welche Eingaben es verwendete und welche spezifische Version der Software es produziert hat. Wenn ein Forscher behauptet, ein Browser-Screenshot beweise, dass eine Transaktion stattgefunden hat, prüft das System, ob dieser Screenshot tatsächlich von dem korrekten Browser mit dem korrekten Code generiert wurde oder ob es sich nur um eine Kopie eines Testbildes handelt.
Um diese Idee zu testen, führte der Forscher eine detaillierte Fallstudie mit zwölf spezifischen Finanzszenarien durch. Diese Szenarien deckten ein breites Spektrum an Aktionen ab, wie etwa die erfolgreiche Annahme eines Handels, die Ablehnung einer riskanten Bewegung, die Begleichung einer Schuld und die Wiederherstellung nach einem Systemabsturz. In dieser Studie behielt er vierundachtzig verschiedene Beweisstücke bei und stellte sicher, dass jedes einzelne an den versiegelten Bauplan und den gemeinsamen Identitätscode gebunden war. Er erstellte zwei separate, saubere Versionen des Bewispakets, die bis auf das letzte Byte identisch waren, was bewies, dass der Prozess mit perfekter Präzision reproduzierbar ist. Ein separater Verifizierer, der als unabhängiger Richter fungierte, akzeptierte das endgültige Archiv, und ein ausgewählter Replay der Ereignisse wurde an dieses Archiv gebunden, um zu zeigen, dass die Historie exakt so rekonstruiert werden konnte, wie sie geschehen war. Die Studie ergab, dass, wenn alle diese Schichten vorhanden und korrekt verknüpft waren, die Beweise eine überprüfbare Kette der Verwahrung bildeten, die nicht durch einfaches Kopieren von Daten oder Umstellen von Dateien gefälscht werden konnte, obwohl der Forscher anmerkte, dass ein spezifisches Gate, das erforderlich ist, um unabhängige Laufzeitbeobachtungen über alle Schichten hinweg zu beweisen, in dieser lokalen Kohorte nicht evaluiert wurde.
Der Forscher bewies auch, dass das bloße Vorhandensein übereinstimmender Computercodes nicht ausreicht, um zu beweisen, dass ein System funktioniert hat. Er demonstrierte, dass, wenn ein einzener Testwert in sieben verschiedene Dateien kopiert wird, die resultierenden Codes zwar übereinstimmen, dies aber nichts darüber aussagt, ob das System die Aufgabe tatsächlich ausgeführt hat. Seine Methode erfordert, dass jede Ebene des Beweises von ihren eigenen spezifischen Eingaben abgeleitet wird und dass das gesamte Paket reproduzierbar ist. Er führte zudem strenge Regeln ein, um „Splicing“ zu verhindern, also den Akt, ein Stück Beweis aus einem Testlauf zu nehmen und in einen anderen einzufügen, um eine falsche Behauptung aufzustellen. Wenn ein Beweisstück nicht mit dem ursprünglichen Bauplan oder dem gemeinsamen Identitätscode übereinstimmt, lehnt das System es ab. Dies stellt sicher, dass der endgültige Anspruch nur dann erhoben werden kann, wenn jedes einzelne Gate im Prozess passiert wurde und kein einzelner Fehler durch den Erfolg eines anderen Teils verborgen werden kann.
Eine der bedeutendsten Erkenntnisse dieser Arbeit ist die Unterscheidung zwischen dem, was beobachtet wurde, dem, was rekonstruiert wurde, und dem, was lediglich eine Hypothese ist. Der Forscher zeigte, dass ein Beleg zwar beweist, dass eine Transaktion gemined wurde, aber nicht beweist, dass der Benutzer dies beabsichtigte. Während ein Screenshot beweist, dass Pixel angezeigt wurden, beweist er nicht die Datenquelle. Durch die Bindung aller Beweise an ein versiegeltes Manifest und die Anforderung einer unabhängigen Überprüfung schafft das System eine klare Grenze zwischen dem, was tatsächlich geschah, und dem, was jemand behauptet. Dieser Ansatz löst nicht alle Probleme in der Finanzwelt; er kann nicht beweisen, dass ein Drittanbieter ehrlich ist oder dass ein Smart Contract keine versteckten Bugs hat. Er bietet jedoch eine rigorose, reproduzierbare Methode, um zu verifizieren, dass eine spezifische Menge an Aktionen innerhalb eines spezifischen, bekannten Systems stattgefunden hat. Das Ergebnis ist eine disziplinierte Methode, um eine Sammlung digitaler Artefakte in eine einzige, vertrauenswürdige Geschichte eines Finanzereignisses zu verwandeln und sicherzustellen, dass der Beweis dem Versprechen entspricht.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.