arXiv cs.CRが2026年11月5日(現地時間)付けで報じたところによると、リシャブ・ダス (Rishabh Das)氏らの研究チームは、産業用コントローラ向けのチェックポイント方式耐量子アテステーションプロトコル「AMORT-V1」を発表した。このプロトコルは、プログラマブルロジックコントローラが長期間運用される現状において、耐量子アテステーションの長期的な要件に対応することを目的としている。既存のOpenPLCアテステーションでは、耐量子署名がラウンドトリップ遅延の88-99%を消費し、耐久性のある状態がスループットをさらに制限する課題があった。
AMORT-V1は、公開鍵署名と耐久性のあるコミットメントを個別のレポートから定期的なチェックポイントに移行する仕組みを導入している。ML-KEMエポックによってデバイスごとのエビデンスキーが確立され、デバイスはMAC（Message Authentication Code）を用いてレポートを認証する。コントローラは、ハッシュチェーンされたMerkleチェックポイントを介して順序付けられたエビデンスをコミットし、このチェックポイントはML-DSAまたはSLH-DSAで署名される。
共有MACはデバイス生成元の転送可能な証明を提供しないため、AMORT-V1はチェックポイントコミット後にキーがリリースされるデバイス保持型開示チェーンを追加する。研究チームは、27ケースの攻撃マトリクス、149の差分テストベクトル、そして5つの物理的なOpenPLC proversを備えた7ノードのRaspberry Pi 5テストベッドを用いてこのプロトコルを検証した。
このチェックポイント方式により、コントローラコストは、耐久性ロギングなしのレポートごとのML-DSAと比較して90倍削減され、耐久性ロギングが必要な場合は878倍削減されることが示された。転送可能なデバイス生成元検証にはレポートあたり2.95マイクロ秒のコストがかかり、コントローラ側で10,000のアイデンティティにスケーリングする場合、レポートあたり6.18マイクロ秒と155オクテットが必要となる。AMORT-V1は、TPM（Trusted Platform Module）に裏打ちされた単調な状態を介して、レポートごとのパスに耐久性のあるハードウェア操作を配置することなく、ロールバック耐性のある再起動もサポートする。
参考: arXiv cs.CR (アーカイブ) — 2026年11月6日 14:00 (JST)
原文ハイライト"Checkpointing reduces controller cost by 90 times relative to per-report ML-DSA"