摘要 |
PROBLEM TO BE SOLVED: To add robustness to a secret computation apparatus for computing a function in the state of encrypting an inputted numerical value. SOLUTION: Each cipher text converter is accompanied with a certification means, and a verification apparatus is installed independently thereof. The certification means of the cipher text converter performs zero knowledge certification on the verification apparatus concerning an input/output of the cipher text converter satisfies a predetermined proposition. The verification apparatus verifies the zero knowledge certification and transmits a success/not-success of the verification to the cipher text converter, a controller, and the like. If the cipher text converter, the controller and the like are notified of the not-success of the verification, computation is performed again by returning to the recent state of successful verification. COPYRIGHT: (C)2006,JPO&NCIPI
|