Axient: Manifest-Bound Evidence for On-Chain Financial Protocols: Seven-Layer Derivation, Correlation, Tamper Rejection, and Reproducible Claim Promotion
Dit artikel stelt een manifest-gebonden bewijsarchitectuur voor voor hybride on-chain financiële protocollen die zeven gecorreleerde bewijslagen en een conjunctieve promotieregel integreert om een onge รวมถึงerbaar, reproduceerbaar en onafhankelijk verifieerbaar bewijs van financiële beweringen te garanderen, waardoor geobserveerd bewijs wordt onderscheiden van interpretatie en afhankelijkheid van oppervlakkige hash-matches wordt voorkomen.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
In de wereld van digitale financiën is vertrouwen geen gevoel; het is een keten van bewijs. Wanneer geld beweegt door een complex systeem dat bestaat uit gebruikersinterfaces, computerservers en blockchain-ledgers, moeten mensen weten dat de actie die ze op hun scherm zien, dezelfde actie is die daadwerkelijk op het netwerk heeft plaatsgevonden. Het probleem is dat het bewijs dat we gewoonlijk gebruiken om dit te bewijzen, fragiel is. Een screenshot laat zien hoe een scherm eruitzag, maar bewijst niet wat het veroorzaakte. Een transactiebewijs bevestigt dat een computer een bericht heeft geregistreerd, maar het bewijst niet dat het bericht van de juiste persoon kwam of dat de software die het uitvoerde de goedgekeurde versie was. Zelfs een reeks overeenkomende computercodes, vaak hashes genoemd, kan misleidend zijn als ze allemaal van een enkele bron zijn gekopieerd in plaats van onafhankelijk door verschillende delen van het systeem zijn gegenereerd. Zonder een manier om elke stap van een financiële transactie te koppelen aan één onveranderlijk verslag van wat het systeem had moeten zijn, is het onmogelijk om een oprecht succes te onderscheiden van een slimme illusie.
Een onderzoeker heeft een nieuwe manier ontwikkeld om deze vertrouwensketen op te bouwen, waarbij bewijs niet wordt behandeld als een verzameling losse documenten, maar als een verzegelde, onderling verbonden pakket. Hun werk richt zich op hybride financiële protocollen, systemen die menselijke interactie, traditionele computerdiensten en blockchain-technologie combineren. De onderzoeker creëerde een methode genaamd een "manifest-gebonden bewijsarchitectuur". Denk aan dit manifest als een verzegelde envelop die de exacte blauwdruk bevat van het systeem op het moment dat een transactie plaatsvond. Deze blauwdruk omvat de specifieke computercode, de rollen van de betrokken mensen of programma's en de regels die zij volgden. Door deze blauwdruk in het bewijs te vergrendelen, zorgt de onderzoeker ervoor dat elk gepresenteerd bewijs later kan worden gecontroleerd tegen het exacte systeem dat zou moeten draaien, waardoor voorkomen wordt dat iemand een andere versie van de software vervangt of een vals identiteitsbewijs gebruikt om een resultaat te presenteren.
De kern van dit nieuwe systeem is een zevenlaagse structuur die een financiële gebeurtenis van begin tot eind volgt. De lagen beginnen bij de initiële verwachtingen en bewegen door de feitelijke blockchain-transactie, de computerlogs die de gebeurtenis registreren, de serviceprojecties die de gegevens interpreteren, de geauthenticeerde programmeerinterfaces (API's) die de informatie leveren, de browserweergaven die een gebruiker ziet, en uiteindelijk de audit-reconstructie die een menselijke beoordelaar kan lezen. Cruciaal is dat deze lagen niet slechts afzonderlijke bestanden zijn; ze zijn allemaal verbonden door een gemeenschappelijke identiteitscode en een geregistreerde afleiding. Dit betekent dat voor elk stuk bewijs het systeem precies vastlegt hoe het is gecreëerd, welke inputs het gebruikte en welke specifieke versie van de software het heeft geproduceerd. Als een onderzoeker probeert te beweren dat een screenshot van een browser bewijst dat een transactie heeft plaatsgevonden, controleert het systeem of die screenshot daadwerkelijk is gegenereerd door de juiste browser die de juiste code draaide, of dat het slechts een kopie van een testafbeelding was.
Om dit idee te testen, voerde de onderzoeker een gedetailleerde casestudy uit met twaalf specifieke financiële scenario's. Deze scenario's dekten een breed scala aan acties, zoals het succesvol toestaan van een handel, het afwijzen van een risicovolle beweging, het vereffenen van een schuld en het herstellen van een systeemcrash. In deze studie behielden zij vierentachtig afzonderlijke stukken bewijs, waarbij elk stuk aan de verzegelde blauwdruk en de gemeenschappelijke identiteitscode werd gekoppeld. Zij produceerden twee afzonderlijke, zuivere versies van het bewizspakket die identiek waren tot op de laatste byte, wat bewees dat het proces met perfecte precisie kon worden herhaald. Een aparte verifieerder, optredend als een onafhankelijke rechter, accepteerde het definitieve archief, en een geselecteerde replay van de gebeurtenissen werd aan dat archief gekoppeld om aan te tonen dat de geschiedenis exact kon worden gereconstrueerd zoals deze plaatsvond. De studie vond dat wanneer al deze lagen aanwezig en correct verbonden waren, het bewijs een controleerbare keten van bewaring vormde die niet vervalst kon worden door simpelweg gegevens te kopiëren of bestanden te herschikken, hoewel de onderzoeker opmerkte dat een specifieke poort die vereist is om onafhankelijke runtime-observaties over alle lagen te bewijzen, niet werd geëvalueerd in deze lokale cohort.
De onderzoeker bewees ook dat het simpelweg hebben van overeenkomende computercodes niet genoeg is om te bewijzen dat een systeem werkte. Zij demonstreerden dat als een enkele testwaarde in zeven verschillende bestanden wordt gekopieerd, de resulterende codes weliswaar overeenkomen, maar dat dit niets zegt over de vraag of het systeem de taak daadwerkelijk heeft uitgevoerd. Hun methode vereist dat elk laag van bewijs wordt afgeleid van zijn eigen specifieke inputs en dat het volledige pakket reproduceerbaar is. Zij introduceerden ook strikte regels om "splicing" te voorkomen, wat de handeling is van het nemen van een stuk bewijs uit één testronde en het plakken ervan in een andere om een valse claim te maken. Als een stuk bewijs niet overeenkomt met de oorspronkelijke blauwdruk of de gemeenschappelijke identiteitscode, wijst het systeem dit af. Dit zorgt ervoor dat de uiteindelijke claim alleen wordt gepromoveerd als elke poort in het proces is gepasseerd, en dat een enkele fout niet verborgen kan worden door het succes van een ander deel.
Een van de meest significante bevindingen van dit werk is het onderscheid tussen wat is waargenomen, wat is gereconstrueerd en wat louter een hypothese is. De onderzoeker toonde aan dat terwijl een bonnetje bewijst dat een transactie is gemined, het niet bewijst dat de gebruiker dit de bedoeling had. Terwijl een screenshot bewijst dat pixels werden weergegeven, bewijst het niet de gegevensbron. Door al het bewijs te binden aan een verzegeld manifest en een onafhankelijke beoordeling te vereisen, creëert het systeem een duidelijke grens tussen wat er werkelijk is gebeurd en wat iemand beweert dat er is gebeurd. Deze aanpak lost niet alle problemen in de financiële wereld op; het kan niet bewijzen dat een externe dienst eerlijk is of dat een smart contract geen verborgen bugs heeft. Het biedt echter een rigoureuze, reproduceerbare manier om te verifiëren dat een specifieke reeks acties heeft plaatsgevonden binnen een specifiek, bekend systeem. Het resultaat is een gedisciplineerde methode om een verzameling digitale artefacten om te vormen tot één, betrouwbaar verhaal van een financiële gebeurtenis, waarbij wordt gewaarborgd dat het bewijs overeenkomt met de belofte.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.