Reis naar de snelste zkSNARK-provers: Som-controle’92 ➜ IP's voor circuits met lage diepte (GKR/CMT’12) ➜ SNARKs voor circuits met lage diepte (vSQL’17) ➜ SNARKs voor algemene circuits+lookups (Spartan’19) ➜ zkVM's via lookups (Lasso+Jolt’23, Twist+Shout’25) Som-controle ondersteunt ook folding: Neo!