计算复杂度

ZK白板系列S2 - M6：折叠方案 folding schemes

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