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.

El Portal de Seguridad Soroban

El Portal de Seguridad Soroban es una plataforma de seguridad desarrollada por Inferara. Es una solución impulsada por la comunidad, basada en una base de datos en constante mantenimiento de auditorías de seguridad e informes de vulnerabilidades relacionados con el desarrollo de contratos inteligentes Soroban. La experiencia del usuario se enriquece con búsqueda semántica y otras funciones, permitiendo una búsqueda fluida y el trabajo con datos relacionados con la seguridad. El Portal también abarca proyectos, auditores, herramientas y muchos más del ecosistema Stellar.