19-12-2013 дата публикации
Номер: US20130339413A1
Where G and H are cyclic groups, M is an integer of two or more, i=1, . . . , M, f is a homomorphic function of mapping a member xof group H to group G, Rand Rare random variables with a value in group G, ris a realized value of the random variable R, ris a realized value of the random variable R, and ais a random number of an integer of 0 or more, a random number generation unit generates random numbers a, a, . . . , a. A sampler is capable of calculating f(x)r, f(x)r, . . . , f(x)rto obtain a calculation result thereof as z, z, . . . , z, respectively. A power calculation unit calculates (z), (z), . . . , (z). An extended randomizable sampler is capable of calculating f(x×x× . . . ×x)rto obtain a calculation result zthereof. A determination unit determines whether or not (z)×(z)× . . . ×(z)=z. 1. A proxy calculation system comprising:{'sub': 1', '2', 'M, 'a random number generation unit to generate random numbers a, a, . . . , a;'}{'sub': 1', '1', '2', '2', 'M', 'M', '1', '2', 'M, 'a sampler to be capable of calculating f(x)r, f(x)r, . . . , f(x)rto obtain a calculation result thereof as z, z, . . . , z, respectively;'}{'sub': 1', '2', 'M, 'sup': a1', 'a2', 'aM, 'a power calculation unit to calculate (z), (z), . . . , (z);'}{'sub': 1', '2', 'M', '0', '0, 'sup': a1', 'a2', 'aM, 'an extended randomizable sampler to be capable of calculating f(x×x× . . . ×x)rto obtain a calculation result zthereof; and'}{'sub': 1', '2', 'M', '0, 'sup': a1', 'a2', 'aM, 'a determination unit to determine whether or not (z)×(z)× . . . ×(z)=z,'}{'sub': i', 'i', '0', 'i', 'i,', '0', '0', 'i, 'where G and H are cyclic groups, M is an integer of two or more, i=1, . . . , M, f is a homomorphic function of mapping a member xof group H to group G, Rand Rare random variables with a value in group G, ris a realized value of the random variable R, ris a realized value of the random variable R, and ais a random number of an integer of 0 or more.'}2. The proxy calculation system according to claim ...
Подробнее