Buterin: Ethereum mudará para verificação por prova até 2030
Ele apresentou Hegotá no próximo ano como o último fork "normal" e colocou a privacidade de metadados de carteira e uma finalização mais rápida no roadmap.
Vitalik Buterin apresentou uma visão para o Ethereum em 2030 que afasta a rede da reexecução universal e em direção à verificação baseada em provas, com mais computação sendo realizada fora da cadeia. Ele enquadrou a atualização planejada de Hegotá do próximo ano como o último fork “normal” antes que essa era centrada em provas se torne a principal narrativa do roadmap do Ethereum.
O ‘Computador Mundial Criptográfico’ de Buterin Coloca Provas no Centro do Plano de 2030 do Ethereum
Vitalik Buterin publicou um post intitulado “O computador mundial criptográfico” em 27 de setembro descrevendo umEthereumestado final em 2030 que ainda pode ser chamado de blockchain, mas funcionaria de maneira diferente ao emparelhar a cadeia com provas criptográficas e redes de computadores trabalhando fora dela.
A parte relevante para o mercado é a sequência que ele anexou a isso. Buterin disse que a transformação do Ethereum aceleraria após a atualização planejada de Hegotá no próximo ano, e caracterizou Hegotá como o último fork “normal” do Ethereum, construído com tecnologia que pareceria familiar a alguém que trabalhou no Ethereum em 2015.
Depois disso, ele escreveu, as atualizações se inclinarão cada vez mais para provas matemáticas, ferramentas que verificam software em busca de erros e segurança projetada para resistir a futuros computadores quânticos.
Buterin também enquadrou o período pós-Hegotá como uma mudança de regime no que conta como trabalho “central” no Ethereum. “A partir de Hegotá, essa transformação se torna a principal história do Ethereum,” ele escreveu, descrevendo o resultado pretendido como “muito mais barato, escalável e privado em computação de alta segurança do que qualquer coisa que poderia ser feita apenas com a tecnologia da era anterior.”
De Todos Reexecutando para Muitos Verificando: A Proposta de Verificação Baseada em Provas
O modelo de segurança atual do Ethereum obtém sua garantia da repetição. Um computador que verifica completamente o Ethereum repete os cálculos por trás das transações, verificando se um remetente tinha fundos suficientes e se uma aplicação seguiu suas regras.
Essa redundância mantém a rede honesta, mas também limita a escalabilidade, pois adicionar mais computadores não aumenta automaticamente a capacidade quando cada um está ocupado verificando grande parte da mesma atividade.
A mudança proposta por Buterin é tornar a verificação mais barata do que a execução por padrão. Em sua perspectiva, um computador poderia processar transações e produzir uma prova matemática curta de que seguiu as regras, e outros computadores poderiam verificar essa prova muito mais rapidamente do que reexecutar o cálculo original.
Ele também descreveu “verificações pontuais separadas” como uma maneira de estabelecer que os registros de transações permanecem disponíveis para inspeção, mesmo enquanto diferentes máquinas realizam diferentes trabalhos e verificam os resultados umas das outras.
Ele posicionou isso como o ingrediente que faltava que tornava as ideias mais antigas de "dividir o trabalho" impraticáveis. "Naquela época, isso não era viável por uma razão principal: o ingrediente que faltava era a verificação," escreveu Buterin, referindo-se ao que os desenvolvedores do Ethereum queriam fazer uma década atrás.
O problema é que o paralelismo não remove os problemas de ordenação, apenas muda onde eles são resolvidos. Buterin observou que o Ethereum ainda precisaria resolver questões onde a ordem importa, como decidir qual de dois pagamentos que gastam os mesmos fundos veio primeiro, e sugeriu que mais do trabalho por trás dos pagamentos poderia ser concluído antecipadamente, com provas combinadas para reduzir as informações registradas na blockchain. O post descreve essa combinação conceitualmente, sem um caminho de implantação concreto.
Prioridades Pós-Hegotá: Privacidade de Metadados de Carteira e a Meta de Finalidade de 8 a 32 Segundos
Buterin colocou a privacidade no mesmo nível que a escalabilidade e a definiu de forma mais ampla do que transferências privadas. Seus objetivos de privacidade incluem ocultar metadados de atividade da carteira, incluindo solicitações de verificação de saldo que podem revelar quais endereços um usuário monitora quando uma carteira consulta um servidor externo.
Em seu exemplo, mesmo que os pagamentos sejam privados, o operador do servidor que responde às consultas de saldo pode descobrir quais contas uma pessoa segue. Buterin imaginou ocultar essas solicitações juntamente com os detalhes do pagamento e as regras que uma conta usa para aprovar gastos, para que uma empresa pudesse manter os pagamentos confidenciais sem revelar suas contas sempre que um funcionário verifica um saldo.
Sobre desempenho, a comparação de Buterin para 2030 imaginou que os pagamentos se tornariam finais, ou seja, tratados como irreversíveis pela rede em condições normais, em aproximadamente oito a 32 segundos.
Ele não anexou um cronograma de implementação além de dizer que a transformação mais ampla acelera após Hegotá, e listou pré-requisitos que permanecem como restrições de engenharia abertas: as provas precisam se tornar eficientes o suficiente para uso generalizado, e os computadores que lidam com trabalhos separados devem coordenar atualizações para os mesmos saldos e registros de aplicativos sem interferir uns nos outros.
Minha leitura: Hegotá como um ponto de inflexão narrativa, não um catalisador datado
Hegotá está sendo enquadrada como um fork que você pode calendarizar, mas o sinal mais importante é a maneira como Buterin está tentando re rotular o que vem depois. Chamá-lo de último fork "normal" é menos sobre o conjunto de EIPs de Hegotá, que ainda não está especificado, e mais sobre dizer ao mercado que provas e métodos formais devem se tornar o substrato padrão para futuras atualizações, em vez de um tema de escalabilidade adicional.
O limiar que importa é se os custos de prova caem o suficiente para que os desenvolvedores principais possam tratar a verificação baseada em provas como a segurança e o caminho de escalabilidade padrão, e se o modelo de trabalhador off-chain paralelo pode ser feito para coordenar um estado compartilhado sem introduzir novos modos de falha.
Se essas duas restrições começarem a ser resolvidas em propostas concretas após Hegotá, a configuração começa a parecer estrutural em vez de impulsionada por narrativas, porque o teto de throughput do Ethereum se torna um problema de custo de verificação em vez de um problema de reexecução universal.
