PASS: A Provenanced Access Subaccount System for Blockchain Wallets
PASSは、資産の利用権限を「誰が持つか」ではなく「どのように預けられたか」という履歴（プロベナンス）に基づいて制御することで、プライバシーを保ちつつAIエージェントや組織での柔軟な共同管理を可能にする、Lean 4による形式検証と enclave 技術を用いた実装済みのサブアカウント管理システムです。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
タイトル：PASS — 「どこから来たか」で管理する、次世代のデジタル財布
1. 今までの財布の悩み： 「鍵」がすべてを決めてしまう
これまでの仮想通貨（ブロックチェーン）の財布は、例えるなら**「たった一つの魔法の鍵」**で動いています。
この鍵を持っている人は、財布の中身を何でもできます。
- 個人の場合： 鍵を失くしたら、お金は二度と取り出せません。
- 会社の場合： 経理担当者に鍵を渡すと、その人が勝手にお金を使い放題になってしまうかもしれません。
- AI（人工知能）の場合： AIに買い物をお願いするために鍵を渡すと、AIが暴走して全財産を使い果たしてしまうリスクがあります。
また、誰が誰にいくら送ったかという「履歴」がすべて公開されてしまうため、会社の給料支払いの内訳が丸見えになってしまう、といったプライバシーの問題もありました。
2. PASSのアイデア： 「魔法の鍵」から「家計簿と仕切り」へ
PASSは、この「鍵さえあればOK」という古い仕組みを捨てて、**「お金の出所（ルーツ）を記録した、透明な仕切り付きの財布」**という新しい仕組みを作りました。
これを、**「大きな共有金庫」**に例えてみましょう。
① インボックス（入口）： 荷物の受け取り窓口
外からお金が入ってくるときは、まず「受付窓口（インボックス）」に届きます。ここでは「誰が、いくら、どの通貨を」入れたかが記録されます。
② サブアカウント（仕切り）： 自分専用の小部屋
金庫の中には、たくさんの「小さな小部屋（サブアカウント）」があります。
例えば、会社なら「営業部用」「開発部用」「AIロボット用」といった具合です。
大事なのは、**「その小部屋のお金は、ちゃんと窓口から入ってきたものか？」**という履歴（プロバナンス）が、金庫のシステムによって厳格にチェックされていることです。
③ 内部送金： 金庫の中での「メモ書き」だけ
小部屋から別の小部屋へお金を移動させるとき、わざわざ外の銀行（ブロックチェーン）を通す必要はありません。金庫の中の「家計簿」を書き換えるだけで済みます。
- メリット1： 手数料がタダ（または激安）。
- メリット2： 金庫の外からは「誰が誰に送ったか」が見えないので、プライバシーが守られます（給料の内訳がバレません！）。
④ アウトボックス（出口）： 最終的な支払い窓口
小部屋から外の世界へお金を出したいときは、「出口窓口（アウトボックス）」を通ります。ここで初めて、金庫の「マスターキー」が使われ、正式な支払いとして記録されます。
3. なぜこれがすごいの？（PASSの3つの強み）
- 「権限」を細かく分けられる（AIや会社に最適！）
「AIロボットには、この小部屋にある1万円分だけ、買い物に使っていいよ」といった、細かいルール設定ができます。もしAIが暴走しても、被害は1万円だけで済みます。 - 「プライバシー」と「透明性」の両立
金庫の中でのやり取りは秘密ですが、「ちゃんと窓口から入ったお金を、ルール通りに配っているか」という証拠（履歴）は、数学的に完璧に証明できます。 - 「数学」で守られている（Lean 4による証明）
この論文のすごいところは、「この仕組みなら、絶対に中身が勝手に増えたり、消えたりしない」ということを、Lean 4という高度な数学ツールを使って、論理的に「証明」してしまったことです。
まとめ： PASSが作る未来
PASSは、**「自由だけど、使いすぎや使い間違いを防げる、賢くてプライバシーを守れる財布」**です。
これがあれば、
- 会社は、社員の給料を秘密にしながら、安全に支払えます。
- AIは、決められた予算の範囲内で、安心して買い物ができるようになります。
- 私たちは、複雑な管理を気にせず、もっと便利にデジタル資産を使えるようになります。
まさに、ブロックチェーンの世界における**「スマートで安全な共有金庫」**の設計図なのです。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。