Proof verification system, proving apparatus, verification apparatus, proof verification method, and program

摘要

Proof verification system of the present invention comprises a verification device 200 and a proving device 100 holds the number m of the secret data in the n pieces, proving device 100, the commit multiple values ​​from a portion of the original multiple cyclic group and transmits to the verification device seeking, on receiving the challenge value c from the verification apparatus to generate the remaining original of the original plurality of cyclic groups, calculates the response value from the plurality of results, a plurality of cyclic groups sending the verification device response values ​​and a plurality of source, upon receiving the commit multiple values ​​from the proving device transmits the proving device a challenge value c that is selected from a plurality of random numbers, the verification device 200, a plurality of cyclic groups Upon receipt from the certification apparatus response values ​​and a plurality of source, and verifies the validity of the original multiple cyclic group, if valid, proof text (committed value, the challenge value, the response value) pair is either valid I want to verify whether or not.