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