Buterin pede foco na segurança do zkEVM no Ethereum
Vitalik Buterin declarou o fim da corrida por velocidade no zkEVM e pediu foco total na segurança, destacando precisão, custos limitados e proteção do sistema de provas.
Vitalik Buterin declarou que a corrida por velocidade na tecnologia de zero-knowledge do Ethereum chegou ao fim, incentivando os desenvolvedores a focarem totalmente na segurança. Em uma série de postagens, ele parabenizou a equipe do ZKsync Airbender por seu marco e enfatizou que o principal desafio agora é garantir uma segurança robusta para o ecossistema. Buterin destacou três prioridades para a verificação formal: garantir que a estrutura matemática das provas esteja alinhada com as especificações técnicas do Ethereum, impor limites máximos rigorosos aos custos de produção das provas em relação ao gás por bloco e proteger o próprio sistema de provas. Ele alertou que provas rápidas, porém imprecisas, ou custos excessivos podem representar riscos ao Ethereum e prejudicar a descentralização. O foco na segurança surge à medida que as zero-knowledge proofs passam a desempenhar um papel central no roadmap do Ethereum, especialmente nos processos de verificação de blocos.