Smart Contracts
Nos ocupamos de que los contratos inteligentes hagan lo que dicen hacer. Auditamos código Solidity y Rust en busca de fallos conocidos, como reentrancy, errores de control de acceso o manipulación de precios, y usamos análisis estático, fuzzing y verificación formal para encontrar los que una revisión manual pasa por alto. Además documentamos patrones de desarrollo seguro y los aplicamos en los proyectos del grupo, del diseño a las pruebas previas al despliegue.