Herramientas de Seguridad

Scout: Combatiente de Errores

Una herramienta de análisis de código estático desarrollada para ayudar a los desarrolladores y auditores de Soroban a identificar posibles amenazas de seguridad y aplicar prácticas recomendadas.

Almanax

Almanax es un ingeniero de seguridad con IA diseñado para ayudar a los equipos a prevenir ataques.

Almanax utiliza LLMs para identificar vulnerabilidades complejas de seguridad tanto en contratos inteligentes como en código convencional. También se integra con pipelines de CI/CD para detectar automáticamente incidencias antes de que el código llegue a producción.

Certora Sunbeam

Sunbeam es una herramienta de verificación formal desarrollada por Certora para contratos inteligentes Soroban en la blockchain Stellar. Diseñada específicamente para bytecode WebAssembly (Wasm), Sunbeam verifica el código del contrato desplegado, no solo el código fuente en Rust, eliminando la necesidad de confiar en el compilador Rust. Los desarrolladores escriben propiedades de corrección usando un lenguaje de especificación ligero integrado en Rust, y Sunbeam comprueba rigurosamente que el Wasm compilado cumple esas propiedades.