Comunicado de Prensa
Un hito en la seguridad de contratos inteligentes: Certora se une a la plataforma de contratos inteligentes de la red Stellar Soroban
Fecha de publicación
Soroban
Seguridad
Contratos inteligentes
Soroban será el primer proyecto impulsado por WASM apoyado por la firma de seguridad líder en la industria Certora
SAN FRANCISCO, CA, 11 de octubre de 2023 —Hoy, Stellar Development Foundation y Certora anunciaron soporte de seguridad para Soroban, la plataforma de contratos inteligentes de la red Stellar con capacidades avanzadas de verificación formal. Soroban es la primera plataforma impulsada por WASM que recibe soporte de Certora, tradicionalmente asociada con la máquina virtual de Ethereum (EVM).
En el mundo adversario de los contratos inteligentes, la seguridad es primordial. Los contratos inteligentes, que automatizan transacciones y procesos en plataformas blockchain, son sensibles. Manejan una cantidad significativa de capital, son completamente transparentes – así que cualquiera puede ver el código y los errores – y son inmutables, lo que significa que la mitigación de errores requiere procesos de gobernanza largos. Este entorno hace que la seguridad sea innegociable y la corrección del código crucial para prevenir vulnerabilidades con el fin de ayudar a proteger los activos de los usuarios. Certora, una herramienta pionera de verificación formal, ha estado a la vanguardia de este esfuerzo, proporcionando a los desarrolladores los medios para verificar su código.
Una de las lecciones aprendidas de nuestra experiencia en DeFi es que las herramientas y auditorías llegan demasiado tarde en el proceso de desarrollo. Esta supervisión aumenta los costos de software y lleva a que los errores solo se detecten después de que las vulnerabilidades hayan sido explotadas. Las herramientas de Certora pueden ayudar a los desarrolladores a escribir especificaciones antes de que el código esté completo para asegurar aplicaciones seguras y confiables. Estamos emocionados de unirnos al ecosistema de Soroban.
Mooly Sagiv, CEO de Certora
El potente software de Certora aprovecha 20 años de investigación académica y tecnologías únicas que escalan la Verificación Formal a programas reales, asegurando la seguridad y confiabilidad de los contratos inteligentes. La Verificación Formal va más allá de los métodos de prueba tradicionales. El proceso matemático revisa rigurosamente el código contra su especificación prevista, al igual que un corrector de pruebas revisaría un ensayo en busca de errores gramaticales, y ayuda a identificar y eliminar problemas potenciales. Este enfoque proporciona un nivel más alto de confianza en la corrección y seguridad de los contratos inteligentes, previniendo errores como el reciente error del compilador Vyper de ser incluidos. En los últimos cuatro años, Certora ha asegurado el código de los clientes y prevenido más de 100 errores de alta seguridad en protocolos DeFi líderes como Aave V2, Balancer V2, Aave V3, Compound V2, Compound V3, Gnosis Safe, SushiSwap ConstantPool, y Lido. Certora asegura 25 mil millones de dólares de valor total bloqueado en Ethereum, según DefiLlama.
Pero las herramientas de verificación formal de Certora van más allá de solo revisar el código una vez. Proporciona un servicio de integración continua. Siempre que el código cambia, se alinea con las especificaciones. Este enfoque proactivo de la verificación ayuda a prevenir errores y vulnerabilidades desde el principio, ahorrando tiempo y recursos a largo plazo. Se integra en el flujo de desarrollo normal.
El enfoque de Soroban en la escalabilidad, sostenibilidad y pruebas marca una nueva generación de contratos inteligentes. Con WASM, un formato de código binario portátil bien adaptado para entornos blockchain, Soroban abre la puerta a una amplia gama de lenguajes de programación y herramientas, incluidas las pruebas, facilitando a los desarrolladores la construcción en la red Stellar. Y ahora, con el apoyo de Certora, Soroban mejora aún más su atractivo para los desarrolladores. Las capacidades de verificación formal de Certora ayudarán a los desarrolladores en la plataforma Soroban a asegurar la fiabilidad y seguridad de sus contratos inteligentes, dando a los usuarios mayor confianza en las aplicaciones con las que interactúan finalmente.
El apoyo de Certora a Soroban dará a los más de 100 proyectos ya en la plataforma acceso a herramientas innovadoras de verificación construidas para lograr la corrección del software. Junto con las pruebas integradas y la seguridad de Soroban, los desarrolladores tienen las herramientas necesarias para evitar las vulnerabilidades que hemos visto acaparar titulares en el pasado y abrir camino para un ecosistema DeFi seguro desde el inicio.
Tomer Weller, VP de Producto en Stellar Development Foundation
Además de crear una herramienta de verificación formal específica para Soroban, el equipo de seguridad de Certora participará en la Iniciativa de Banco de Auditorías de Soroban, invirtiendo tiempo y fondos en capacitar al ecosistema de Soroban sobre el uso de este nuevo servicio.
Para más información Certora y Soroban visita nuestras webs y síguenos en redes sociales, y discord para las últimas noticias y actualizaciones.