(暗号学的)疑似乱数生成の話. 証明の手法としては, 識別機が存在すると, 一方向性が破れることを言う. HSSとかGRはこの一種か. hard-core predicate (function)を作る Blum-Blum-ShubとかGoldreich-Levinとか. List-decodingと関係してくる. フーリエ変換+Li…

去年みたいに動画無いかなー. J. Callas, Tamzen Cannoy, N. van Somere "Lettuce-based cryptography" John Kelsey "A knapsack identification and signature protocol" が気になるなー. レタスをどう弄るんだ.