On-the-fly (Girault, Poupard, Stern) で知識が漏れやすい場合ってあるじゃないですか. そういうときは証明者が何も送らなければいいんじゃないか? という発想が元だと思う.秘密鍵はm次元バイナリベクトルx. 公開鍵は格子ハッシュのインデックスであるZq要…