Подорож до найшвидших доказів zkSNARK: Сума-чек'92 ➜ IP для схем малої глибини (GKR/CMT'12) ➜ СНАРКИ для схем малої глибини (vSQL'17) ➜ СНАРКИ для загальних схем+пошуків (Spartan'19) ➜ zkVM через пошукові запити (Lasso+Jolt'23, Twist+Shout'25) Перевірка суми також сприяє складанню: Neo!