- La Fundación para el Desarrollo de Stellar se ha asociado con Certora para mejorar la seguridad de su plataforma de contratos inteligentes, Soroban.
- Las herramientas de verificación formal de Certora no solo comprueban el código, sino que ofrecen integración continua, garantizando la alineación del código con las especificaciones a medida que evoluciona.
El miércoles 11 de octubre, la Fundación para el Desarrollo de Stellar se unió a Certora al anunciar soporte de seguridad adicional para su plataforma nativa de contratos inteligentes Soroban. Los dos actores trabajarán juntos para llevar la verificación de seguridad formal de vanguardia a Soroban.
Certora, tradicionalmente vinculada a la Máquina Virtual Ethereum (EVM), ha ampliado su apoyo para incluir Soroban, la primera plataforma impulsada por WASM (WebAssembly).
Product update! Today, @CertoraInc & @StellarOrg have teamed up to boost @SorobanOfficial, the Stellar network's smart contract platform, with cutting-edge formal security verification.
Why is this important? It fortifies the foundation of blockchain security, ensuring trust…
— Stellar (@StellarOrg) October 11, 2023
En el competitivo ámbito de los contratos inteligentes, la seguridad es una preocupación primordial. Los contratos inteligentes, responsables de automatizar las operaciones en las redes blockchain, operan en un panorama delicado. Gestionan un capital considerable, son completamente transparentes, lo que hace que su código y sus errores sean visibles para cualquiera, y poseen inmutabilidad, lo que requiere amplios procedimientos de gobernanza para la rectificación de errores.
En este contexto, la seguridad no admite discusión, y la precisión del código es fundamental para evitar vulnerabilidades y proteger los activos de los usuarios. Certora, una innovadora herramienta de verificación formal, ha surgido como líder en este empeño, proporcionando a los desarrolladores las herramientas necesarias para la validación del código. Tomer Weller, Vicepresidente de Producto de la Fundación para el Desarrollo de Stellar, se ha referido a este acontecimiento:
«El apoyo de Certora a Soroban dará a los más de 100 proyectos que ya están en la plataforma acceso a innovadoras herramientas de verificación creadas para ayudar a 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 aparecer en los titulares en el pasado y dar paso a un ecosistema DeFi seguro desde el principio».
Certora y Soroban trabajan codo con codo
El robusto software de Certora capitaliza dos décadas de investigación académica y tecnologías innovadoras, extendiendo eficazmente la Verificación Formal a los programas del mundo real. Este enfoque garantiza la seguridad y fiabilidad de los contratos inteligentes.
En los últimos cuatro años, Certora ha salvaguardado el código del cliente, evitando más de 100 fallos de alta seguridad en protocolos DeFi prominentes como Aave, Balancer, Compound, suhsiSwap y otros. Según DeFiLlama, Certora ha asegurado un valor total de 25.000 millones de dólares bloqueados en la red Ethereum.
No obstante, las herramientas de verificación formal de Certora van más allá de las comprobaciones puntuales de código. Ofrece un servicio de integración continua, que garantiza que el código se ajusta continuamente a las especificaciones. Este enfoque proactivo de la verificación evita eficazmente que los errores y las vulnerabilidades se infiltren en el código base desde el principio, con el consiguiente ahorro de tiempo y recursos. Este servicio se integra perfectamente en el proceso de desarrollo habitual.
Soroban representa una nueva generación de contratos inteligentes, haciendo hincapié en la escalabilidad, la sostenibilidad y la robustez de las pruebas. Con la adopción de WASM, un versátil formato de código binario ideal para los ecosistemas de cadenas de bloques, Soroban amplía su accesibilidad a un amplio espectro de lenguajes y herramientas de programación, incluidas las pruebas.
Las capacidades de verificación formal de Certora permiten a los desarrolladores de Soroban reforzar la fiabilidad y seguridad de sus contratos inteligentes, ofreciendo a los usuarios finales una mayor confianza en las aplicaciones con las que interactúan. Mooly Sagiv, CEO de Certora , ha declarado:
«Una de las lecciones aprendidas de nuestra experiencia en DeFi es que las herramientas y la auditoría llegan demasiado tarde en el proceso de desarrollo. Este descuido aumenta los costes del software y hace que los fallos se detecten sólo después de que se hayan explotado las vulnerabilidades. Las herramientas de Certora pueden ayudar a los desarrolladores a redactar especificaciones antes de que el código esté completo para garantizar aplicaciones seguras y fiables. Estamos encantados de unirnos al ecosistema Soroban».
Stellar también ha estado trabajando con otros agentes del mercado para impulsar el uso de la tecnología blockchain en los mercados emergentes. Junto con el gigante de la consultoría PwC, la Fundación para el Desarrollo de Stellar ha publicado un extenso marco en el que se describen los pasos necesarios para que las startups de web3 aprovechen las oportunidades en los mercados florecientes. Además, la Fundación Stellar ha estado trabajando en la mejora de la infraestructura para los pagos transfronterizos utilizando el poder de blockchain.
