Ethereum aposta na computação paralela verificável para escalar

Vitalik Buterin afirma que as provas criptográficas podem ajudar o Ethereum a transformar a descentralização numa vantagem de escalabilidade, distribuindo a computação pelos participantes e permitindo que outros verifiquem os resultados a baixo custo. Num ensaio de 27 de setembro, descreveu um «computador mundial criptográfico» a longo prazo, no qual executar e verificar o trabalho seriam funções separadas, em vez de exigir que todos os nós descarreguem as transações e repitam os mesmos cálculos.

Porque é importante

O modelo L1 zkEVM proposto para o Ethereum permitiria a um provador especializado executar um bloco e gerar uma prova que os outros nós poderiam verificar com menos custos do que se voltassem a executar todas as transações. A tecnologia continua em fase de investigação e ainda não foi integrada nos clientes Ethereum de produção. Buterin aponta também a amostragem de dados, um consenso proof-of-stake otimizado e a construção de blocos partilhada por vários participantes como elementos de uma mudança mais ampla.

Isto poderá alterar a economia das aplicações. Cargas de trabalho compostas por elementos independentes, que possam ser paralelizados, agregados ou removidos, poderão adaptar-se melhor à arquitetura emergente do que transações grandes e sequenciais, com cálculos estreitamente interdependentes. O Ethereum poderá funcionar cada vez mais como camada de coordenação e verificação, enquanto parte da computação decorre em infraestruturas distribuídas.

Impacto no mercado

O roteiro é uma perspetiva para o futuro, e as provas não eliminam a necessidade de aceder aos dados subjacentes a cada cálculo. Buterin identifica o estado crescente do Ethereum, que inclui os saldos das contas e o armazenamento dos contratos inteligentes, como uma limitação sistémica mais difícil. A fraqueza do modelo sem estado é uma das linhas de investigação que poderá permitir à maioria dos validadores verificar blocos sem manter a base de dados completa do estado.

Buterin afirmou que Hegotá, atualmente previsto para 2027, poderá ser a última bifurcação «normal» do Ethereum que os programadores da sua era anterior reconhecerão. O PeerDAS deu início à transição, enquanto se espera que as atualizações posteriores dependam mais de provas recursivas, verificação formal, consenso otimizado e criptografia resistente à computação quântica. O desafio é perceber se estas ferramentas conseguem suportar uma computação mais distribuída, mantendo acessíveis os dados do estado.