N T T T State 1 State 2 State N ハッシュ 監査性・自動検証 • 状態遷移の履歴を自動的に検 証可能 • 状態データへの改ざん耐性 • ビジネスロジックが正しく実 行されていることを監査可能 • ノード・ネットワークの故障 に対する耐性 • 特定参加者がビジネス上の理 由で離脱しても稼働し続ける • 悪意ある攻撃に対しても頑健 • 標準化されたルールの強制 • データとワークフローの一体 化 • アセットにロジックを埋め込 み 故障・攻撃に対する ロバストさ ビジネスロジックの 強制執行 T T T T T T ハッシュ
Bob 10,000 トランザクション Alice Bob • 機密性の高いデータを暗号化することで秘匿性を保証しつつ、状態遷移を実行可能 • 暗号文の完全性を保証する手法として、 ◦ ゼロ知識証明:暗号学的技術のみを利用 ◦ TEE:ハードウェアのセキュリティ機能を利用 • ゼロ知識証明は汎用的な状態遷移ロジックの処理が困難