SuperNova是一种新的递归证明系统，用于在具有特定指令集的有状态机器上逐步生成程序正确执行的简洁证明。
这些似乎都是很棒的功能。本文将主要解读这些功能是如何实现的。
内容
- 什么是折叠？
- 用 R1CS 表示计算
- Nova：单个指令的 NIVC
- SuperNova：用于多指令的 NIVC（ZKVM）
- 与其他递归不同
本文详细内容请查看《Sin7y 技术评论》（34）：SuperNova 的折叠方案是 ZK 的终局吗？
如果您对 SuperNova 的折叠方案有任何疑问，请随时通过 < contact@sin7y.org > 与我们联系。欢迎关注 Ola 官方Twitter ，加入我们的Discord服务器，获取 Ola 的最新动态！
关于
本每周报告旨在提供与Sin7y — Ola和零知识密码学相关的最新进展和新闻的更新，它有可能彻底改变我们在数字时代处理隐私和安全的方式。我们将持续关注并报导该领域的最新进展。如果您想加入我们或与我们合作，请写信至 < contact@sin7y.org >。
