文献

J-GLOBAL ID：202002258423242264   整理番号：20A2782295

クラウド検証可能ゼロ知識とエンドツーエンド検証可能マルチパーティ計算【JST・京大機械翻訳】

Crowd Verifiable Zero-Knowledge and End-to-End Verifiable Multiparty Computation

著者 (6件)： Baldimtsi Foteini (George Mason University, Fairfax, USA) ,  Kiayias Aggelos (The University of Edinburgh, Edinburgh, UK) ,  Kiayias Aggelos (IOHK, Hong Kong, China) ,  Zacharias Thomas (The University of Edinburgh, Edinburgh, UK) ,  Zhang Bingsheng (Zhejiang University, Hangzhou, China) ,  Zhang Bingsheng (Alibaba-Zhejiang University Joint Research Institute of Frontier Technologies, Hangzhou, China)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12493  ページ： 717-748  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 安全なマルチパーティ計算(MPC)プロトコルの監査は,そうでなければ,そうでない第三者によるプロトコル転写物の検証を必要とする。本研究では,すべてのサーバ,信頼されたセットアッププリミティブ,およびMPCプロトコルの入出力ユーザによって利用されるすべてのクライアントシステムが,敵対によって変換されるという設定においてさえ,正当性保証を提供するための検証を必要とするエンドツーエンド検証可能MPC(VMPC)の概念を導入した。VMPCをインスタントするために,著者らは,群衆検証可能なゼロ知識(CVZK)を,著者らは,著者らが提案した。CVZKプロトコルは,各1個が検証のために少量のエントロピーを個別に寄与し,それらの幾つかが敵対的に制御されるにもかかわらず,あるステートメントに関する検証者集合を証明できる。CVZKを与えて,離散対数関連仮定に基づくVMPCプロトコルを示した。VMPCが耐えられるという高いレベルの広告において,完全な正当性を確実にするのは実行不可能であり,従って,著者らのフレームワークにおいて実行可能であり,VMPCを介して実装できる基本的な機能を示す多くの可能なアプリケーションを提示する。Copyright International Association for Cryptologic Research 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： エントロピー ,  *エンドツーエンド方式 ,  応用プログラム ,  転写
準シソーラス用語： *マルチパーティ計算 ,  離散対数 ,  ゼロ知識 , 【Automatic Indexing@JST】

著者キーワード (4件)： マルチパーティ計算 ,  ゼロ知識 ,  プライバシー ,  検証可能性

分類 (2件)： データ保護  (JD01020V) ,  符号理論  (ND02030R)

タイトルに関連する用語 (5件)： クラウド ,  検証 ,  知識 ,  エンドツーエンド ,  マルチパーティ計算