T. Holenstein, U. Maurer, J. Sjödin "Complete Classificaiton of Bilinear Hard-Core Functions" (CRYPTO 2004) が双線形であるとする. 任意の一方向性関数から一方向性関数をとして構成する. がのhard-core functionになるのはどういうときか? というの…