Nova-Scotia代码解析

1. 引言

前序博客：

• Nova代码解析

开源代码见：

• https://github.com/nalinbhardwaj/Nova-Scotia（JavaScript+Rust）

Nova-Scotia定位为中间件，本质为：

• 1）读取以Circom编写的电路文件，将Circom电路解析为CircomCircuit结构体。
• 2）基于CircomCircuit结构体，实现Nova的StepCircuit trait中的arity()、synthesize()、output()函数。

从而打通了将Circom生态接入Nova证明系统的通道。

Nova系列博客

• Nova: Recursive Zero-Knowledge Arguments from Folding Schemes学习笔记
• Nova 和 SuperNova：无需通用电路的通用机器执行证明系统
• Sangria：类似Nova folding scheme的relaxed PLONK for PLONK
• 基于Nova/SuperNova的zkVM
• SuperNova：为多指令虚拟机执行提供递归证明
• Lurk——Recursive zk-SNARKs编程语言
• Research Day 2023：Succinct ZKP最新进展
• 2023年 ZK Hack以及ZK Summit 亮点记
• 基于cycle of curves的Nova证明系统（1）
• 基于cycle of curves的Nova证明系统（2）
• Nova代码解析
• Nova中 Vitalik R1CS例子 的 folding scheme
• 基于Nova的MinRoot VDF实现
• 基于Nova的SHA256证明