Путешествие к самым быстрым zkSNARK провайдерам: Проверка суммы’92 ➜ IP для низкоуровневых схем (GKR/CMT’12) ➜ SNARK для низкоуровневых схем (vSQL’17) ➜ SNARK для общих схем+поисков (Spartan’19) ➜ zkVM через поиски (Lasso+Jolt’23, Twist+Shout’25) Проверка суммы также поддерживает сворачивание: Нео!