富張

お知らせ

Incrementally Verifiable Computation:効率的に証明をつなげる

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

Universal Arguments: 性質の検証

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

Universal Arguments:証明システムの構成

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

ZKAttest: 具体的なプロトコルについて

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

ZKAttest:WebAuthnの改良

はじめに この記事ではECDSA署名を行うシグマプロトコルであるZKAttest(ZKAttest: Ring and Group Signatures for Existing ECDSA Keys)について解説します。 zkattest...
タイトルとURLをコピーしました