interactive proof 対話的証明《cf. zero knowledge proof》 - 研究社 英和コンピューター用語辞典
a zeroknowledge protocol
零知識証明プロトコル《zero knowledge proof における証明の手順》 - 研究社 英和コンピューター用語辞典
MANAGEMENT APPARATUS FOR ZERO-KNOWLEDGE INTERACTIVE PROOF PROTOCOL, MANAGEMENT METHOD FOR ZERO-KNOWLEDGE INTERACTIVE PROOF PROTOCOL AND PROGRAM ゼロ知識対話証明プロトコル管理装置、ゼロ知識対話証明プロトコル管理方法及びプログラム - 特許庁
we show a zero-knowledge proof for statements of the form ...
我々は,様式...のステートメントに対して,ゼロ知識証明を示す - コンピューター用語辞典
PROOF DEVICE AND VERIFICATION DEVICE APPLIED FOR DENIABLE ZERO-KNOWLEDGE INTERACTIVE PROOF 否認可能零知識対話証明に適用される証明装置及び検証装置 - 特許庁
ZERO-KNOWLEDGE PROOF SYSTEM AND METHOD SHOWING COINCIDENCE OR DISCREPANCY OF DISCRETE LOGARITHM 離散対数の一致または不一致を示すゼロ知識証明システム及び方法 - 特許庁
PROVING DEVICE AND VERIFYING DEVICE APPLIED TO DENIABLE ZEROKNOWLEDGE INTERACTIVE PROOF 否認可能零知識対話証明に適用される証明装置及び検証装置 - 特許庁
To perform efficient batch processing upon a zeroknowledgeproof using a plurality of different bases. 複数の異なる基底を用いた零知識証明に対して、効率の良いバッチ処理を行う。 - 特許庁
To perform denial zeroknowledge interactive proof of less communication amount and calculation amount by using a method of special honest verifier zeroknowledge interactive proof when this method is given. 特別正直検証者零知識対話証明の方法が与えられたときに、これを利用して、通信量と計算量共に少ない否認可能零知識対話証明を行えるようにする。 - 特許庁
To make it possible to perform a deniable zero-knowledge interactive proof requiring a small amount of both communication and calculation by utilizing a method for a special honest verifier zero-knowledge interactive proof when the method is given. 特別正直検証者零知識対話証明の方法が与えられたときに、これを利用して、通信量と計算量共に少ない否認可能零知識対話証明を行えるようにする。 - 特許庁
To provide a management apparatus which realizes both safety and efficiency of zero-knowledge interactive proof protocols the plurality of which may be executed in parallel. 並行に複数実行することがあるゼロ知識対話証明プロトコルに対して、安全性と効率性の両立を図ることのできる管理装置を提供すること。 - 特許庁
To provide a zero-knowledge proof system which can show the coincidence or discrepancy of discrete logarithm by using the same protocol and enables only a prover to individually prove that without omitting any important information. 同じプロトコルを用いて離散対数の一致あるいは不一致を示すことができ、重要な情報を漏らすことなく、証明者だけが単独で証明することのできるゼロ知識証明システムの提供。 - 特許庁
A parallelism management part 53 stores the upper limit value of parallelism, and a number of round management part stores the number of rounds selected from values equal to or larger than the number of rounds enough to secure the safety of zero-knowledge interactive proof protocols in the parallelism equal to the upper limit value. 並行度管理部53は並行度の上限値を記憶し、ラウンド数管理部は該上限値に等しい並行度の下でのゼロ知識対話証明プロトコルの安全性を確保するに足りるラウンド数以上の値から選択されたラウンド数を記憶する。 - 特許庁
When receiving a start request message requesting the start of zero-knowledge interactive proof protocols, from a proofing-side device or a verifying-side device, a ZKIP protocol execution management part 55 judges permission of the start in the case that present parallelism is lower than the upper limit value. ZKIPプロトコル実行管理部55は、証明側装置又は検証側装置からゼロ知識対話証明プロトコルの開始を要求する開始要求メッセージを受信した場合に、現在の並行度が上限値を下回っているならば、開始を許可するものと判断する。 - 特許庁