x7888

お知らせ

知識抽出機(Knowledge Extractor)とは?知識抽出可能性と健全性の関係

はじめに 知識証明に関する論文の証明を読んでいると、証明の健全性を示すために「知識抽出機」(Knowledge Extractor)なるアルゴリズムの存在を示そうとすることがあります。 知識抽出機が存在するか、すなわち知識抽出可能であるかど...
お知らせ

Ethernautの良問を解説する

概要 Ethernaut とはSolidity/EVMベースのスマートコントラクトの脆弱性調査をCTFのようなゲームを通して体験できるサービスです。 スマートコントラクトの監査を行う際に必要な観点を26種類(2022年8月現在)のゲームを通...
お知らせ

紛失通信プロトコルを利用した積和変換

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

分岐補題(Forking Lemma)の解説と具体例

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