登录后可观看高清视频
ZK白板系列S2 - M6：折叠方案 folding schemes
93次播放
2025-02-26
在本模块中，Nico和Albert讨论了折叠方案（folding schemes）的定义及其应用，特别是Hypernova方案的最新进展。
-
核心内容概括： 视频主要介绍了折叠方案的基本概念、性质以及自2022年Nova方案发布以来的进展。Albert详细解释了折叠方案的工作原理，特别是如何通过折叠将多个实例合并为一个新的实例，并介绍了Hypernova作为一种新型折叠方案的优势。
-
关键论据和信息：
- 折叠方案的定义：折叠方案是一个交互式协议，涉及证明者和验证者之间的消息交换，最终输出一个新的实例-见证对。
- 重要性质：
- 完整性：如果证明者诚实，输出的结果应属于累积关系。
- 知识安全性：如果输出属于累积关系，则初始实例应是正确的。
- 应用：折叠方案在增量可验证计算（IVC）和证明携带数据（PCD）中具有重要应用。
- Hypernova的优势：与Nova相比，Hypernova在处理高阶约束时没有错误项，降低了计算复杂度，并且能够处理不同矩阵的折叠。
- 新进展：提到了一些新方案，如Mova和Protogalaxy，旨在解决Nova的局限性，特别是在高阶约束和承诺成本方面。
总的来说，视频深入探讨了折叠方案的理论基础及其在现代密码学中的应用，强调了Hypernova在这一领域的重要性和潜力。
