x7888

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

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