ZERO-KNOWLEDGE PROOF SYSTEM AND METHOD, PROVER DEVICE, VERIFIER DEVICE AND PROGRAM Application JP-2016105567-A Japan 09 Jun 2016