Audit-by-Construction: A Self-Executing Smart Contract Architecture on Permissioned Distributed Ledgers for the Verifiable Settlement of Civil Engineering Works under Peruvian Public-Procurement Law
本論文は、既存の国内調達法への完全な準拠を維持しつつ、立法改革を必要とせずに、ペルーの土木公共事業の決済を自動化および暗号学的に検証し、認証サイクルを数ヶ月から数分へと短縮する、許可型分散型台帳上の自己実行型スマートコントラクト・アーキテクチャを提案するものである。
原論文は CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
あなたは、ペルーで巨大な橋を建設していると想像してください。従来の方法では、行った作業に対して報酬を受け取ることは、パズルのピースの半分が欠けていて、絵が常に変化し続け、誰かがようやく「よし、支払ってもいいよ」と言うのを数ヶ月間待たなければならないような、非常に困難な作業です。
この論文は、ブロックチェーン技術（デジタルで改ざん不可能な台帳）とスマートコントラクト（自動実行されるデジタルのルール）を使用して、そのプロセスを処理する新しい方法を提案しています。以下は、著者であるポール・リカルト・プルデンシオ・ガルベス氏が、簡単な比喩を用いて提案している内容の解説です。
問題点：「紙のバインダー」によるボトルネック
現在、建設会社が公共プロジェクトの一部（道路のコンクリート打設など）を完了すると、紙のフォームに記入し、監督者の署名をもらい、政府機関が計算を確認するのを待たなければなりません。
- 比喩： ピザを注文したとします。通常なら20分で届くはずなのに、配達員が銀行へ走り、公証人の手紙をもらい、銀行のマネージャーの署名をもらうために待ち、その後、実際にピザを届けたことを証明するためにピザ屋に戻らなければならない状況です。このプロセス全体に、たった一つの工程の支払いのために60日から90日もかかってしまいます。
- 結果： お金が滞り、計算結果に意見の相違が生じて紛争が発生し、政府は紙のファイルをチェックするために膨大な時間を費やすことになります。
解決策：「建設による監査（Audit-by-Construction）」
著者は、**「建設による監査（Audit-by-Construction）」**と呼ばれるシステムを提案しています。これは、作業が終わった後に紙を使ってチェックするのではなく、作業が行われている最中にデジタルルールを用いてチェックを行う仕組みです。
これは、建設プロジェクトのための**「スマート自販機」**のようなものだと考えてください：
- トリガー（引き金）： コインを投入します（作業が完了した）。
- 検証： 機械が即座にコインが本物かどうかをチェックします（作業が基準を満たしているか）。
- 支払い： もしコインが本物であれば、機械は自動的にスナック（支払い）をあなたの手に落とします。マネージャーがレシートを確認しに来るのを待つ必要はありません。
仕組み（4つのレイヤー）
この論文は、これを実現するための4つのレイヤー（階層）を設計しています：
- 物理レイヤー（目）： センサーやデジタルスキャン（道路の3D写真など）が、作業が実際にそこにあることを証明します。
- オラクル・レイヤー（公証人）： 人間の監督者がデジタル署名を行い、「はい、これを確認しました。問題ありません」と証明します。
- ブロックチェーン・レイヤー（共有台帳）： この証明は、政府、建設会社、および監督者が共有する安全なデジタルノートブックに送られます。誰もそこに書かれた内容を消したり変更したりすることはできません。
- スマートコントラクト・レイヤー（自動計算機）： これが「脳」となります。ここにはペルーの正確な法律上の計算式が含まれています。証明が到着すると、即座に支払額を計算し、資金を放出します。
魔法の数学（数式）
この論文は、3つの特定のペルーの法的数式をコンピュータコードに翻訳したと主張しています。これは、ロボットに政府の宿題を完璧にこなさせるようなものです：
- 数式1（価格調整）： 鋼鉄や燃料の価格が上がった場合、契約が自動的に支払額を調整します。ロボットは公式の価格リストを確認し、即座に数値を更新します。
- 数式2（遅延ペナルティ）： プロジェクトが遅れた場合、ロボットは厳格なルールに基づいて罰金を自動的に計算し、「何日遅れたか」という議論を排除します。
- 数式3（最終決済）： 最後に、ロボットは作業量、調整、および罰金を合算して最終的な数値を算出します。疲弊した人間ではなくロボットが計算を行うため、全員がこの数値に同意できます。
結果：スピードと信頼
この論文は、従来の方法（BIMモデルを使用した「デジタルではあるがブロックチェーンではない」方法）と、この新しいブロックチェーンによる方法を比較しています。
- 時間： 従来の方法は平均で67日かかります。新しい方法では、理論上3.9分から4.2分で済みます。これは待ち時間の99%削減にあたります。
- 信頼： 数学が誰でも閲覧可能なコードによって行われるため、議論が少なくなります。論文は、紛争が20〜30%から2%未満に減少する可能性があると示唆しています。
- 合法性： 著者は、これがペルーの法律に違反するものではないことを強調しています。実際には既存の法律（法律第30225号）に従っており、法律がすでに認めているデジタル署名を利用しているだけです。
重要な注意事項（この論文が「述べていない」こと）
この論文が何ではないかを理解しておくことが重要です：
- 完成した製品ではありません： 著者は、これはあくまで**設計図でありブループリント（設計指針）**であり、ペルーの実際の道路でテストされたシステムではないことを認めています。
- 新しい法律ではありません： 著者は新しい法律の制定を求めているわけではありません。現在の法律をより良く活用する方法を示しているのです。
- 魔法のお金ではありません： システムは依然として実際の資金を移動させる必要があります。単に「承認」のプロセスを自動化するものです。実際の銀行振替は、後で接続する必要がある別のステップです。
まとめ
この論文は、ペルーの公共建設プロジェクトのための「デジタル自販機」を提案しています。複雑で遅く、紙に依存した支払いプロセスを、自動的で変更不可能なコンピュータルールへと変えることで、90日の待ち時間を4分間の検証へと変え、誰もが法律で定められた通りの金額を、事務手続きの頭痛なしに確実に受け取れるようにすることを約束しています。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。