お知らせ ブロックチェーンシステムのためのプログラミング言語Cairoについて Cairoは、StarkWare社によって開発された、証明可能なプログラムを作成するために設計された高度なプログラミング言語です。数学的な確実性と実行の保証を保証することで、ブロックチェーンなどの知識証明プロトコルベースのシステムの開発の信頼性を高めることを主な目的としています。 2023.08.22 お知らせ
お知らせ Halo2ライブラリを使ってみる はじめに 本稿ではzk-SNARKライブラリhalo2の実装の仕組みの一部を簡単に解説します。 実装の概要 Halo2ではPLONKish回路と呼ばれる回路を用いて証明を行います。PLONKish回路の出力と証明者の主張する値が一致すること... 2023.07.11 お知らせ
お知らせ Halo 2の中で使われている多項式コミットメントスキーム はじめに この記事では、zk-SNARKのライブラリであるhalo2で使用される多項式コミットメントスキーム(Polynomial Commitment Scheme; PCS)について解説します(のAppendix 2)。 PCSは、名前... 2023.06.21 お知らせ
お知らせ 内積アーギュメント Bulletproofsについて はじめに この記事ではベクトルの値そのものは知らせずに、内積の値が特定の値となるような2つのベクトルを知っていることの証明を送ることができる、内積アーギュメントの一つ、Bulletproofsについて解説します。 検証を入力の長さの対数回の... 2023.05.30 お知らせ
お知らせ Incrementally Verifiable Computation:効率的に証明をつなげる はじめに 本稿ではで提案されたIVC (Incrementally Verifiable Computation)と呼ばれる証明システムについて解説します。この証明システムは証明の長さを変えずに合成することが特徴です。途中までの証明を長さを... 2023.01.31 お知らせ
お知らせ Universal Arguments: 性質の検証 はじめに 本稿では以前の記事に続いてで提案されたuniversal argumentsと呼ばれる証明システムについて解説します。具体的に構成されたプロトコルが本当にuniversal argumentsの性質を満たしていることを確認します。... 2023.01.17 お知らせ
お知らせ Universal Arguments:証明システムの構成 この記事はBlockchain Advent Calendar 2022 23日目の記事です。 ※ブロックチェーンとはあまり関係がないような気もしますが、一応背景を説明するとこの論文で提案された証明システムは 段階的検証可能計算(Incre... 2022.12.23 お知らせ
お知らせ ZKAttest: 具体的なプロトコルについて はじめに この記事では前回の記事 に続いてECDSA署名を行うシグマプロトコルであるZKAttest(ZKAttest: Ring and Group Signatures for Existing ECDSA Keys)について解説しま... 2022.11.08 お知らせ
お知らせ ZKAttest:WebAuthnの改良 はじめに この記事ではECDSA署名を行うシグマプロトコルであるZKAttest(ZKAttest: Ring and Group Signatures for Existing ECDSA Keys)について解説します。 zkattest... 2022.10.04 お知らせ