Qual é o melhor explicador para zkSNARKs que você já viu para um público não cripto? Precisa ter algum nível de detalhes, explicar alguns truques com polinômios. Estou pensando que IOPs e argumentos de permutação são provavelmente longe demais.