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