Voyage vers les proveurs zkSNARK les plus rapides : Vérification de somme’92 ➜ IPs pour circuits à faible profondeur (GKR/CMT’12) ➜ SNARKs pour circuits à faible profondeur (vSQL’17) ➜ SNARKs pour circuits généraux + recherches (Spartan’19) ➜ zkVMs via recherches (Lasso+Jolt’23, Twist+Shout’25) La vérification de somme alimente également le pliage : Neo !