Axient: Manifest-Bound Evidence for On-Chain Financial Protocols: Seven-Layer Derivation, Correlation, Tamper Rejection, and Reproducible Claim Promotion
Cet article propose une architecture de preuve liée au manifeste pour les protocoles financiers hybrides sur chaîne qui intègre sept couches de preuves corrélées et une règle de promotion conjonctive afin de garantir une preuve de l'assertion financière infalsifiable, reproductible et vérifiable de manière indépendante, distinguant ainsi la preuve observée de l'interprétation et empêchant le recours à de simples correspondances de hachage superficielles.
Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète
Dans le monde de la finance numérique, la confiance n'est pas un sentiment ; c'est une chaîne de preuves. Lorsque l'argent circule à travers un système complexe impliquant des interfaces utilisateur, des serveurs informatiques et des registres blockchain, les gens ont besoin de savoir que l'action qu'ils voient sur leur écran est la même action qui s'est réellement produite sur le réseau. Le problème est que la preuve que nous utilisons habituellement pour démontrer cela est fragile. Une capture d'écran montre ce à quoi ressemblait un écran, mais elle ne prouve pas ce qui l'a provoqué. Un reçu de transaction confirme qu'un ordinateur a enregistré un message, mais il ne prouve pas que le message provient de la bonne personne ou que le logiciel l'exécutant était la version approuvée. Même une suite de codes informatiques correspondants, souvent appelés hachages, peut être trompeuse si tous ont été copiés d'une source unique plutôt que générés indépendamment par différentes parties du système. Sans un moyen de lier chaque étape d'une transaction financière à un enregistrement unique et immuable de ce que le système était censé être, il est impossible de distinguer un succès véritable d'une illusion habile.
Un chercheur a développé une nouvelle façon de construire cette chaîne de confiance, en traitant la preuve non pas comme une collection de documents épars, mais comme un paquet scellé et interconnecté. Ses travaux se concentrent sur les protocols financiers hybrides, qui sont des systèmes combinant l'interaction humaine, les services informatiques traditionnels et la technologie blockchain. Le chercheur a créé une méthode appelée « architecture de preuve liée au manifeste » (manifest-bound evidence architecture). Imaginez ce manifeste comme une enveloppe scellée contenant le plan exact du système au moment où une transaction s'est produite. Ce plan inclut le code informatique spécifique, les rôles des personnes ou des programmes impliqués, ainsi que les règles qu'ils suivaient. En verrouillant ce plan dans la preuve, le chercheur garantit que toute preuve présentée ultérieurement peut être vérifiée par rapport au système exact qui était censé être en cours d'exécution, empêchant ainsi quiconque de remplacer par une autre version du logiciel ou d'utiliser une fausse identité pour présenter un résultat comme valide.
Le cœur de ce nouveau système est une structure à sept couches qui suit un événement financier du début à la fin. Les couches commencent par les attentes initiales et passent par la transaction blockchain réelle, les journaux informatiques qui enregistrent l'événement, les projections de services qui interprètent les données, les interfaces de programmation d'application (API) authentifiées qui délivrent l'information, les vues de navigateur que l'utilisateur voit, et enfin, la reconstruction d'audit qu'un réviseur humain peut lire. Crucialement, chacune de ces couches n'est pas seulement un fichier séparé ; elles sont toutes liées par un code d'identité commun et une dérivation enregistrée. Cela signifie que pour chaque pièce de preuve, le système enregistre exactement comment elle a été créée, quelles entrées elle a utilisées et quelle version spécifique du logiciel l'a produite. Si un chercheur tente de prétendre qu'une capture d'écran de navigateur prouve qu'une transaction a eu lieu, le système vérifie si cette capture d'écran a réellement été générée par le bon navigateur exécutant le bon code, ou s'il s'agit simplement d'une copie d'une image de test.
Pour tester cette idée, le chercheur a mené une étude de cas détaillée impliquant douze scénarios financiers spécifiques. Ces scénarios couvraient un large éventail d'actions, telles que l'admission réussie d'un échange, le rejet d'un mouvement risqué, le règlement d'une dette et la récupération après un crash du système. Dans cette étude, ils ont conservé quatre-vingt-quatre pièces de preuve distinctes, en veillant à ce que chacune soit liée au plan scellé et au code d'identité commun. Ils ont produit deux versions distinctes et propres du paquet de preuves, identiques au dernier octet près, prouvant que le processus pouvait être répété avec une précision parfaite. Un vérificateur distinct, agissant comme un juge indépendant, a accepté l'archive finale, et un replay sélectionné des événements a été lié à cette archive pour montrer que l'histoire pouvait être reconstruite exactement telle qu'elle s'est produite. L'étude a conclu que lorsque toutes ces couches étaient présentes et correctement liées, la preuve formait une chaîne de garde révisable qui ne pouvait être falsifiée par simple copie de données ou réarrangement de fichiers, bien que le chercheur ait noté qu'une porte spécifique requise pour prouver des observations d'exécution indépendantes à travers toutes les couches n'a pas été évaluée dans cette cohorte locale.
Le chercheur a également prouvé que le simple fait d'avoir des codes informatiques correspondants ne suffit pas à prouver qu'un système a fonctionné. Il a démontré que si une seule valeur de test est copiée dans sept fichiers différents, les codes résultants correspondront, mais cela ne vous dit rien sur la capacité du système à effectuer la tâche. Sa méthode exige que chaque couche de preuve soit dérivée de ses propres entrées spécifiques et que l'ensemble du paquet soit reproductible. Il a également introduit des règles strictes pour empêcher le « splicing » (soudage), qui est l'acte de prendre une pièce de preuve d'un test et de la coller dans un autre pour faire une fausse affirmation. Si une pièce de preuve ne correspond pas au plan original ou au code d'identité commun, le système la rejette. Cela garantit que la réclamation finale n'est promue que si chaque porte du processus a été franchie, et qu'aucun échec unique ne peut être caché par le succès d'une autre partie.
L'une des conclusions les plus significatives de ce travail est la distinction entre ce qui a été observé, ce qui a été reconstruit et ce qui n'est qu'une hypothèse. Le chercheur a montré que si un reçu prouve qu'une transaction a été minée, il ne prouve pas que l'utilisateur l'a intentionnée. Si une capture d'écran prouve que des pixels ont été affichés, elle ne prouve pas la source des données. En liant toutes les preuves à un manifeste scellé et en exigeant une révision indépendante, le système crée une frontière claire entre ce qui s'est réellement passé et ce que quelqu'un prétend s'être passé. Cette approche ne résout pas tous les problèmes en finance ; elle ne peut pas prouver qu'un service tiers est honnête ou qu'un contrat intelligent ne contient pas de bugs cachés. Cependant, elle fournit un moyen rigoureux et reproductible de vérifier qu'un ensemble spécifique d'actions s'est produit au sein d'un système spécifique et connu. Le résultat est une méthode disciplinée pour transformer une collection d'artefacts numériques en un récit unique et digne de confiance d'un événement financier, garantissant que la preuve correspond à la promesse.
Noyé(e) sous les articles dans votre domaine ?
Recevez des digests quotidiens des articles les plus récents correspondant à vos mots-clés de recherche — avec des résumés techniques, dans votre langue.