zk-Guard-R: IoTセンサーデータをIPFSに保存するためのポリシー非公開・リプレイ安全なzk-SNARKアクセス制御
zk-Guard-R: Policy-Hidden and Replay-Safe zk-SNARK Access Control for IoT Sensor Data Stored on IPFS
本論文は、IoTセンサーデータのプライバシーを保護する共有のための、ポリシー非公開かつリプレイ安全なzk-SNARKアクセス制御フレームワーク「zk-Guard-R」を提案する。zk-Guard-Rは、公開されたスパースなポリシー行列を、プルーフ内で検証されるMiMC-Merkleポリシーコミットメントに置き換え、論理的なセンサーポリシーのルートと物理的なIPFSデータのルートを分離し、各プルーフをオンチェーンのノンスにバインドし、境界付きスタックベースのポリシーインタープリターを通じて属性所有とポリシー解釈を分離する。数値センサーアクセス述語はコミットされた値と範囲チェックガジェットで表現され、オフチェーン検証ゲートウェイは受け入れられたプルーフと支払いチャネルバウチャーを結合して暗号化されたIPFSチャンクを解放する。gnark BN254/Groth16プロトタイプの実装では、128属性で425,574 R1CS制約、3.12秒のプルーフ生成時間、0.73ミリ秒の検証時間、641MBのピークGoヒープ割り当てを測定した。EVM上での検証トランザクションは241,942ガスを消費した。結果として、zk-Guard-Rは、IPFSベースのIoTセンサーデータ共有において、ポリシーの機密性、鮮度、ゲートウェイメータリングを向上させつつ、実質的かつ測定可能な作業をプロバーにシフトする。
- zk-Guard-Rというポリシー非公開かつリプレイ安全なzk-SNARKアクセス制御フレームワークを提案し、gnark BN254/Groth16でプロトタイプ実装を完了した。
- 128属性で425,574 R1CS制約、3.12秒のプルーフ生成時間、0.73ミリ秒の検証時間を測定し、EVM上では241,942ガスの検証トランザクションを確認した。
- IPFSベースのIoTセンサーデータ共有において、ポリシーの機密性、鮮度、ゲートウェイメータリングを向上させる方式を提案した。
zk-SNARKを応用したIoTセンサーデータのアクセス制御フレームワークであり、暗号技術(ZKP)の分野における研究開発成果。プルーフ生成時間3.12秒、検証0.73ミリ秒、EVM上で約24万ガスという具体的な性能指標を示しており、IoTデータ共有市場におけるZKP実用化の進展を示す技術的マイルストーンといえる。ただし学術研究段階の成果であり、商用化や市場への影響は今後の展開次第。