El equipo de verificación formal en Nethermind ha desarrollado experiencia en la verificación de zkVMs durante algún tiempo. La misión es hacer de zk una forma confiable y correcta de escalar Ethereum. Estamos demostrando que un nuevo nivel de seguridad en la infraestructura de Ethereum está al alcance. Seguridad de billones de dólares 🫡