多項式時間証明者も可能なゼロ知識が出来たとしても, 認証方式が構成できたわけじゃない. 鍵生成アルゴリズムは自明では無い. MicciancioとVadhanでも間違うんか(;´Д｀) 疑問: グラフ三色問題にはコミットメントが必要. コミットメントは一方向性関数があれ…