Contenido editorial de confianza, revisado por expertos líderes de la industria y editores experimentados. Divulgación de anuncios
Sonic Labs ha estado viviendo de acuerdo a su nombre y trabajando arduamente en el laboratorio en un nuevo documento de investigación. No se trata simplemente de un documento teórico: ha producido una aplicación tangible en el campo del consenso de blockchain, y la biblioteca de verificación formal que Sonic Labs ha desarrollado ahora es de código abierto y está disponible en Github.
El equipo de Sonic Labs es, por supuesto, más conocido por diseñar la cadena Sonic Layer-1 que resurgió de las cenizas de Fantom. Sonic utiliza un DAG (Gráfico Acíclico Dirigido) para su consenso, y fue en esta área donde el equipo de Labs eligió, comprensiblemente, enfocar sus esfuerzos. Aunque la biblioteca de verificación subsiguiente que han desarrollado tiene implicaciones para la red EVM de Sonic, también es igualmente aplicable en todas las cadenas basadas en DAG existentes y futuras, donde tiene el potencial de mejorar significativamente la seguridad al prevenir que errores se filtren.
Sonic Labs da una segunda oportunidad a los DAGs
El diseño de consenso en blockchain es un tema complejo que requiere la experiencia de investigadores en matemáticas, criptografía y teoría de juegos. Si bien el equipo de Sonic Labs está bien capacitado en estas áreas, convocó a algunos expertos para ayudar con su profunda investigación en DAGs con el objetivo de hacerlos verificablemente seguros.
Desarrollada en colaboración con los principales lógicos de la Universidad de Sídney e INRIA, la biblioteca aprovecha el asistente de prueba TLA+ para proporcionar componentes modulares y reutilizables. Estos simplifican el proceso de verificación para los desarrolladores, permitiéndoles modelar y confirmar la seguridad de los protocolos basados en DAG con facilidad. La biblioteca incluye pruebas verificadas para los principales protocolos como DAG-Rider, Cordial Miner, Bullshark, Hashgraph y Aleph, con el propio protocolo de consenso de Sonic validado como un derivado.
Dado el valor que ahora circula a través de los ecosistemas de blockchain, es del interés de todos hacerlos más seguros. Sin embargo, esto es más fácil decirlo que hacerlo, ya que los procedimientos de auditoría estándar no son infalibles y no es raro que las vulnerabilidades se filtren y sean explotadas más tarde con consecuencias devastadoras.
Haciendo la Blockchain más segura para todos
El enfoque de verificación formal de Sonic Labs utiliza pruebas matemáticas rigurosas para eliminar errores, asegurando que los protocolos funcionen de manera confiable en cada escenario concebible. La biblioteca no solo verifica los protocolos existentes, sino que también empodera a los desarrolladores para diseñar nuevos sistemas basados en DAG o refinar los actuales. Sonic Labs ya ha aplicado su herramienta patentada para demostrar que el comportamiento inseguro es matemáticamente imposible en la blockchain de Sonic.
Presentado por primera vez en NASA Formal Methods 2025 en Williamsburg, Virginia, a mediados de junio, la biblioteca añade una herramienta defensiva valiosa al arsenal de los desarrolladores de blockchain. A medida que el diseño modular se convierte en la forma predeterminada de construir blockchains, aumenta el riesgo de que aparezcan problemas de seguridad. Por ejemplo, muchos proveedores de Blockchain-as-a-Service permiten a los equipos crear y desplegar una red personalizada con solo unos pocos clics. Pero si deciden alterar los parámetros del mecanismo de consenso en el proceso, existe la posibilidad de introducir involuntariamente un agujero de seguridad.
Esta es solo una área en la que la biblioteca de verificación formal de Sonic Labs tiene una aplicación clara. Pero también tiene valor añadido al evaluar cadenas basadas en DAG existentes. Las vulnerabilidades a menudo pueden permanecer sin descubrir durante años en el mundo antes de que, en el mejor de los casos, un whitehat las detecte y se parcheen. En el peor de los casos, caen en manos de un blackhat que puede explotarlas.
Como resume el Dr. Bernhard Scholz, Director de Investigación de Sonic Labs, “En blockchain, las fallas de seguridad a menudo provienen de suposiciones que no se ponen a prueba hasta que es demasiado tarde. Con esta biblioteca, estamos pasando de la esperanza a la prueba, ofreciendo las herramientas para verificar, con certeza matemática, que un protocolo se comportará de manera segura en todas las condiciones.” Con la biblioteca de código abierto ahora disponible para los desarrolladores de web3, la responsabilidad recae en ellos para tomar esta herramienta y aprovecharla al máximo.
Proceso Editorial para bitcoinist se centra en ofrecer contenido minuciosamente investigado, preciso y sin sesgo. Mantenemos estándares estrictos de obtención de información, y cada página pasa por una revisión diligente de nuestro equipo de expertos en tecnología de primer nivel y editores experimentados. Este proceso asegura la integridad, relevancia y valor de nuestro contenido para nuestros lectores.
El contenido es solo de referencia, no una solicitud u oferta. No se proporciona asesoramiento fiscal, legal ni de inversión. Consulte el Descargo de responsabilidad para obtener más información sobre los riesgos.
Sonic Labs refuerza la seguridad de la cadena de bloques con una nueva biblioteca de verificación formal | Bitcoinist.com
El equipo de Sonic Labs es, por supuesto, más conocido por diseñar la cadena Sonic Layer-1 que resurgió de las cenizas de Fantom. Sonic utiliza un DAG (Gráfico Acíclico Dirigido) para su consenso, y fue en esta área donde el equipo de Labs eligió, comprensiblemente, enfocar sus esfuerzos. Aunque la biblioteca de verificación subsiguiente que han desarrollado tiene implicaciones para la red EVM de Sonic, también es igualmente aplicable en todas las cadenas basadas en DAG existentes y futuras, donde tiene el potencial de mejorar significativamente la seguridad al prevenir que errores se filtren.
Sonic Labs da una segunda oportunidad a los DAGs
El diseño de consenso en blockchain es un tema complejo que requiere la experiencia de investigadores en matemáticas, criptografía y teoría de juegos. Si bien el equipo de Sonic Labs está bien capacitado en estas áreas, convocó a algunos expertos para ayudar con su profunda investigación en DAGs con el objetivo de hacerlos verificablemente seguros.
Desarrollada en colaboración con los principales lógicos de la Universidad de Sídney e INRIA, la biblioteca aprovecha el asistente de prueba TLA+ para proporcionar componentes modulares y reutilizables. Estos simplifican el proceso de verificación para los desarrolladores, permitiéndoles modelar y confirmar la seguridad de los protocolos basados en DAG con facilidad. La biblioteca incluye pruebas verificadas para los principales protocolos como DAG-Rider, Cordial Miner, Bullshark, Hashgraph y Aleph, con el propio protocolo de consenso de Sonic validado como un derivado.
Dado el valor que ahora circula a través de los ecosistemas de blockchain, es del interés de todos hacerlos más seguros. Sin embargo, esto es más fácil decirlo que hacerlo, ya que los procedimientos de auditoría estándar no son infalibles y no es raro que las vulnerabilidades se filtren y sean explotadas más tarde con consecuencias devastadoras.
Haciendo la Blockchain más segura para todos
El enfoque de verificación formal de Sonic Labs utiliza pruebas matemáticas rigurosas para eliminar errores, asegurando que los protocolos funcionen de manera confiable en cada escenario concebible. La biblioteca no solo verifica los protocolos existentes, sino que también empodera a los desarrolladores para diseñar nuevos sistemas basados en DAG o refinar los actuales. Sonic Labs ya ha aplicado su herramienta patentada para demostrar que el comportamiento inseguro es matemáticamente imposible en la blockchain de Sonic.
Presentado por primera vez en NASA Formal Methods 2025 en Williamsburg, Virginia, a mediados de junio, la biblioteca añade una herramienta defensiva valiosa al arsenal de los desarrolladores de blockchain. A medida que el diseño modular se convierte en la forma predeterminada de construir blockchains, aumenta el riesgo de que aparezcan problemas de seguridad. Por ejemplo, muchos proveedores de Blockchain-as-a-Service permiten a los equipos crear y desplegar una red personalizada con solo unos pocos clics. Pero si deciden alterar los parámetros del mecanismo de consenso en el proceso, existe la posibilidad de introducir involuntariamente un agujero de seguridad.
Esta es solo una área en la que la biblioteca de verificación formal de Sonic Labs tiene una aplicación clara. Pero también tiene valor añadido al evaluar cadenas basadas en DAG existentes. Las vulnerabilidades a menudo pueden permanecer sin descubrir durante años en el mundo antes de que, en el mejor de los casos, un whitehat las detecte y se parcheen. En el peor de los casos, caen en manos de un blackhat que puede explotarlas.
Como resume el Dr. Bernhard Scholz, Director de Investigación de Sonic Labs, “En blockchain, las fallas de seguridad a menudo provienen de suposiciones que no se ponen a prueba hasta que es demasiado tarde. Con esta biblioteca, estamos pasando de la esperanza a la prueba, ofreciendo las herramientas para verificar, con certeza matemática, que un protocolo se comportará de manera segura en todas las condiciones.” Con la biblioteca de código abierto ahora disponible para los desarrolladores de web3, la responsabilidad recae en ellos para tomar esta herramienta y aprovecharla al máximo.