HashPort技術ブログ

概要 この記事では再帰的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...

はじめに 本稿ではで提案されたIVC (Incrementally Verifiable Computation)と呼ばれる証明システムについて解説します。この証明システムは証明の長さを変えずに合成することが特徴です。途中までの証明を長さを...

はじめに 本稿では以前の記事に続いてで提案されたuniversal argumentsと呼ばれる証明システムについて解説します。具体的に構成されたプロトコルが本当にuniversal argumentsの性質を満たしていることを確認します。...

この記事はBlockchain Advent Calendar 2022 23日目の記事です。 ※ブロックチェーンとはあまり関係がないような気もしますが、一応背景を説明するとこの論文で提案された証明システムは 段階的検証可能計算(Incre...

フロントエンドチーム小林です。今回は、Qiitaのプロフィール情報からSoulBound Tokenを作ってみます。 SoulBound Tokenとは Vitalikにより提唱された概念で、譲渡が不可能なNFTのことです。参加証明で配布さ...

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

はじめに この記事では前回の記事 に続いてECDSA署名を行うシグマプロトコルであるZKAttest(ZKAttest: Ring and Group Signatures for Existing ECDSA Keys)について解説しま...

フロントエンドチーム小林です。 今回は、イーサリアムの規格であるERC1155を使って、コントラクトの実装からフロントエンドの実行まで一通りの動作を行なってみたいと思います。 ERC1155とは ERC1115とは、一つのスマートコントラク...