大学の研究者らが製造妨害からチップを保護するソリューションを発明

ニューヨーク大学タンドン工学部の電気・コンピュータ工学助教授であるシッダールト・ガーグ氏は、他大学の研究者数名と共同で、チップが当初の設計通りに動作することを検証できる2つのモジュールを開発している。この技術は、製造施設内でチップが不正に操作されていないことを確認するのに役立つはずだ。

最近では、ユーザーに提供されるコードがベンダーが記述したものと完全に同一であることを保証するために、ソフトウェアに暗号署名を採用する企業が増えています（ただし、すべての企業がこれを真剣に受け止めているわけではありません）。ハードウェアの整合性を保証するためにも、同様の検証プロセスが必要です。

「現在のシステムでは、ファウンドリーからトロイの木馬が埋め込まれたチップを受け取ることがあります。製造後のテストでは検出されない可能性があり、その場合は顧客に送ります」とガーグ氏は述べた。「しかし、2年後には動作が不安定になる可能性があります。私たちのソリューションの良い点は、チップを信頼する必要がないことです。新しい入力を与えるたびに、チップが出力と正しさの証明を生成し、外部モジュールによってそれらの証明を継続的に検証できるからです」と彼は付け加えた。

ガーグ氏はこの手法を「検証可能コンピューティング」（VC）と名付けました。ガーグ氏と彼のチームは2つのモジュールを開発しました。1つはチップに埋め込まれ、その計算が正しいことを証明するモジュール、もう1つは埋め込まれたモジュール自体が侵害されていないかどうかを確認する外部モジュールです。外部モジュールはASIC（特定用途向け集積回路）であり、チップとは別に製造可能です。

「信頼できる製造業者が製造した外部検証ユニットを採用するということは、信頼できないファウンドリーに依頼して、計算を実行する回路だけでなく、正しさの証明を示すモジュールも備えたチップを製造できるということです」とガーグ氏は語った。

研究者たちは、国立科学財団から受け取った300万ドルの助成金を使い、2つのモジュールの性能を向上させ、できるだけ早く実際のシリコンでこのコンセプトをテストする予定だ。