As provas ZK estão a revolucionar o crypto e a inflacionar egos. Todos afirmam ter o único verdadeiro sistema 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 zk de uma empresa começa com 'h' ou 'hyper', abandonaram o seu antigo deus por sum-check.

A verificação de soma é uma abordagem ZK tão antiga que ninguém está no Twitter para afirmar que a inventou. Justin Thaler fez seu nome apontando que na verdade é útil. Ele pode estar certo ... ou formando um novo culto. Mas os projetos mudam para a verificação de soma, às vezes fingindo que é seu antigo deus inventado...

Ok, chega de alegorias. Os SNARKs representam programas como polinómios. A verificação de soma utiliza polinómios multivariados, por exemplo, P(x,y) = x^2+2y. De forma mais confusa, o estilo de nomenclatura "h" e "hiper" vem dos polinómios que formam um hipercubo booleano. Uma forma sofisticada de dizer que cada variável é 0 ou 1.

Pense nisso como computadores: os 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 a dígito. A verificação de soma faz algo muito semelhante para programas que prova que estão satisfeitos.

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

Esta limitação restringe-o a grandes servidores para os quais todos têm de enviar os seus dados para prova. Não é muito Zk da parte deles. É útil para executar um enorme compactador de lixo (er, quero dizer, rollup centralizado), mas falha na privacidade do lado do cliente, que é onde o mercado está a olhar (por agora)

Como eu disse, a verificação de soma não é o único esquema de streaming. Há também o folding. O trabalho árduo que foi feito para criar todos esses esquemas zk também os tornou uma mercadoria. Escolha o que você precisa e concentre-se nas aplicações. Não adore um sistema de prova ou uma equipe. Internamente, a equipe não