Vitalik Buterin: as blockchains estão entrando em uma nova era de computação Na Global Blockchain Summit (Shanghai Blockchain Week), Vitalik Buterin explicou como provas ZK, verificação formal e IA estão prestes a redesenhar a arquitetura das blockchains. Seu ponto central: o modelo antigo — no qual cada node reexecuta o mesmo cálculo — está sendo substituído. Com SNARKs/STARKs, uma parte realiza o cálculo e prova, enquanto todos os demais apenas verificam. STARKs recursivos (ligados à sua proposta EIP-8288) poderiam agrupar muitas provas em uma única, reduzindo dados e custos on-chain. Combinados com a EIP-8141 (dividindo transações em ações paralelizáveis) e FOCIL (construção descentralizada de blocos), o objetivo é uma pipeline de computação completa — desde a execução em dispositivos locais até mempools, agregação de provas, L2s e L1 — que escala sem sacrificar a descentralização. Sobre IA, Buterin a vê como infraestrutura essencial para a próxima fase: escrever/auditar código, gerar especificações e executar verificação formal em escala que humanos não conseguem alcançar manualmente — o que, segundo ele, é fundamental para corrigir as falhas de segurança atuais nas L2. Ele pede aos desenvolvedores que parem de projetar para um mundo onde criptografia avançada e verificação automatizada não eram práticas — porque essa restrição está desaparecendo rapidamente. #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto