PyTorchモデルをブロックチェーンへ！EZKLで始める「AI推論のゼロ知識証明」入門

PyTorchモデルの推論に対するゼロ知識証明（ZKP）をEZKLで生成する方法を解説。IrisデータとMLPモデルを使用し、ONNXエクスポート、EZKLでの回路化、証明生成、Solidity検証コントラクト生成、テストネットデプロイまでの一連の流れを実践的に示す。

• PyTorchモデルの推論結果に対し、EZKLライブラリを用いてゼロ知識証明（ZKP）を生成した。
• IrisデータセットとシンプルなMLPモデルを使用し、Solidityの検証コントラクトを生成・デプロイした。
• EZKLはPyTorchモデルをONNX経由でZKP回路に変換し、入力・重み非公開での証明を可能にする。
• 従来は「信じてください」だったAI推論の信頼性が、ZKPにより数学的に証明可能になる。
• PyTorch 2.0以降のONNXエクスポートでは`dynamo=False`指定がEZKL利用に重要である。