[論文レビュー] Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins

Vincenzo Botta, Laura Fusco+2 more|arXiv (Cornell University)|Sep 8, 2021

Blockchain Technology Applications and Security参考文献 24被引用数 5

ひとこと要約

本稿では、物理的物品をそのデジタル表現に安全にリンクすることで、ブロックチェーンベースのサプライチェーンシステムに検証可能ないわゆるデジタルツインを導入し、物理的物品の真正性を保証する手法を提案する。セキュアなマルチパーティ計算および理想機能を用いることで、エンド・ツー・エンドの検証可能で追跡可能なサプライチェーンを実現し、とりわけ食品のトレーサビリティ応用において、不正やデータの不整合を低減する。

ABSTRACT

A major problem in blockchain-based supply chain management is the potential unreliability of digital twins when considering digital representations of physical goods. Indeed, the use of blockchain technology to trace goods is obviously ineffective if there is no strong correspondence between what is physically exchanged and the digital information that appears in blockchain transactions. In this work, we propose a model for strengthening the supply chain management of physical goods by leveraging blockchain technology along with a digital-twin verification feature. Our model can be instantiated in various scenarios and we have in particular considered the popular case of food traceability. In contrast to other models known in the literature that propose their own ad-hoc properties to assess the robustness of their supply chain management systems, in this work we use the formalism of secure computation, where processes are described through generic and natural ideal functionalities.

研究の動機と目的

• ブロックチェーンベースのサプライチェーンにおけるデジタルツインの信頼性の欠如という深刻な問題に対処し、オンチェーンのデータが物理的物品を正しく反映していない可能性を解消すること。
• 形式的検証メカニズムを用いて、物理的物品とそのデジタルツインとの間の強い対応関係を保証すること。
• 中央集権的機関に依存せずに、透明性、改ざん不可能性、信頼性を実現する、強固で監査可能なサプライチェーンのトレーサビリティフレームワークを提供すること。
• 機密性の高いビジネス情報（例：仕入れ数量、素材使用量）のプライバシー保護を実現しつつ、製品のルーツの公開検証性を維持すること。
• セキュアな計算の原則を用いてシステムを形式的に定式化し、敵対的状況下でも安全性と正しさを証明すること。

提案手法

• セキュアなマルチパーティ計算（SMPC）からの理想機能を用いてサプライチェーンをモデル化し、検証可能なトレーサビリティのための信頼できる基準モデルを定義する。
• 物理的物品がブロックチェーン上に保存された固有の識別子にリンクされ、点検データが改ざん不能なトランザクションとして記録される、デジタルツイン検証メカニズムを導入する。
• 信頼できる登録機関（Reg）と分散型のFPスキャナ発行機関を用いて、物品のデジタルアイデンティティおよび物理的指紋を発行・検証する。
• 同型暗号とコミットメント方式などの暗号プリミティブを実装し、プライベートなビジネスデータをオフチェーンに保存しつつ、ハッシュを介してオンチェーンでの検証性を維持する。
• 即時性、最終的でかつグローバルに利用可能な取引記録を保証するレジャーファンクショナリティ（$\mathcal{F}_{Ledger}$）を定義し、システム整合性の基盤を構築する。
• 実システムに対する敵対的攻撃をシミュレートし、それらを理想世界における同等の攻撃にマッピングすることで、シミュレーションに基づく証明により安全性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ブロックチェーンベースのサプライチェーンにおいて、物理的物品とそのデジタルツインの間の対応関係をどのように形式的に検証できるか？
• RQ2 どのようなメカニズムが、不正でない正当な物品のみがブロックチェーンに登録され、トレース可能であることを保証するか？
• RQ3 機密性の高いビジネスデータ（例：仕入れ数量、素材使用量）をどのように保護しつつ、公開監査性と整合性の検証性を維持できるか？
• RQ4 特に一部の参加者が不正である場合に、システムがどのようにして安全性と正しさを維持できるか？
• RQ5 提案されたモデルは、食品トレーサビリティのような実世界のシナリオにどのように実装可能か？また、既存のブロックチェーンベースのサプライチェーンシステムと比較してどのように異なるか？

主な発見

• 提案されたシステムは、シミュレーションに基づく証明により形式的な安全性を達成しており、実システムにおけるいかなる攻撃も理想世界でエミュレート可能であることを示しており、高い耐性を有する。
• モデルは、検証可能なデジタルツインとブロックチェーントレーサビリティを効果的に統合し、データ改ざんや物理的物品とデジタル記録との不一致のリスクを顕著に低減した。
• 同型暗号とコミットメント方式により、プライベートデータをオフチェーンに保存しつつ、暗号的コミットメントを介してオンチェーンでの検証が可能となった。
• 登録機関とFPスキャナ発行機関の役割を分散化することで、中央集権的信頼機関への依存を低減し、分散型の信頼性を実現した。
• フレームワークは、製品の真正性と整合性が重要な食品トレーサビリティを含む、さまざまなサプライチェーンシナリオに適応可能である。
• 安全性モデルは、定理6.1により形式的に証明されており、提案された理想機能下で、実世界と理想世界との間の区別不能性が示された。