• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Cryptography and coding >Practical Zero-Knowledge Proofs for Circuit Evaluation
【24h】

Practical Zero-Knowledge Proofs for Circuit Evaluation

机译：电路评估的实用零知识证明

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

摘要

Showing that a circuit is satisfiable without revealing information is a key problem in modern cryptography. The related (and more general) problem of showing that a circuit evaluates to a particular value if executed on the input contained in a public commitment has potentially multiple practical applications. Although numerous solutions for the problem had been proposed, their practical applicability is poorly understood.rnIn this paper, we take an important step towards moving existent solutions to practice. We implement and evaluate four solutions for the problem. We investigate solutions both in the common reference string model and the random oracle model. In particular, in the CRS model we use the recent techniques of Groth-Sahai for proofs that use bilinear groups in the asymmetric pairings environment. We provide various optimizations to the different solutions we investigate. We present timing results for two circuits the larger of which is an implementation of AES that uses about 30000 gates.
机译：在不泄露信息的情况下证明电路是可以满足的是现代密码术中的关键问题。相关的（更普遍的）问题是，如果对公共承诺中包含的输入执行电路，电路会评估为特定值，则可能具有多种实际应用。尽管已经提出了许多解决问题的方法，但是对它们的实际适用性却知之甚少。在本文中，我们朝着将现有解决方案付诸实践迈出了重要的一步。我们实施并评估了针对该问题的四种解决方案。我们研究通用参考字符串模型和随机预言模型中的解决方案。特别是，在CRS模型中，我们使用Groth-Sahai的最新技术来证明在非对称配对环境中使用双线性组的证据。我们为研究的不同解决方案提供了各种优化。我们介绍了两个电路的时序结果，其中较大的是使用约30000门的AES实现。

著录项

  • 来源
    《Cryptography and coding》|2009年|P.469-494|共26页
  • 会议地点 Cirencester(GB);Cirencester(GB)
  • 作者

    Essam Ghadafi; Nigel P. Smart; Bogdan Warinschi;

  • 作者单位

    Dept. Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, United Kingdom;

    rnDept. Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, United Kingdom;

    rnDept. Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, United Kingdom;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 密码的编码与译码;
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号