x7888

概要 プログラミング言語Cairoで証明したいプログラムを書いて、実行履歴(trace)を作成した後は、その実行履歴を使ってプログラムの証明・検証を行う必要があります。 証明・検証のためのライブラリ・ツールにはいくつかあり、依存や参照関係が...

概要 ビットコインのブロックデータは時間経過に従って概ね線形に増加する。これは全てのトランザクション履歴を管理する暗号通貨においては避けられないことのように思える。 しかし、過去のブロックデータとは結局の所特定の形式に従ったデータであれば、...

概要 この記事では再帰的SNARKを利用したIVC/PCDのフレームワークであるHalo2の解説を行います。 Halo2とは、暗号通貨Zcashの開発母体であるElectric Coin Company(ECC社)で開発されたIVC(Inc...

概要 この記事では 最新のzk-SNARKプロトコルである PLONK の数学的解説を行います。 この記事の多くはYouTubeで公開されている動画シリーズ に基づいています。 解説 算術回路の変数割当 ゼロ知識証明は「何らかの条件を満たす...

はじめに この記事では初代zcashのzkSNARKsであるPinocchio/Groth16プロトコルの基礎になっている二次スパンプログラム(Quadratic Span Program; QSP)について定義を確認し、QSPからzkSN...

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

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

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

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

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