El equipo de verificación formal de Nethermind ha desarrollado experiencia en la verificación de zkVM desde hace 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 un billón de dólares