As provas ZK estão revolucionando as criptomoedas e inflando egos. Todos afirmam ter um sistema verdadeiro de provas, mas as aplicações são a parte importante, as provas agora são uma mercadoria. Além disso: se a nova prova de zk de uma empresa começa com 'h' ou 'hiper', ela abandonou seu antigo deus para verificar a soma

Sum-check é uma abordagem de ZK tão antiga que ninguém está no Twitter para afirmar que inventou isso. Justin Thaler fez seu nome apontando que é realmente útil. Ele pode estar certo... Ou formar um novo culto. Mas os projetos mudam para fazer som-check, às vezes fingindo que é o antigo deus inventado deles...

Ok, chega de alegorias. SNARKs representam programas como polinômios. A verificação de soma usa polinômios multivariados, por exemplo, P(x,y) = x^2+2y. Mais confuso ainda, os estilos de nomenclatura "h" e "hiper" são causados pelos polinômios que formam um hipercubo booleano. Uma forma sofisticada de dizer que cada variável é 0 ou 1.

Pense nisso como computadores: computadores operam em binário em vez de base 10 porque algumas operações comuns são mais eficientes quando divididas bit a bit em vez de dígito por dígito. O Sum-Check faz algo muito parecido para programas que prova serem satisfeitos.

Uma vantagem dessa abordagem, não exclusiva do som-check (veja, por exemplo, esquemas de dobra), é o streaming. Para muitos sistemas de prova baseados em FFT/hash, você precisa encaixar toda a instrução que está provando na memória. Funciona bem para coisas pequenas, mas o Max sai rapidamente de um laptop.

Essa restrição limita você a servidores grandes para os quais todos precisam enviar seus dados para prova. Não são muito Zk da parte deles. É útil para rodar um compactador de lixo gigante (quer dizer, centralizado de agrupamento), mas falha para privacidade do lado do cliente, que é onde o mercado está buscando (por enquanto)

Como eu disse, o sum-check não é o único esquema de streaming. Também tem dobração. O trabalho duro que foi dedicado para criar todos esses esquemas zk também os tornou uma mercadoria. Escolha o que você precisa e foque nas aplicações. Não adore um sistema de prova ou equipe. Internamente, a equipe não