BabySpartan：对non-uniform computation的Lasso-based SNARK
1. 引言
前序博客有：
- Lasso、Jolt 以及 Lookup Singularity——Part 1
- Lasso、Jolt 以及 Lookup Singularity——Part 2
- 深入了解Lasso+Jolt
- multilinear多项式承诺方案benchmark对比
见Srinath Setty和Justin Thaler 2023年论文《BabySpartan: Lasso-based SNARK for non-uniform computation》。
Lasso为Justin Thaler等人最近提出的lookup argument：
- 用于Prover仅对“small” values做密码学承诺的场景。
BabySpartan为：
- 对针对具备相同属性（即，Prover仅对“small” values做密码学承诺的场景）的约束系统的SNARK。
- 支持通用Plonkish约束系统。
- 支持特殊的 customizable constraint systems (CCS)。
- 为SuperSpartan + Lasso。
- BabySpartan可看成是：将Lasso用于non-uniform computation。
- Jolt可看成是：将Lasso用于uniform computation。