A equipe de verificação formal da Nethermind desenvolveu experiência na verificação de zkVMs há algum tempo. A missão é tornar o zk uma maneira confiável e correta de escalar o Ethereum. Estamos provando que um novo nível de segurança na infraestrutura do Ethereum está ao nosso alcance. Segurança 🫡 de trilhões de dólares