Cesta k nejrychlejším zkSNARK provers: Sum-check'92 ➜ IP adresy pro obvody s malou hloubkou (GKR/CMT'12) ➜ SNARKy pro nízkohloubkové obvody (vSQL'17) ➜ SNARKy pro obecné obvody+vyhledávání (Spartan'19) ➜ zkVMs pomocí vyhledávání (Lasso+Jolt'23, Twist+Shout'25) Sum-check také podporuje skládání: Neo!