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。