推荐开源项目：Nova - 高速递归SNARK技术

推荐开源项目：Nova - 高速递归SNARK技术

1、项目介绍

Nova 是一个基于折叠方案的高速递归简短非交互证明（SNARK）系统。它实现了增量式可验证计算（IVC），这是一种强大的密码学原语，允许证明者以一种增量方式证明“长期运行”的顺序计算的正确执行。通过Nova，证明者可以接收已证明前$i$步的证明$\pi_i$，然后更新为证明前$i + 1$步的证明$\pi_{i+1}$，而这项工作的复杂性并不依赖于已经执行的步骤数量。

2、项目技术分析

Nova 的核心特性在于其简单性和高效性。它从称为“折叠方案”的基本原始构建块出发，这种方案将检查两个NP陈述的任务转化为检查单个NP陈述的任务。Nova 提供了一个Rust库实现，支持Pallas/Vesta、BN254/Grumpkin和secp/secq三种椭圆曲线周期。该库还包含了两种承诺方案以及评估论证：

• 使用IPA的Pedersen承诺与评估论证。
• 基于多线性KZG的承诺和评价论证。

此外，Nova 还采用Spartan构造了一个SNARK来压缩由其生成的IVC证明，提供了预处理和无预处理两种变体。

3、项目及技术应用场景

Nova 及其IVC技术在以下几个方面有广泛的应用：

• Rollups：提高区块链扩展性的层2解决方案。
• VDFs（可验证延迟函数）：用于公正随机数生成和防 ASIC 恶意行为。
• 简洁区块链：使区块链记录保持小且易于验证。
• 可验证状态机：确保分布式系统的安全和一致性。
• 虚拟机执行的证明：如EVM或RISC-V。

4、项目特点

• 简单而高效：Nova是最简单的递归证明系统之一，但拥有最快的证明生成速度。
• 最小化的验证电路：验证电路大小仅为大约10,000乘法门，减少了计算负担。
• 多语言前端支持：包括bellpepper、Circom和Lurk等多种工具，允许使用不同语言编写高级程序并进行证明。
• 严格的贡献指南：保证代码质量和安全性，鼓励提交清晰、易审查的改进。

结语

Nova 不仅是一个高效的SNARK系统，还是探索去中心化应用和区块链技术潜在突破的关键工具。无论是开发者寻求构建高效、安全的分布式系统，还是研究人员希望深入理解递归证明系统，这个开源项目都值得您的关注和使用。现在就加入 Nova 社区，发掘递归SNARK的无限可能吧！