通往最快的 zkSNARK 证明者之旅： Sum-check’92 ➜ 低深度电路的 IP（GKR/CMT’12） ➜ 低深度电路的 SNARK（vSQL’17） ➜ 一般电路+查找的 SNARK（Spartan’19） ➜ 通过查找的 zkVM（Lasso+Jolt’23，Twist+Shout’25） Sum-check 还支持折叠：Neo！