検証可能なエージェント実行 エージェントが行ったアクションが、そのエージェントを生成したシステムを信頼することなく、独立して検証可能であること。ReceiptOSはこの問題の解決を目指す。 関連用語 ReceiptOS agent action recomputable receipt 元の表記（英語） (なし)