近年、AIチャットボットや画像処理などのWebサービスが普及し、モバイル端末がこれらを利用する機会が増えている。しかし、これらのサービスでは計算をサーバーに委託するため、サーバーが提示している内容とは異なる処理を行っていたとしても、クライアントはその事実に気づくことができない。この問題に対処するため、計算結果を効率的に検証する「検証可能計算」という研究が行われている。
SNARKsは、ある主張が正しいことを証明し、その証明を効率的に検証できる暗号技術である。本研究では、SNARKsを畳み込み深層学習モデルの推論の検証に適用する方法を提案し、実装を通じてその効率性を評価する。