• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Paradigms in cryptology-mycrypt 2016: malicious and exploratory cryptology >Multi-prover Interactive Proofs: Unsound Foundations
【24h】

Multi-prover Interactive Proofs: Unsound Foundations

机译：多验证者交互式证明：不健全的基础

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Several Multi-Prover Interactive Proofs (MIPs) found in the literature contain proofs of soundness that are lacking. This was first observed [1] in which a notion of Prover isolation is defined to partly address the issue. Furthermore, some existing Zero-Knowledge MIPs suffer from a catastrophic flaw: they outright allow the Provers to communicate via the Verifier. Consequently, their soundness claims are now seriously in doubt, if not plain wrong. This paper outlines the lack of isolation and numerous other issues found in the (ZK)MIP literature. A follow-up paper will resolve most of these issues in detail.
机译：文献中发现的几种多重验证交互式证明（MIP）包含缺乏健全性的证明。首次观察到这一点[1]，其中定义了“证明隔离”的概念以部分解决该问题。此外，一些现有的零知识MIP遭受灾难性的缺陷：它们完全允许Provers通过验证者进行通信。因此，他们的健全性主张现在受到严重质疑，即使不是完全错误的话。本文概述了（ZK）MIP文献中缺乏隔离和其他许多问题。后续文件将详细解决其中的大多数问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号