La Cumbre de Académicos de Web3 se centra en la seguridad del protocolo de consenso y la prueba de actividad
En la reciente Cumbre de Académicos Web3 2025, un reconocido profesor de ciencias de la computación dio una conferencia titulada "Seguridad y prueba de actividad de protocolos de consenso refinados: LiDO y su marco de expansión". En esta conferencia, presentó por primera vez el modelo LiDO desarrollado por su equipo y el marco de expansión LiDO-DAG. Este avance innovador tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos (BFT), sentando las bases tecnológicas para la fiabilidad y el desarrollo a gran escala del ecosistema Web3.
En la conferencia, el profesor señaló que los protocolos de consenso existentes (como PBFT, Jolteon), aunque ampliamente utilizados, a menudo ocultan vulnerabilidades potenciales debido a su complejidad de implementación. Para abordar este problema, el modelo LiDO propone de manera innovadora un marco de verificación refinado en tres capas:
Capa de abstracción de seguridad: mapea el protocolo como una máquina de estados linealizada, asegurando la consistencia de los registros (seguridad);
Capa de garantía activa: introducción del mecanismo "Pacemaker", que resuelve el problema de la latencia de la red a través de la difusión de tiempo de espera y la sincronización de rondas;
Capa de expansión DAG: soporte para protocolos DAG emergentes como Narwhal, Bullshark, logrando una verificación eficiente del consenso sin líder.
Actualmente, LiDO se ha aplicado con éxito en el protocolo industrial Jolteon (BFT de dos fases) y en múltiples protocolos DAG, completando la prueba mecanizada de más de diez mil líneas de código Coq, con un volumen de código de verificación de seguridad y actividad de 4000 y 1700 líneas, respectivamente. El profesor señaló en su discurso: "En la actualidad, los protocolos de consenso PoS enfrentan comúnmente la difícil situación de no poder lograr seguridad, actividad y descentralización al mismo tiempo. El modelo LiDO es una solución de diseño sistemático propuesta precisamente para romper este dilema."
Cabe destacar que el profesor lideró anteriormente un equipo que desarrolló CertiKOS, el primer sistema operativo "sin vulnerabilidades" validado formalmente a nivel mundial, el cual ha sido calificado como "un hito en la seguridad de sistemas ciberfísicos". Este logro no solo establece las bases tecnológicas de una empresa de seguridad, sino que también resalta su profunda acumulación de conocimientos en el campo de la seguridad de sistemas. En los últimos años, el profesor se ha enfocado en la seguridad de blockchain, introduciendo tecnologías de verificación formal en la garantía de seguridad de contratos inteligentes y protocolos en cadena, protegiendo la seguridad de activos criptográficos de cientos de miles de millones de dólares.
LiDO ha completado el diseño del modelo y la verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques públicas y protocolos descentralizados. El profesor indicó que están comprometidos a validar mecanismos clave en Web3.0 para ofrecer productos y servicios de ciclo completo, apoyando mejor la estrategia de desarrollo a largo plazo de las empresas y ecosistemas de Web3. Al final de la charla, enfatizó: "Una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado."
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
15 me gusta
Recompensa
15
4
Compartir
Comentar
0/400
SleepTrader
· hace7h
Escribí algo muy profundo, un poco difícil de soportar.
Ver originalesResponder0
ShadowStaker
· 07-21 20:16
meh... otro modelo académico que no sobrevivirá al primer contacto con los bots de MEV tbh
Ver originalesResponder0
quietly_staking
· 07-21 04:11
Otra vez haciendo cosas llamativas
Ver originalesResponder0
BlockchainDecoder
· 07-21 04:10
Desde la perspectiva de los documentos sobre sistemas distribuidos, el marco de verificación de tres capas de LiDO complementa efectivamente las deficiencias de la lógica de Hoare en entornos asíncronos, y vale la pena investigar a fondo su efecto práctico en los sistemas de Consenso.
El modelo LiDO se presenta por primera vez: innovación en la seguridad del protocolo de consenso de Web3
La Cumbre de Académicos de Web3 se centra en la seguridad del protocolo de consenso y la prueba de actividad
En la reciente Cumbre de Académicos Web3 2025, un reconocido profesor de ciencias de la computación dio una conferencia titulada "Seguridad y prueba de actividad de protocolos de consenso refinados: LiDO y su marco de expansión". En esta conferencia, presentó por primera vez el modelo LiDO desarrollado por su equipo y el marco de expansión LiDO-DAG. Este avance innovador tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos (BFT), sentando las bases tecnológicas para la fiabilidad y el desarrollo a gran escala del ecosistema Web3.
En la conferencia, el profesor señaló que los protocolos de consenso existentes (como PBFT, Jolteon), aunque ampliamente utilizados, a menudo ocultan vulnerabilidades potenciales debido a su complejidad de implementación. Para abordar este problema, el modelo LiDO propone de manera innovadora un marco de verificación refinado en tres capas:
Actualmente, LiDO se ha aplicado con éxito en el protocolo industrial Jolteon (BFT de dos fases) y en múltiples protocolos DAG, completando la prueba mecanizada de más de diez mil líneas de código Coq, con un volumen de código de verificación de seguridad y actividad de 4000 y 1700 líneas, respectivamente. El profesor señaló en su discurso: "En la actualidad, los protocolos de consenso PoS enfrentan comúnmente la difícil situación de no poder lograr seguridad, actividad y descentralización al mismo tiempo. El modelo LiDO es una solución de diseño sistemático propuesta precisamente para romper este dilema."
Cabe destacar que el profesor lideró anteriormente un equipo que desarrolló CertiKOS, el primer sistema operativo "sin vulnerabilidades" validado formalmente a nivel mundial, el cual ha sido calificado como "un hito en la seguridad de sistemas ciberfísicos". Este logro no solo establece las bases tecnológicas de una empresa de seguridad, sino que también resalta su profunda acumulación de conocimientos en el campo de la seguridad de sistemas. En los últimos años, el profesor se ha enfocado en la seguridad de blockchain, introduciendo tecnologías de verificación formal en la garantía de seguridad de contratos inteligentes y protocolos en cadena, protegiendo la seguridad de activos criptográficos de cientos de miles de millones de dólares.
LiDO ha completado el diseño del modelo y la verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques públicas y protocolos descentralizados. El profesor indicó que están comprometidos a validar mecanismos clave en Web3.0 para ofrecer productos y servicios de ciclo completo, apoyando mejor la estrategia de desarrollo a largo plazo de las empresas y ecosistemas de Web3. Al final de la charla, enfatizó: "Una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado."