Vitalik Buterin publicou um longo texto: O protocolo de senha GKR pode provar rapidamente o Ethereum, zk-ML está acelerando a AI LLM

Vitalik Buterin nomeou GKR, que pode gerar prova de Ethereum L1 em tempo real com uma pequena quantidade de GPU, abrindo um novo capítulo para a escalabilidade ZK (Resumo anterior: Os robôs MEV do Ethereum são lavagem de dinheiro? O tribunal dos EUA analisa pela primeira vez o caso dos irmãos MIT, com arbitragem de sanduíche de 25 milhões de dólares envolvendo fraude) (Contexto adicional: Butão transfere a “identificação digital nacional” de 800 mil cidadãos para o Ethereum, Vitalik: permitindo que as pessoas tenham controle sobre seus dados) O fundador do Ethereum, Vitalik Buterin, afirmou em uma publicação no dia 19 que o protocolo GKR permite que a prova de conhecimento zero (ZKP) entre na era de operação em tempo real: 50 GPUs de consumo podem processar Ethereum L1, e um laptop comum pode validar 2 milhões de vezes por segundo o hash Poseidon. Esse avanço estabelece uma nova referência para a escalabilidade da blockchain e a proteção da privacidade. A eficiência do GKR vem do fato de que o protocolo GKR é projetado para cenários de cálculo específicos, com uma vantagem central de simplicidade. Os STARKs tradicionais exigem compromissos em todas as camadas intermediárias do circuito, consumindo facilmente centenas de FFTs e hashes; o GKR apenas compromete a entrada e a saída, reduzindo drasticamente o tamanho da prova e o tempo de verificação. Buterin explicou: “O GKR é um protocolo criptográfico projetado especificamente para esse tipo de modelo. Sua eficiência se deve ao fato de evitar compromissos em todas as camadas intermediárias.” Tomando o hash Poseidon2 como exemplo, o GKR teoricamente pode reduzir os custos dos provadores em cerca de quinze vezes, enquanto soluções tradicionais podem amplificar até cem vezes. A eficiência ainda pode ser melhorada com o truque de Grün, processamento em lote linear e otimização parcial. No entanto, Buterin também alertou os desenvolvedores para garantir que o desafio Fiat–Shamir seja realmente aleatório para manter a segurança. ZK-EVM e zk-ML aceleram Provedores eficientes se manifestam imediatamente no ZK-EVM. O Pico Prism da Brevis usa um cluster de múltiplas GPUs, completando 99,6% da prova do bloco Ethereum L1 em 12 segundos; o Airbender da ZKSync também alcançou validação em milissegundos. Esses casos mostram que técnicas do tipo GKR estão impulsionando a geração de blocos em tempo real. As mesmas características estruturais tornam o GKR aplicável a “cálculos de baixo nível em várias camadas + funções repetitivas em grande quantidade” do zk-ML. A inferência do modelo pode ser verificada sem vazar pesos e entradas, estabelecendo a base para a computação de privacidade em IA. Perspectiva de Wall Street: eficiência é competitividade O GKR leva a prova de conhecimento zero para aplicações em larga escala, semelhante à otimização de desempenho do TCP/IP na época. Para investidores, a infraestrutura ZK de alto desempenho e novas aplicações descentralizadas se tornarão o foco; custos de computação mais baixos também podem atrair instituições tradicionais para o mercado. Embora atualmente o provedor ainda dependa de muitas GPUs, se chips ASIC forem implementados no futuro, a barreira econômica pode continuar a cair. O GKR resolveu a velocidade e a simplicidade, enquanto a camada de privacidade pode ser complementada por SNARK ou STARK. À medida que a tecnologia ZK de ultra-alta velocidade amadurece, uma ecologia Web3 escalável, eficiente e amigável à privacidade está se formando rapidamente. Relatórios relacionados: A atualização Fusaka do Ethereum foi concluída, o teste Sepolia está em andamento, e o próximo passo é o lançamento da testnet Hoodi, previsto para o início de dezembro na rede principal. A Fundação Ethereum estabeleceu um “grupo de pesquisa sobre privacidade” para promover seis roteiros, iniciando totalmente a competição na trilha da privacidade. Juiz dos EUA foi “recompensado fisicamente” com um incêndio em sua casa! V chamou: use votação zk para proteger os funcionários do sistema judicial <V escreveu um longo artigo: O protocolo criptográfico GKR pode provar rapidamente o Ethereum, e o zk-ML está acelerando o AI LLM> este artigo foi publicado pela primeira vez na BlockTempo “Movimento Blockchain - O meio de comunicação mais influente em blockchain.”