x7888

はじめに この記事では秘密計算の一種である積和変換プロトコルを紹介します。まず積和変換プロトコルの概要を述べ、次にそのプロトコル内部で使われる別のプロトコルである紛失通信プロトコルについて述べます。その後積和変換プロトコルを説明し、積和変換...

はじめに この記事では論文「Delegating Computation: Interactive Proofs for Muggles」(要約版: , 完全版: )について解説します。 最初に概要を述べます。次に論文全体を通して必要な前提...

分岐補題(Forking Lemma)の解説と具体例 概要 分岐補題(Forking Lemma)とは、ランダムオラクルモデル(ROM)を採用する署名形式の存在的偽造(＝署名検証をパスする署名とメッセージの組を秘密鍵を知らないまま作り出す偽...