今日は色々と話をしていた. その中で人の疑問と自分の疑問が解消されたのでメモっておく. POK (Proof of Knowledge) とZK (Zero Knowledge) は微妙に違う. ZKPOKの場合, ZKかつPOKであることを示さないといけない. ということはZKの方で定義から健全性を示す…

某大学から. |・σ・）ノ [lab:keyword:現代格子史], D. Aharonov and O. Regev. "Lattice Problems in NP intersect coNP" (Journal of the ACM 52(5), pp. 749-765, 2005. Preliminary version in Proc. of FOCS 2004). ガウス分布とフーリエ解析を駆使する…