文献

J-GLOBAL ID：202202291452031441   整理番号：22A0309923

Polaris:効率的な検証器を持つR1CSのための透明サクシクトゼロ知識議論【JST・京大機械翻訳】

Polaris: Transparent Succinct Zero-Knowledge Arguments for R1CS with Efficient Verifier

著者 (2件)： Fu Shihui (University of Waterloo) ,  Gong Guang (University of Waterloo)
資料名： Proceedings on Privacy Enhancing Technologies (Web)  (Proceedings on Privacy Enhancing Technologies (Web))
巻： 2022  号： 1  ページ： 544-564  発行年： 2022年 
JST資料番号： U8133A  ISSN： 2299-0984  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 著者らは,演算回路充足可能性を一般化する広く展開されたNP完全言語であるRank-1制約充足(RICS)のための知識(zkSNARK)方式の新しいゼロ知識スクシントン議論を提示する。異なるコミットメント方式を用いて,著者らは,Nゲート演算回路に適用するとき,基本的な多項式コミットメント方式に応じて,検証者のコストと証明サイズ範囲がO(log2N)から[数式:原文を参照]まで,いくつかのzkSNARKを得る。これらのすべてのスキームは信頼されたセットアップを必要としない。それは,安全な衝突耐性ハッシュ関数で即座されたとき,かなりポスト量子安全である。提案システムの性能を評価する実験について報告した。例えば,128ビットセキュリティを有するゼロ知識におけるSHA-256プレ画像(23kANDゲート以下)を検証するために,証明サイズは150kB未満であり,検証時間は11ms未満であり,既存のシステムと競合した。Please refer to the publisher for the copyright holders. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 多項式 ,  安全性 ,  言語 ,  耐性 ,  論理回路 ,  *検証 ,  ハッシュ関数 ,  *暗号理論 ,  制約充足問題 ,  ゼロ知識証明
準シソーラス用語： コミットメント ,  演算回路 ,  *ゼロ知識 , 【Automatic Indexing@JST】

著者キーワード (4件)： zkSNARK ,  検証可能な計算 ,  ゼロ知識証明 ,  多項式コミットメント

分類 (1件)： 符号理論  (ND02030R)

タイトルに関連する用語 (3件)： 検証 ,  知識 ,  議論