VSO / 研究資料

VSO · Public research resources

決済APIの承認・実行・証拠保全の研究

「署名が正しい」「承認されている」「結果が分かる」「証拠が残っている」を分けて調べる、模擬環境の研究です。

公開資料の確認日: · 解説・非規範

提出証拠の4つの評価

オフラインの検証器は、整合性、承認、実行との一致、制御状態を別々に評価します。VALIDでも送金成功とは限りません。実行結果が失敗・取消であっても、提出証拠との一致は成立し得ます。

INDETERMINATEは必要な証拠・信頼・鮮度・範囲が不足している状態です。将来の決済を許可するコマンドではありません。Offline payment evidence experiment

模擬実行・承認・収集を分ける

  1. 実行：ローカルHTTPとSQLiteの模擬残高で、要求の永続化、1回の送信、読み取りによる結果照合を確認します。基礎実行器自身は業務承認を確認しません。Controlled payment runtime pilot
  2. 承認：別の実験がmaker/checkerの合成承認を厳密な要求へ結び付けます。制御されたアプリ経路であり、提供側への全経路を囲う排他的な境界ではありません。Controlled payment authorization pilot
  3. 収集：さらに別プロセスで、承認記録と結果受領証の原本を保管します。証拠の回復で決済を再送しません。Controlled payment collector pilot

結果不明と証拠不明を分ける

提供側が処理した後に応答を失った場合、直ちに失敗と決めずUNKNOWNを残します。読み取り照合で模擬結果を確認した後も、受領証を保全できたかは別項目です。

銀行、実資金、人の承認基盤には接続していません。別プロセスでも同じ運用者・ホストユーザーの管理下であり、独立保全やOS隔離を証明しません。

過去の実行を再チェックする

Preserved 6 November collector runには、11月6日の一つの自社CI実行の原本ZIP、公開証拠、対応ソース、確認記録が保持されています。保存済み証拠の再検証を、新規実行や第三者の独立再現として数えないでください。

参照した公開資料と版

このページは固定コミットの公開資料を整理した案内です。掲載のために研究試験を新規実行したものではありません。過去の試験記録・固定配布物はそのまま保持します。