Advances in Cryptology - EUROCRYPT 2023 - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part II
Advances in Cryptology - EUROCRYPT 2023 - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part II
复制标题
密码学进展 - EUROCRYPT 2023 - 第 42 届密码技术理论与应用国际会议，法国里昂，2023 年 4 月 23-27 日，会议记录，第二部分
DOI：
10.1007/978-3-031-30617-4_14
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Basso A
中科院分区：
文献类型：
--
作者：
Basso A
生成一个超奇异椭圆曲线，使得没有人知道它的同态环是一项众所周知的艰巨任务，尽管有几个基于同源的协议依赖于这样的对象。人们经常提出可信设置作为解决方法，但有几个方面仍不清楚。在这项工作中，我们开发了实际运行这种分布式可信设置仪式所需的工具。我们的主要贡献是第一个与任何基础领域兼容的同源知识的统计零知识证明。为了证明统计ZK，我们引入了具有Borel能级结构的同源图，并证明它们具有Ramanujan性质。然后，我们在简化的通用可组合性框架中基于 ZK 证明分析分布式可信设置协议的安全性。最后，我们开发了 ZK 证明的优化实现，并提出了具体部署可信设置协议的策略。
Generating a supersingular elliptic curve such that nobody knows its endomorphism ring is a notoriously hard task, despite several isogeny-based protocols relying on such an object. A trusted setup is often proposed as a workaround, but several aspects remain unclear. In this work, we develop the tools necessary to practically run such a distributed trusted-setup ceremony.Our key contribution is the first statistically zero-knowledge proof of isogeny knowledge that is compatible with any base field. To prove statistical ZK, we introduce isogeny graphs with Borel level structure and prove they have the Ramanujan property. Then, we analyze the security of a distributed trusted-setup protocol based on our ZK proof in the simplified universal composability framework. Lastly, we develop an optimized implementation of the ZK proof, and we propose a strategy to concretely deploy the trusted-setup protocol.