「INTERACTIVE PROOF」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

To perform denial zero knowledge interactive proof of less communication amount and calculation amount by using a method of special honest verifier zero knowledge 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.例文帳に追加

特別正直検証者零知識対話証明の方法が与えられたときに、これを利用して、通信量と計算量共に少ない否認可能零知識対話証明を行えるようにする。 - 特許庁

The second relation proof verification device 423 determines whether or not a prescribed relational expression is established by using the proof of non-interactive knowledge related to the second relation.例文帳に追加

第二関係証明検証装置４２３は、第二の関係に関する非対話的知識の証明を用いて、所定の関係式が成立しているか否かを判定する。 - 特許庁

A second relation proof generation device 417, to which common input and a third random tape are input, outputs a proof of non-interactive knowledge related to a second relation to a second relation proof verification device 423.例文帳に追加

第二関係証明生成装置４１７には、共通入力と第三のランダムテープが入力され、第二の関係に関する非対話的知識の証明を第二関係証明検証装置４２３に出力する。 - 特許庁

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.例文帳に追加

並行に複数実行することがあるゼロ知識対話証明プロトコルに対して、安全性と効率性の両立を図ることのできる管理装置を提供すること。 - 特許庁

We turn any semantically secure public key cryptosystem into an efficient (interactive) one which is immune against adaptive chosen ciphertext attacks by adding the PPTK (proof of plaintext-knowledge) protocol. 例文帳に追加

どのような強秘匿公開鍵暗号系も, PPTKプロトコルを追加することによって, 適応型選択暗号文攻撃を免れる効率的(相互作用的)なものに変えられる. - コンピューター用語辞典

A proof generation device 425; to which the common input, evidence, a first random tape, and a second random tape are input; generates a proof of non-interactive knowledge of either evidence of evidence meeting a first relation and evidence meeting the second relation.例文帳に追加

証明生成装置４２５には、共通入力、証拠、第一のランダムテープ、第二のランダムテープが入力され、非対話的な、第一の関係を満たす証拠、あるいは第二の関係を満たす証拠のいずれかの証拠の知識の証明を生成する。 - 特許庁

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.例文帳に追加

並行度管理部５３は並行度の上限値を記憶し、ラウンド数管理部は該上限値に等しい並行度の下でのゼロ知識対話証明プロトコルの安全性を確保するに足りるラウンド数以上の値から選択されたラウンド数を記憶する。 - 特許庁

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.例文帳に追加

ＺＫＩＰプロトコル実行管理部５５は、証明側装置又は検証側装置からゼロ知識対話証明プロトコルの開始を要求する開始要求メッセージを受信した場合に、現在の並行度が上限値を下回っているならば、開始を許可するものと判断する。 - 特許庁