Esta semana, Stellar inició las comprobaciones de seguridad de primer nivel en su próxima plataforma de smart contracts Soroban.
La Stellar Development Foundation, la organización que se encarga del desarrollo de esta red blockchain, se ha asociado con la compañía de seguridad Certora para poner a prueba la seguridad de Soroban, una avanzada plataforma de smart contracts que está enfocada a la escalabilidad y la sostenibilidad para construir la infraestructura de la nueva era de contratos inteligentes y aplicaciones digitales.
A través de esta colaboración, Stellar busca garantizar la seguridad, la estabilidad y la confianza en la nueva plataforma, mediante una serie de pruebas rigurosas, que permitirán a Soroban prepararse para su inminente lanzamiento en mainnet.
Los desarrolladores de Stellar destacaron que Soroban incorporará las capacidades de verificación formal vanguardistas de Certora y que será la primera plataforma impulsada por WebAssembly (WASM), un formato de código binario respaldado por esta firma de seguridad. También señalaron que los proyectos que ya se desarrollan en Soroban tendrán acceso a las herramientas de vanguardia que ofrece Certora.
Las capacidades de verificación formal van más allá de la verificación de código tradicional, por lo que a través de la nueva plataforma de smart contracts, los desarrolladores de aplicaciones pueden garantizar un mayor nivel de seguridad, minimizando el riesgo de vulnerabilidades y errores que puedan provocar pérdidas a sus usuarios.
“Soroban es la primera plataforma impulsada por WASM que es compatible con Certora, tradicionalmente asociada con la máquina virtual Ethereum (EVM)”.
Revolucionando el desarrollo de smart contracts
A través de Soroban, la Fundación Stellar quiere establecer un nuevo estándar para los contratos inteligentes basado en WASM. Soroban introduce los contratos inteligentes completos de Turing al ecosistema de Stellar, que es parte fundamental de la hoja de ruta compartida por el proyecto para innovar en la industria blockchain.
Tomer Weller, vicepresidente de estrategia tecnológica de la Stellar Development Foundation y desarrollador principal de Soroban, manifestó que el desarrollo de esta plataforma de smart contracts era necesario debido a que en la industria no existía una plataforma de contratos inteligentes que ofreciera las herramientas con las que querían trabajar en el mercado.
Por otra parte, Mooly Sagiv, CEO de Certora, señaló que la corrección de vulnerabilidades de código una vez que son explotadas terminan por ser más costosas, motivo por el que es importante integrar las auditorías en el proceso de desarrollo y prevenir posibles fallos y errores.
La compañía de seguridad, que es comúnmente vinculada al ecosistema de Ethereum, está ampliando su apoyo a Stellar y Soroban para proporcionar un alto nivel de seguridad en todo el ecosistema blockchain. Certora ha ayudado a garantizar cerca de $25.000 millones de dólares en Ethereum, mitigando el riesgo de vulnerabilidades y errores en varios de los protocolos descentralizados más destacados del ecosistema, como Aave, SushiSwap, Balancer, entre otros.
Seguridad para el ecosistema DeFi
Aunque las DeFi suponen un ecosistema financiero digital innovador y lleno de muchas posibilidades, las vulnerabilidades de seguridad de muchos de sus proyectos han afectado la reputación del ecosistema en general, que se percibe entre los usuarios e inversores como inseguro y de alto riesgo.
Los desarrolladores de Stellar buscan cambiar esta narrativa, ofreciendo mediante Soroban un entorno seguro que permita a los desarrolladores construir un ecosistema DeFi sólido desde el principio.
Así, gracias a la colaboración con Certora, los desarrolladores de aplicaciones pueden escribir especificaciones antes de que el código esté completo mediante las herramientas que ofrece la compañía, para garantizar aplicaciones más seguras y confiables.
Más de un centenar de proyectos se desarrollan en Soroban
En la actualidad, más de 100 proyectos están desarrollándose en Soroban, que fue lanzada en el entorno de pruebas Futurenet de Stellar hace un año.
Además de este lanzamiento, la Fundación Stellar también anunció la creación de un fondo de $100 millones de dólares para apoyar a los desarrolladores que colaboran en la construcción de Soroban y que se basan en la plataforma para crear nuevas aplicaciones.
El año pasado, la fundación había informado que el lanzamiento de Soroban en la red principal estaba planificado para ocurrir en algún momento del primer semestre de este año. Sin embargo, aún no se ha fijado una fecha oficial para el despliegue de Soroban en la mainnet de Stellar.
Continúa leyendo: El protocolo de custodia descentralizada Safe se implementa en Polygon zkEVM
