Vitalik publica artigo, protocolo GKR melhora a eficiência computacional das provas de conhecimento zero

De acordo com a ChainCatcher, o fundador do Ethereum, Vitalik Buterin, publicou esta manhã um artigo apresentando o protocolo GKR. O protocolo GKR (Goldwasser-Kalai-Rothblum) está se tornando a tecnologia central dos sistemas de provas de conhecimento zero de alto desempenho.

Pesquisas recentes mostram que o GKR, ao evitar operações de compromisso nas camadas intermediárias e realizar compromissos apenas na entrada e saída, pode reduzir o custo teórico do método STARK tradicional de 100 vezes para cerca de 15 vezes, e em implementações práticas, até menos de 10 vezes. Este protocolo é especialmente adequado para modos de computação em múltiplas camadas, como a função de hash Poseidon e redes neurais. Sua tecnologia central, o “sumcheck”, simplifica recursivamente problemas multidimensionais por meio de combinações lineares aleatórias. Embora o GKR em si não forneça características de conhecimento zero, ele pode ser combinado com ZK-SNARK ou ZK-STARK, tornando-se um suporte tecnológico fundamental para provas ZK-EVM em tempo real e validação de modelos de aprendizado de máquina em larga escala.