ZBA-SU: A Novel Zero-Knowledge-Proof and Blockchain Integrated Methodology for Secure IoT Software Updates

IoT（モノのインターネット）という広大で目に見えないネットワークにおいて、交通センサーから工場のコントローラーに至るまで、数十億もの小さなデバイスが、セキュリティと機能を維持するためにソフトウェアアップデートに依存しています。これらのアップデートは、鍵を交換したりダムの穴を塞いだりすることのデジタル的な同等物です。これらが行われなければ、デバイスはハッカーにハイジャックされたり、停止させられたりする脆弱性を抱えることになります。しかし、これらのアップデートを配信することは、繊細なバランス調整を伴います。もしデバイスが単にアップデートを要求する場合、多くの場合、自身のアイデンティティ、位置、および特定の機能（ケイパビリティ）を、パッチを送信するサーバーに対して明かす必要があります。これはプライバシーのリスクを生みます。なぜなら、デバイスが何であり、どこに位置しているかという記録が、そのデバイスを追跡したり標的にしたりするために利用される可能性があるからです。逆に、システムがデバイスのアイデンティティを隠しすぎようとすれば、そのデバイスが実際にアップデートを受け取る許可を得ているものであることを検証するのが困難になり、悪意のあるアクターが紛れ込む隙を与える可能性があります。エンジニアにとっての課題は、デバイスにプライベートなIDカードを提示させることなく、そのデバイスが新しいソフトウェアバージョンを受け取る資格があることを確認しつつ、同時にアップデート自体が転送中に改ざんされないようにするシステムを構築することです。

湖南通信理工学院の研究者たちは、この特定のジレンマを解決するために、「ZBA-SU」と呼ばれる新しいアプローチを開発しました。彼らの手法は、安全でプライバシーが守られ、改ざん不可能なアップデートプロセスを実現するために、3つの異なる技術を組み合わせています。第一に、彼らは「ゼロ知識証明」として知られる暗号技術を使用しています。これにより、デバイスは自身のアイデンティティや現在のソフトウェアバージョンの実際の内容を明かすことなく、アップデートの要件を満たしていることを数学的に証明できます。第二に、彼らはブロックチェーン、つまり取引のあらゆるステップを改ざんや削除が不可能な方法で記録するデジタル台帳を採用し、誰がいつアップデートを受け取ったかという履歴が恒久的かつ透明であることを保証しています。第三に、彼らは特殊な形式の暗号化を用い、正しい属性を持つデバイスだけが解読してインストールできるように、アップデートファイルを非常に強固にロックします。これら3つの糸を織り交ぜることで、チームは、デバイスが「私はビルAにある、バージョン2.1を実行中のセンサーです」と言うことなく、「私はアップデートを許可されています」と言えるシステムを作り上げました。

この複雑なシステムが、現実世界のデバイスに見られるような小型で低電力のチップ上で実際に動作するかどうかをテストするために、チームはRaspberry PiコンピュータやESP32マイクロコントローラを含む多様なハードウェアを用いたシミュレーションを構築しました。彼らは、安全な台帳として機能するプライベート版のブロックチェーンネットワークを作成し、アップデートファイルを保持するための分散ストレージシステムをセットアップしました。実験では、数千件のアップデートリクエストをシミュレートし、デバイスにゼロ知識の手法を用いてその資格を証明させました。結果は、システムが意図通りに動作することを示しました。デバイスは約1.8秒で資格の証明を生成でき、ネットワークはその証明を3秒未満で検証できました。決定的なことに、このシステムは、従来の方法と比較して、機密性の高いデバイス情報の漏洩を97パーセント削減しました。プロセスは標準的な暗号化なしのアップデートよりもわずかに遅くなりましたが、そのトレードオフとして、プライバシーとセキュリティの大幅な向上が得られ、システムはアイデンティティの偽造や古いアップデートのリプレイ攻撃を正常にブロックしました。

研究者たちはまた、このシステムが実際の公開ネットワーク上で稼働する場合のコストと速度をどのように扱うかも調査しました。彼らは、ネットワークトラフィックが激しく、取引手数料が変動するシナリオをシミュレートし、アップデートの確定にかかる時間は増加するものの、システムは堅牢であり続けることを発見しました。1,000台のデバイスを含む大規模テストにおいて、システムは97.9パーセントの成功率を維持し、スマートシティや工業プラントに求められるボリュームを処理できることを証明しました。この研究は、これらのプライバシー証明を生成するために必要な計算量は標準的なチェックよりも高いものの、毎秒アップデートする必要はないが、アップデート時にはセキュリティが必要であるようなデバイスにとっては管理可能なレベルであることを強調しています。チームは、最も制約の多い最小のデバイスについては、重い数学的計算を近くのゲートウェイにオフロード（肩代わり）させることで、極小のセンサーであってもバッテリーを消耗させることなく参加できると指摘しました。

最終的に、この研究は、接続されたデバイスがひしめき合う世界において、プライバシーとセキュリティの両立が可能であることを示しています。ZBA-SUフレームワークは、誰がアップデートを受け取るかを決定するために単一の信頼されたサーバーに依存することも、デバイスに自身の秘密を世界に放送することを強制することもありません。代わりに、資格は数学を通じて検証され、やり取りの記録はブロックチェーン上に石に刻まれたように書き込まれ、そしてアップデート自体は正しいデバイスだけが持つ鍵によってロックされるという、デジタルのハンドシェイク（握手）を作り出しています。研究者たちは、この技術はまだ完璧ではなく、より高速なネットワークやより小さなチップに対応するためのさらなる洗練が必要であるとしつつも、将来のインフラストラクチャを保護するための実行可能な道筋を提供していると結論付けています。プライバシーを保護するアップデートが可能であることを証明することで、この研究は、次世代のスマートシティや産業システムが、それらを動かすデバイスの匿名性や安全性を損なうことなくアップデートできることを示唆しています。