Axient: Manifest-Bound Evidence for On-Chain Financial Protocols: Seven-Layer Derivation, Correlation, Tamper Rejection, and Reproducible Claim Promotion
本論文は、観測された証拠と解釈を区別し、表面的なハッシュ一致への依存を防ぐために、7つの相関する証拠レイヤーと連言的な昇格ルールを統合することで、金融上の主張に対する改ざん耐性、再現性、および独立検証可能な証明を保証する、ハイブリッド・オンチェーン金融プロトコルのためのマニフェスト拘束型エビデンス・アーキテクチャを提案する。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
デジタル金融の世界において、信頼とは単なる感情ではなく、証明の連鎖である。ユーザーインターフェース、コンピュータサーバー、そしてブロックチェーンの台帳が絡み合う複雑なシステムを通じてお金が移動するとき、人々は、自分の画面上で見たアクションが、実際にネットワーク上で起きたアクションと同じものであることを知る必要がある。問題は、このことを証明するために通常使われる証拠が脆弱であることだ。スクリーンショットは画面がどのように見えていたかを示すが、何がそれを引き起こしたかを証明するものではない。取引明細書はコンピュータがメッセージを記録したことを確認するが、そのメッセージが正しい人物から来たのか、あるいは実行されているソフトウェアが承認されたバージョンであるかを証明するものではない。たとえ、一致する一連のコンピュータコード（ハッシュと呼ばれることが多い）があったとしても、それらがシステムの異なる部分によって独立して生成されたのではなく、単一のソースからコピーされたものである場合、誤解を招く可能性がある。金融取引のあらゆるステップを、システムが本来あるべき姿を示す不変の記録に結びつける方法がなければ、真の成功と巧妙なイリュージョンを区別することは不可能である。
ある研究者が、証拠をバラバラの文書の集まりとしてではなく、封印された相互接続されたパッケージとして扱うことで、この信頼の連鎖を構築する新しい方法を開発した。彼らの研究は、人間の相互作用、伝統的なコンピュータサービス、そしてブロックチェーン技術を組み合わせたシステムであるハイブリッド金融プロトコルに焦点を当てている。研究者は「マニフェスト結合型エビデンス・アーキテクチャ」と呼ばれる手法を考案した。このマニフェストを、トランザクションが発生した瞬間のシステムの正確な設計図を含む、封印された封筒だと考えてほしい。この設計図には、特定のコンピュータコード、関与した人間やプログラムの役割、そして彼らが従っていたルールが含まれている。この設計図を証拠の中にロックすることで、研究者は、後に提示されるいかなる証明も、実行されるはずであった正確なシステムに対して検証可能であることを保証し、誰かが異なるバージョンのソフトウェアを入れ替えたり、偽のアイデンティティを使用して結果を偽ったりすることを防いでいる。
この新しいシステムの核心は、金融イベントを最初から最後まで追跡する7つのレイヤー構造である。レイヤーは、初期の期待値から始まり、実際のブロックチェーン・トランザクション、イベントを記録するコンピュータログ、データを解釈するサービス・プロジェクション、情報を届ける認証済みAPI、ユーザーが見るブラウザ表示、そして最後に、人間がレビュー可能な監査再構成へと進む。決定的なのは、これらのレイヤーは単なる別々のファイルではなく、共通の識別コードと登録された派生によってすべて連結されていることである。つまり、あらゆる証拠について、システムはそれがどのように作成されたか、どのような入力を使用したか、そしてどの特定のバージョンのソフトウェアがそれを生成したかを正確に記録する。もし研究者が、ブラウザのスクリーンショットがトランザクションの発生を証明すると主張しようとした場合、システムはそのスクリーンショットが実際に正しいコードを実行している正しいブラウザによって生成されたものか、それとも単なるテスト用画像のコピーであるかをチェックする。
このアイデアをテストするために、研究者は12の具体的な金融シナリオを含む詳細なケーススタディを実施した。これらのシナリオは、トレードの受理、リスクのある動きの拒絶、債務の決済、システムクラッシュからの復旧など、幅広いアクションをカバーしている。この研究において、彼らは84個の明確な証拠を保持し、それぞれが封印された設計図と共通の識別コードに紐付けられていることを確認した。彼らは、最後の一バイトに至るまで同一である2つの別々のクリーンなエビデンス・パッケージを作成し、プロセスが完璧な精度で再現可能であることを証明した。独立した裁判官として機能する別の検証者が最終的なアーカイブを受け入れ、イベントの選択されたリプレイがそのアーカイブに結合され、歴史が起きた通りに正確に再構成できることが示された。研究では、これらすべてのレイヤーが存在し、正しく連結されている場合、証拠はコピーやファイルの並べ替えによって偽造できないレビュー可能な保管の連鎖を形成することが分かった。ただし、研究者は、すべてのレイヤーにわたる独立したランタイム観測を証明するために必要な特定のゲートについては、このローカルなコホートでは評価されていないと注記している。
研究者はまた、単に一致するコンピュータコードを持っているだけでは、システムが機能したことを証明するには不十分であることを証明した。彼らは、単一のテスト値が7つの異なるファイルにコピーされた場合、結果としてのコードは一致するが、それはシステムが実際にタスクを実行したかどうかについては何も教えてくれないことを示した。彼らの手法は、各エビデデンスのレイヤーが独自の入力から派生していること、およびパッケージ全体が再現可能であることを要求する。彼らはまた、「スプライシング（接合）」を防ぐための厳格なルールを導入した。これは、あるテスト実行の証拠の一部を取り出し、別のテスト実行に貼り付けて虚偽の主張を行う行為である。もし証拠の一部が元の設計図または共通の識別コードと一致しない場合、システムはそれを拒否する。これにより、すべてのゲートを通過したときのみ最終的な主張が承認されることが保証され、一つの部分の成功によって他の部分の失敗が隠されることはない。
この研究の最も重要な発見の一つは、観察されたもの、再構成されたもの、そして単なる仮説との区別である。研究者は、領収書はトランザクションがマイニングされたことを証明するが、ユーザーがそれを意図したことを証明するものではないことを示した。スクリーンショットはピクセルが表示されたことを証明するが、データソースを証明するものではない。すべての証拠を封印されたマニフェストに結合し、独立したレビューを要求することで、システムは実際に起きたことと、誰かが主張したこととの間に明確な境界線を作る。このアプローチは金融におけるすべての問題を解決するわけではない。サードパーティのサービスが正直であることや、スマートコントラクトに隠れたバグがないことを証明することはできない。しかし、それは特定のセットのアクションが、特定の既知のシステム内で発生したことを検証するための、厳格で再現可能な方法を提供する。その結果、デジタルな遺物のコレクションを、金融イベントの単一で信頼できる物語へと変える規律ある手法となり、証明が約束と一致することを保証するのである。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。