スマート契約におけるZkay仕様とデータプライバシーの強化【JST・京大機械翻訳】

Steffen Samuel; Bichsel Benjamin; Gersbach Mario; Melchior Noa; Tsankov Petar; Vechev Martin

文献

J-GLOBAL ID：202002276982617667 整理番号：20A2000070

スマート契約におけるZkay仕様とデータプライバシーの強化【JST・京大機械翻訳】

zkay Specifying and Enforcing Data Privacy in Smart Contracts

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A2000070&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (6件)： , , , , ,
資料名：
号： CCS ’19 ページ： 1759-1776 発行年： 2019年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

スマート契約のプライバシー懸念は,それらのより広い採用を妨げる主要な道路ブロックである。プライベートデータを保護するための有望なアプローチは,暗号プリミティブでそれを隠し,次に,非対話型ゼロ知識(NIZK)証明によって状態更新の正当性を強制する。残念なことに,NIZKステートメントは,スマート契約よりも表現力が少なく,開発者が契約に何らかの機能を保つことを強制する。これは,散乱論理,契約コードとNIZKステートメントを横断して,不明確なプライバシー保証を持つ。これらの問題に取り組むために,私的価値の所有者を定義するプライバシータイプを導入する,zkay言語を提示し,(i)NIZK証明を用いて実現可能であり,(ii)非意図情報漏洩を防止できる。さらに,zkay契約の論理は,プライバシータイプを無視するだけで追跡するのが容易である。zkay契約を強制するために,著者らは,プライバシーと機能性に関して,それらを自動的に契約に変換する,しかし,公共ブロックチェーンに関して実行可能であった。このアプローチを,固体契約を生成する概念実証実装に関して評価し,zkayにおける10の興味深い事例契約を実行した。その結果,zkayは実用的で,変換契約を実行するためのオンチェーンコストは,トランザクション当たり約1Mガス(λ>0.50US$)であり,オフチェーンコストが適度であることを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , , , , ,
, 【Automatic Indexing@JST】

著者キーワード (4件)： , , ,

データ保護 , 符号理論

, , ,

前のページに戻る