Zero knowledge proof system, zero knowledge proof device, zero knowledge verification device, zero knowledge proof method and program thereof

摘要

A zero-knowledge proof system that enables zero-knowledge proof of discrete logarithm even with a device having a small capacity of a main storage device. A zero knowledge proof device 10 stores a pseudo random number and a hash value obtained in the past, a temporary storage unit 13 and a plurality of pseudo random numbers, and stores the calculated pseudo random number and the temporary storage unit in the temporary storage unit. A first processing unit 14a that performs a process of calculating a hash value a plurality of times based on the obtained information, a second processing unit 14b that determines a part of a plurality of pseudo random numbers based on the hash value, and a part of the pseudo value A third processing unit 14c for sending a hash value obtained by recalculating the random number to the zero knowledge verification device. The zero knowledge verification device 20 receives the temporary storage area 22 and new input data sequentially. Means 23 and processing means 24 for overwriting the temporary storage area with a new hash value of the data including the variable and the input data every time the input data is received. [Selection] Figure 1