Sonic Labs ha lanzado una nueva biblioteca de código abierto diseñada para proporcionar verificación formal para protocolos de consenso de blockchain basados en DAG, un movimiento que afirma ayudará a elevar los estándares de seguridad para redes descentralizadas.
Pruebas Matemáticas para Verificar Protocolos de Consenso
La biblioteca de verificación formal, desarrollada en colaboración con investigadores de la Universidad de Sídney y el instituto de investigación francés INRIA, fue presentada por primera vez a principios de este mes en NASA Formal Methods 2025 (NFM 2025) en Williamsburg, Virginia.
La biblioteca utiliza TLA+, un lenguaje de especificación formal desarrollado por Microsoft Research, para probar matemáticamente la corrección de los protocolos de consenso.
Sonic Labs dijo que la herramienta simplifica el proceso de modelar y verificar sistemas distribuidos complejos al ofrecer componentes modulares y reutilizables que se pueden aplicar en múltiples arquitecturas de blockchain.
Los protocolos verificados ya incluyen DAG-Rider, Cordial Miner, Bullshark, Hashgraph y Aleph. El propio protocolo de consenso compatible con EVM de Sonic también ha sido validado como un derivado utilizando la herramienta.
“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 bajo todas las condiciones”, dijo el Director de Investigación, Dr. Bernhard Scholz.
Desafíos de Seguridad en el Consenso de Blockchain
Las blockchains de hoy aseguran billones de dólares en activos digitales, poniendo una presión significativa en la infraestructura de consenso subyacente para operar sin fallos.
Las vulnerabilidades en estos mecanismos pueden llevar a doble gasto, inconsistencias en el libro mayor o explotaciones a gran escala.
Si bien las auditorías y las pruebas de penetración son prácticas estándar de la industria, no pueden garantizar la ausencia completa de errores críticos, particularmente en entornos complejos y asíncronos.
La verificación formal ofrece una alternativa al demostrar matemáticamente que un protocolo funciona de manera segura en todos los escenarios posibles. Sonic Labs dijo que su nueva herramienta puede utilizarse no solo para auditar protocolos existentes, sino también para ayudar a los desarrolladores a diseñar o modificar sistemas basados en DAG desde cero.
La empresa ya está utilizando la biblioteca internamente para verificar la seguridad de su propia red blockchain y afirma que puede eliminar matemáticamente la posibilidad de comportamiento inseguro bajo condiciones definidas.
Al hacer que la biblioteca sea de código abierto, Sonic Labs tiene como objetivo reducir el costo y la complejidad de construir sistemas blockchain seguros mientras promueve una adopción más amplia de la verificación formal en el desarrollo de Web3.
Sonic es una blockchain compatible con EVM diseñada para un alto rendimiento, ofreciendo finalización en menos de un segundo y velocidades de procesamiento de hasta 400,000 transacciones por segundo.
La red cuenta con un modelo de Monetización de Tarifas que permite a los desarrolladores ganar el 90% de las tarifas de transacción generadas por sus aplicaciones descentralizadas.
Por Qué Esto Importa
A medida que más valor se bloquea en las redes blockchain, pequeños errores en los protocolos de consenso pueden causar grandes pérdidas financieras y dañar la confianza. La herramienta de verificación de código abierto de Sonic Labs utiliza matemáticas para garantizar la seguridad del protocolo, llenando un vacío que las pruebas tradicionales suelen pasar por alto.
Consulta las noticias de criptomonedas en tendencia de DailyCoin:
El nuevo ETF de criptomonedas de Trump Media apunta a Bitcoin y Ethereum
El desarrollador principal de Shiba Inu insinúa la Super App: ¿la próxima gran cosa de SHIB?
La gente también pregunta:
¿Qué es un protocolo de consenso en blockchain? Un protocolo de consenso es un conjunto de reglas que permite a los participantes de la red distribuida acordar el estado actual de la blockchain, asegurando que todas las copias sean consistentes y que las transacciones se validen correctamente.
¿Por qué es importante el consenso para las blockchains? El consenso es esencial para mantener la integridad, seguridad y confiabilidad de una blockchain. Previene problemas como el gasto doble y asegura que todos los participantes de la red compartan el mismo historial de transacciones.
¿Qué son los protocolos de consenso basados en DAG? DAG (Grafico Acíclico Dirigido ) los protocolos de consenso utilizan una estructura de grafo en lugar de una cadena tradicional para registrar transacciones. Este diseño puede mejorar la escalabilidad y la velocidad de transacción en comparación con las cadenas de bloques lineales.
¿Qué es la verificación formal? La verificación formal es un método matemático utilizado para probar la corrección y seguridad del diseño de un sistema, asegurando que se comporte como se espera bajo todas las condiciones posibles.
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 Presenta Biblioteca de Código Abierto para la Verificación de Cadena de Bloques DAG
Sonic Labs ha lanzado una nueva biblioteca de código abierto diseñada para proporcionar verificación formal para protocolos de consenso de blockchain basados en DAG, un movimiento que afirma ayudará a elevar los estándares de seguridad para redes descentralizadas.
Pruebas Matemáticas para Verificar Protocolos de Consenso
La biblioteca de verificación formal, desarrollada en colaboración con investigadores de la Universidad de Sídney y el instituto de investigación francés INRIA, fue presentada por primera vez a principios de este mes en NASA Formal Methods 2025 (NFM 2025) en Williamsburg, Virginia.
La biblioteca utiliza TLA+, un lenguaje de especificación formal desarrollado por Microsoft Research, para probar matemáticamente la corrección de los protocolos de consenso.
Sonic Labs dijo que la herramienta simplifica el proceso de modelar y verificar sistemas distribuidos complejos al ofrecer componentes modulares y reutilizables que se pueden aplicar en múltiples arquitecturas de blockchain.
Los protocolos verificados ya incluyen DAG-Rider, Cordial Miner, Bullshark, Hashgraph y Aleph. El propio protocolo de consenso compatible con EVM de Sonic también ha sido validado como un derivado utilizando la herramienta.
“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 bajo todas las condiciones”, dijo el Director de Investigación, Dr. Bernhard Scholz.
Desafíos de Seguridad en el Consenso de Blockchain
Las blockchains de hoy aseguran billones de dólares en activos digitales, poniendo una presión significativa en la infraestructura de consenso subyacente para operar sin fallos.
Las vulnerabilidades en estos mecanismos pueden llevar a doble gasto, inconsistencias en el libro mayor o explotaciones a gran escala.
Si bien las auditorías y las pruebas de penetración son prácticas estándar de la industria, no pueden garantizar la ausencia completa de errores críticos, particularmente en entornos complejos y asíncronos.
La verificación formal ofrece una alternativa al demostrar matemáticamente que un protocolo funciona de manera segura en todos los escenarios posibles. Sonic Labs dijo que su nueva herramienta puede utilizarse no solo para auditar protocolos existentes, sino también para ayudar a los desarrolladores a diseñar o modificar sistemas basados en DAG desde cero.
La empresa ya está utilizando la biblioteca internamente para verificar la seguridad de su propia red blockchain y afirma que puede eliminar matemáticamente la posibilidad de comportamiento inseguro bajo condiciones definidas.
Al hacer que la biblioteca sea de código abierto, Sonic Labs tiene como objetivo reducir el costo y la complejidad de construir sistemas blockchain seguros mientras promueve una adopción más amplia de la verificación formal en el desarrollo de Web3.
Sonic es una blockchain compatible con EVM diseñada para un alto rendimiento, ofreciendo finalización en menos de un segundo y velocidades de procesamiento de hasta 400,000 transacciones por segundo.
La red cuenta con un modelo de Monetización de Tarifas que permite a los desarrolladores ganar el 90% de las tarifas de transacción generadas por sus aplicaciones descentralizadas.
Por Qué Esto Importa
A medida que más valor se bloquea en las redes blockchain, pequeños errores en los protocolos de consenso pueden causar grandes pérdidas financieras y dañar la confianza. La herramienta de verificación de código abierto de Sonic Labs utiliza matemáticas para garantizar la seguridad del protocolo, llenando un vacío que las pruebas tradicionales suelen pasar por alto.
Consulta las noticias de criptomonedas en tendencia de DailyCoin:
El nuevo ETF de criptomonedas de Trump Media apunta a Bitcoin y Ethereum
El desarrollador principal de Shiba Inu insinúa la Super App: ¿la próxima gran cosa de SHIB?
La gente también pregunta:
¿Qué es un protocolo de consenso en blockchain? Un protocolo de consenso es un conjunto de reglas que permite a los participantes de la red distribuida acordar el estado actual de la blockchain, asegurando que todas las copias sean consistentes y que las transacciones se validen correctamente.
¿Por qué es importante el consenso para las blockchains? El consenso es esencial para mantener la integridad, seguridad y confiabilidad de una blockchain. Previene problemas como el gasto doble y asegura que todos los participantes de la red compartan el mismo historial de transacciones.
¿Qué son los protocolos de consenso basados en DAG? DAG (Grafico Acíclico Dirigido ) los protocolos de consenso utilizan una estructura de grafo en lugar de una cadena tradicional para registrar transacciones. Este diseño puede mejorar la escalabilidad y la velocidad de transacción en comparación con las cadenas de bloques lineales.
¿Qué es la verificación formal? La verificación formal es un método matemático utilizado para probar la corrección y seguridad del diseño de un sistema, asegurando que se comporte como se espera bajo todas las condiciones posibles.
.social-share-icons { display: inline-flex; flex-direction: row; gap: 8px; border-radius: 8px; border: 1px solid #dedede; padding: 8px 16px; margin-bottom: 8px; }
.social-share-icons a { display: flex; color: #555; text-decoration: none; justify-content: center; align-items: center; background-color: #dedede; border-radius: 100%; padding: 10px; }
.social-share-icons a:hover { background-color: #F7BE23; fill: blanco; }
.social-share-icons svg { width: 24px; height: 24px; }