多変数多項式暗号系とは有限体上の多変数連立2次方程式の解を求める問題（MQ問題）がNP困難であることが安全性の根拠となる暗号系である。本論文では，MQ問題に関連する判定問題を1つ定義し，その判定問題の計算困難性を用いて，Fiat-Shamirによるゼロ知識対話証明をベースとして3交信の認証方式を構成し，その安全性および効率を評価する。