Stellar se asocia con Certora para controles de seguridad en contratos inteligentes de Soroban

cryptoshitcompra.com/wp-content/uploads/2023/10/Stellar-se-asocia-con-Certora-para-controles-de-seguridad-en.jpg» alt=»» width=»1920″ class=»content-img»/>

La Stellar Development Foundation (SDF) anunció el inicio de auditorías de seguridad para Soroban, la plataforma avanzada de contratos inteligentes dentro de la red Stellar. Esto es una anticipación del lanzamiento de Soroban.

Para llevar a cabo estos controles de seguridad integrales, SDF se asoció con Certora, una reconocida empresa de seguridad conocida por sus herramientas de verificación formal, según un comunicado de prensa oficial.

Esta colaboración destaca la necesidad crítica de evaluaciones de seguridad rigurosas en blockchain, donde pequeñas brechas pueden generar pérdidas considerables.

Además, los contratos inteligentes, que automatizan acciones y flujos de trabajo en redes blockchain, son muy susceptibles a ataques. Por lo tanto, requieren protocolos de seguridad sólidos para mitigar los riesgos potenciales.

Certora ayuda a los desarrolladores a identificar y prevenir fallas de seguridad en sus contratos inteligentes antes de implementar el código. Lo hace identificando violaciones de reglas que no deben infringirse en los contratos inteligentes.

Hasta ahora, Certora ha evitado errores en SushiSwap Tridente fondo de liquidez, Aave, Compound y Balancer. El año pasado, la empresa de seguridad recaudó 36 millones de dólares en una ronda Serie B liderada por Jump Crypto.

Mooly Sagiv, director ejecutivo de Certora, explicó en el comunicado de prensa:

«Una de las lecciones aprendidas de nuestra experiencia en DeFi es que las herramientas y la supervisión llegan demasiado tarde en el proceso de desarrollo. Esta supervisión aumenta los costos del software y conduce a la detección de errores solo después de que se han explotado las vulnerabilidades. Certora puede ayudar a los desarrolladores a escribir especificaciones antes del código. está completo para garantizar aplicaciones seguras y confiables. Estamos entusiasmados de unirnos al ecosistema de Soroban».

Stellar destacó en el anuncio que Soroban representa una nueva era de contratos inteligentes, enfatizando la escalabilidad, la sostenibilidad y las pruebas rigurosas.

Soroban aprovecha WASM, un formato de código binario adaptable ideal para configuraciones de blockchain.

Esto facilita la compatibilidad con varios lenguajes y herramientas de programación, simplificando el proceso para que los desarrolladores creen aplicaciones en la red Stellar.

Además, las capacidades de verificación formal de Certora empoderarán a los desarrolladores de plataformas Soroban y les ayudarán a garantizar la confiabilidad y seguridad de sus contratos inteligentes.

Esto también dará a los usuarios una mayor confianza en las aplicaciones con las que interactúan.

Una asociación útil

Además de desarrollar una herramienta de auditoría formal para Soroban, el equipo de seguridad de Certora también participará en la iniciativa Soroban Audit Bank.

Dedicarán tiempo y recursos para educar a la comunidad Soroban sobre el uso de este nuevo servicio.

El enfoque proactivo de Stellar para realizar controles y auditorías de seguridad para Soroban demuestra su compromiso de proporcionar una plataforma de contratos inteligentes segura y confiable.

Al abordar las posibles vulnerabilidades, las SDF están tomando las medidas necesarias para garantizar que el lanzamiento de Soroban sea lo más fluido y seguro posible.