{"id":403104,"date":"2023-10-12T22:10:43","date_gmt":"2023-10-12T20:10:43","guid":{"rendered":"https:\/\/www.crypto-news-flash.com\/?p=403104"},"modified":"2023-10-13T13:18:20","modified_gmt":"2023-10-13T11:18:20","slug":"stellar-xlm-rival-de-ripple-xrp-y-certora-unen-fuerzas-para-fortalecer-la-plataforma-de-contratos-inteligentes-soroban","status":"publish","type":"post","link":"https:\/\/crypto-news-flash.com\/es\/stellar-xlm-rival-de-ripple-xrp-y-certora-unen-fuerzas-para-fortalecer-la-plataforma-de-contratos-inteligentes-soroban\/","title":{"rendered":"Stellar (XLM), rival de Ripple (XRP), y Certora unen fuerzas para fortalecer la plataforma de contratos inteligentes Soroban"},"content":{"rendered":"<ul>\n<li><strong>La Fundaci\u00f3n para el Desarrollo de Stellar se ha asociado con Certora para mejorar la seguridad de su plataforma de contratos inteligentes, Soroban.<\/strong><\/li>\n<li><strong>Las herramientas de verificaci\u00f3n formal de Certora no solo comprueban el c\u00f3digo, sino que ofrecen integraci\u00f3n continua, garantizando la alineaci\u00f3n del c\u00f3digo con las especificaciones a medida que evoluciona.<\/strong><\/li>\n<\/ul>\n<hr \/>\n<p>El mi\u00e9rcoles 11 de octubre, la Fundaci\u00f3n para el Desarrollo de Stellar se uni\u00f3 a Certora al anunciar soporte de seguridad adicional para su plataforma nativa de contratos inteligentes Soroban. Los dos actores trabajar\u00e1n juntos para llevar la verificaci\u00f3n de seguridad formal de vanguardia a Soroban.<\/p>\n<p>Certora, tradicionalmente vinculada a la M\u00e1quina Virtual Ethereum (EVM), ha ampliado su apoyo para incluir Soroban, la primera plataforma impulsada por WASM (WebAssembly).<\/p>\n<blockquote class=\"twitter-tweet\" data-width=\"550\" data-dnt=\"true\">\n<p lang=\"en\" dir=\"ltr\">Product update! Today, <a href=\"https:\/\/twitter.com\/CertoraInc?ref_src=twsrc%5Etfw\">@CertoraInc<\/a> &amp; <a href=\"https:\/\/twitter.com\/StellarOrg?ref_src=twsrc%5Etfw\">@StellarOrg<\/a> have teamed up to boost <a href=\"https:\/\/twitter.com\/SorobanOfficial?ref_src=twsrc%5Etfw\">@SorobanOfficial<\/a>, the Stellar network&#39;s smart contract platform, with cutting-edge formal security verification. <\/p>\n<p>Why is this important? It fortifies the foundation of blockchain security, ensuring trust\u2026<\/p>\n<p>&mdash; Stellar (@StellarOrg) <a href=\"https:\/\/twitter.com\/StellarOrg\/status\/1712142555557880172?ref_src=twsrc%5Etfw\">October 11, 2023<\/a><\/p><\/blockquote>\n<p><script async src=\"https:\/\/platform.twitter.com\/widgets.js\" charset=\"utf-8\"><\/script><\/p>\n<p>En el competitivo \u00e1mbito de los contratos inteligentes, la seguridad es una preocupaci\u00f3n 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\u00f3digo y sus errores sean visibles para cualquiera, y poseen inmutabilidad, lo que requiere amplios procedimientos de gobernanza para la rectificaci\u00f3n de errores.<\/p>\n<p>En este contexto, la seguridad no admite discusi\u00f3n, y la precisi\u00f3n del c\u00f3digo es fundamental para evitar vulnerabilidades y proteger los activos de los usuarios. Certora, una innovadora herramienta de verificaci\u00f3n formal, ha surgido como l\u00edder en este empe\u00f1o, proporcionando a los desarrolladores las herramientas necesarias para la validaci\u00f3n del c\u00f3digo. Tomer Weller, Vicepresidente de Producto de la Fundaci\u00f3n para el Desarrollo de Stellar, se ha referido a este acontecimiento:<\/p>\n<blockquote><p>\u00abEl apoyo de Certora a Soroban dar\u00e1 a los m\u00e1s de 100 proyectos que ya est\u00e1n en la plataforma acceso a innovadoras herramientas de verificaci\u00f3n creadas para ayudar a lograr la correcci\u00f3n 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\u00bb.<\/p><\/blockquote>\n<h3>Certora y Soroban trabajan codo con codo<\/h3>\n<p>El robusto software de Certora capitaliza dos d\u00e9cadas de investigaci\u00f3n acad\u00e9mica y tecnolog\u00edas innovadoras, extendiendo eficazmente la Verificaci\u00f3n Formal a los programas del mundo real. Este enfoque garantiza la seguridad y fiabilidad de los contratos inteligentes.<\/p>\n<p>En los \u00faltimos cuatro a\u00f1os, Certora ha salvaguardado el c\u00f3digo del cliente, evitando m\u00e1s de 100 fallos de alta seguridad en protocolos DeFi prominentes como Aave, Balancer, Compound, suhsiSwap y otros. Seg\u00fan DeFiLlama, Certora ha asegurado un valor total de 25.000 millones de d\u00f3lares bloqueados en la red Ethereum.<\/p>\n<p>No obstante, las herramientas de verificaci\u00f3n formal de Certora van m\u00e1s all\u00e1 de las comprobaciones puntuales de c\u00f3digo. Ofrece un servicio de integraci\u00f3n continua, que garantiza que el c\u00f3digo se ajusta continuamente a las especificaciones. Este enfoque proactivo de la verificaci\u00f3n evita eficazmente que los errores y las vulnerabilidades se infiltren en el c\u00f3digo base desde el principio, con el consiguiente ahorro de tiempo y recursos. Este servicio se integra perfectamente en el proceso de desarrollo habitual.<\/p>\n<p>Soroban representa una nueva generaci\u00f3n de contratos inteligentes, haciendo hincapi\u00e9 en la escalabilidad, la sostenibilidad y la robustez de las pruebas. Con la adopci\u00f3n de WASM, un vers\u00e1til formato de c\u00f3digo binario ideal para los ecosistemas de cadenas de bloques, Soroban ampl\u00eda su accesibilidad a un amplio espectro de lenguajes y herramientas de programaci\u00f3n, incluidas las pruebas.<\/p>\n<p>Las capacidades de verificaci\u00f3n 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\u00faan. Mooly Sagiv, CEO de Certora <a href=\"https:\/\/stellar.org\/press\/a-milestone-in-smart-contract-security-certora-teams-up-with-the-stellar-network-s-smart-contract-platform-soroban\" target=\"_blank\" rel=\"nofollow noopener\">, ha declarado<\/a>:<\/p>\n<blockquote><p>\u00abUna de las lecciones aprendidas de nuestra experiencia en DeFi es que las herramientas y la auditor\u00eda llegan demasiado tarde en el proceso de desarrollo. Este descuido aumenta los costes del software y hace que los fallos se detecten s\u00f3lo despu\u00e9s de que se hayan explotado las vulnerabilidades. Las herramientas de Certora pueden ayudar a los desarrolladores a redactar especificaciones antes de que el c\u00f3digo est\u00e9 completo para garantizar aplicaciones seguras y fiables. Estamos encantados de unirnos al ecosistema Soroban\u00bb.<\/p><\/blockquote>\n<p>Stellar tambi\u00e9n ha estado trabajando con otros agentes del mercado para impulsar el uso de la tecnolog\u00eda blockchain en los mercados emergentes. Junto con el gigante de la consultor\u00eda PwC, la Fundaci\u00f3n para el Desarrollo de Stellar ha publicado un <a href=\"https:\/\/www.crypto-news-flash.com\/es\/el-rival-de-ripple-xrp-stellar-xlm-y-el-marco-de-pwc-que-cambia-las-reglas-del-juego-para-el-exito-de-la-blockchain-en-los-mercados-emergentes\/\" target=\"_blank\" rel=\"nofollow noopener\">extenso marco<\/a> en el que se describen los pasos necesarios para que las startups de web3 aprovechen las oportunidades en los mercados florecientes. Adem\u00e1s, la Fundaci\u00f3n Stellar ha estado trabajando en la mejora de la infraestructura para <a href=\"https:\/\/www.crypto-news-flash.com\/es\/stellar-xlm-iluminando-el-futuro-de-los-pagos-transfronterizos\/\" target=\"_blank\" rel=\"nofollow noopener\">los pagos transfronterizos<\/a> utilizando el poder de blockchain.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>La Fundaci\u00f3n 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\u00f3n formal de Certora no solo comprueban el c\u00f3digo, sino que ofrecen integraci\u00f3n continua, garantizando la alineaci\u00f3n del c\u00f3digo con las especificaciones a medida que evoluciona. El mi\u00e9rcoles 11<\/p>\n","protected":false},"author":53,"featured_media":5836,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[],"tags":[],"class_list":["post-403104","post","type-post","status-publish","format-standard","has-post-thumbnail"],"acf":[],"_links":{"self":[{"href":"https:\/\/crypto-news-flash.com\/es\/wp-json\/wp\/v2\/posts\/403104","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/crypto-news-flash.com\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/crypto-news-flash.com\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/crypto-news-flash.com\/es\/wp-json\/wp\/v2\/users\/53"}],"replies":[{"embeddable":true,"href":"https:\/\/crypto-news-flash.com\/es\/wp-json\/wp\/v2\/comments?post=403104"}],"version-history":[{"count":0,"href":"https:\/\/crypto-news-flash.com\/es\/wp-json\/wp\/v2\/posts\/403104\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/crypto-news-flash.com\/es\/wp-json\/wp\/v2\/media\/5836"}],"wp:attachment":[{"href":"https:\/\/crypto-news-flash.com\/es\/wp-json\/wp\/v2\/media?parent=403104"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/crypto-news-flash.com\/es\/wp-json\/wp\/v2\/categories?post=403104"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/crypto-news-flash.com\/es\/wp-json\/wp\/v2\/tags?post=403104"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}