La cumbre de académicos de Web3 se centra en el marco de verificación de seguridad del nuevo protocolo de consenso
En la reciente Cumbre de Académicos Web3 2025, el profesor Shao Zhong del Departamento de Ciencias de la Computación de la Universidad de Yale pronunció una conferencia titulada "Prueba de seguridad y actividad del protocolo de consenso refinado: LiDO y su marco de expansión". En esta conferencia, presentó por primera vez el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este innovador logro tiene como objetivo proporcionar pruebas de seguridad y actividad que puedan ser verificadas mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos (BFT), sentando una base técnica sólida para la fiabilidad y el desarrollo a gran escala del ecosistema Web3.
El profesor Shao Zhong señaló en su discurso que, aunque los protocolos de consenso existentes (como PBFT, Jolteon) se han aplicado ampliamente, a menudo ocultan vulnerabilidades potenciales debido a la complejidad de su implementación. Para abordar este problema, el modelo LiDO propone de manera innovadora un marco de verificación de tres capas:
Capa de abstracción segura: mapea el protocolo como una máquina de estados linealizada, asegurando la consistencia del registro (seguridad);
Capa de garantía activa: Introducción del mecanismo "Pacemaker", que resuelve el problema de la latencia de la red mediante la difusión de tiempo de espera y la sincronización de rondas;
Capa de extensión DAG: soporta protocolos DAG emergentes como Narwhal y Bullshark, logrando una verificación eficiente del consenso sin líderes.
Actualmente, LiDO se ha implementado con éxito en el protocolo industrial Jolteon (BFT de dos fases) y en varios protocolos DAG, completando más de diez mil líneas de código Coq con pruebas mecanizadas, donde la cantidad de código para la verificación de seguridad y actividad alcanza las 4000 líneas y 1700 líneas, respectivamente. El profesor Shao Zhong enfatiza: "En la actualidad, los protocolos de consenso PoS enfrentan comúnmente la dificultad de lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es precisamente una solución de diseño sistemático propuesta para superar este cuello de botella."
Como líder en el desarrollo del sistema operativo "sin fallas" CertiKOS, que ha sido verificado formalmente, el profesor Shao Zhong y su equipo han acumulado una sólida capacidad técnica en el campo de la seguridad de sistemas. Este logro no solo sienta una base sólida para su investigación futura, sino que también demuestra su contribución excepcional en el campo de la seguridad de sistemas. En los últimos años, el profesor Shao Zhong ha centrado su investigación en la seguridad de blockchain, dedicándose a aplicar técnicas de verificación formal en la garantía de seguridad de contratos inteligentes y protocolos en cadena, proporcionando protección de seguridad para activos criptográficos de miles de millones de dólares.
El modelo LiDO ha completado actualmente su diseño y verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques principales y protocolos descentralizados. El profesor Shao Zhong afirmó que están comprometidos con la verificación de mecanismos clave en Web3.0 para proporcionar productos y servicios de ciclo completo, apoyando mejor la estrategia de desarrollo a largo plazo de empresas y ecosistemas Web3. Al final de la presentación, el profesor Shao Zhong 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.
14 me gusta
Recompensa
14
6
Republicar
Compartir
Comentar
0/400
GasDevourer
· hace8h
alcista ah hermano, un paso a la vez
Ver originalesResponder0
MoonRocketman
· hace8h
Este trampa es el combustible de reabastecimiento esencial para romper la atmósfera. Mirar al alza.
Ver originalesResponder0
Blockblind
· hace8h
Finalmente llegó la verificación de seguridad de Gang.
Ver originalesResponder0
governance_ghost
· hace9h
Deja de alardear, ya se han corregido todos los errores.
Ver originalesResponder0
gas_fee_therapy
· hace9h
¿Hmm? Este protocolo no tiene grandes avances, ¿verdad?
El nuevo marco de verificación de seguridad del protocolo de consenso Web3, LiDO, se presenta en la cumbre de académicos.
La cumbre de académicos de Web3 se centra en el marco de verificación de seguridad del nuevo protocolo de consenso
En la reciente Cumbre de Académicos Web3 2025, el profesor Shao Zhong del Departamento de Ciencias de la Computación de la Universidad de Yale pronunció una conferencia titulada "Prueba de seguridad y actividad del protocolo de consenso refinado: LiDO y su marco de expansión". En esta conferencia, presentó por primera vez el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este innovador logro tiene como objetivo proporcionar pruebas de seguridad y actividad que puedan ser verificadas mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos (BFT), sentando una base técnica sólida para la fiabilidad y el desarrollo a gran escala del ecosistema Web3.
El profesor Shao Zhong señaló en su discurso que, aunque los protocolos de consenso existentes (como PBFT, Jolteon) se han aplicado ampliamente, a menudo ocultan vulnerabilidades potenciales debido a la complejidad de su implementación. Para abordar este problema, el modelo LiDO propone de manera innovadora un marco de verificación de tres capas:
Actualmente, LiDO se ha implementado con éxito en el protocolo industrial Jolteon (BFT de dos fases) y en varios protocolos DAG, completando más de diez mil líneas de código Coq con pruebas mecanizadas, donde la cantidad de código para la verificación de seguridad y actividad alcanza las 4000 líneas y 1700 líneas, respectivamente. El profesor Shao Zhong enfatiza: "En la actualidad, los protocolos de consenso PoS enfrentan comúnmente la dificultad de lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es precisamente una solución de diseño sistemático propuesta para superar este cuello de botella."
Como líder en el desarrollo del sistema operativo "sin fallas" CertiKOS, que ha sido verificado formalmente, el profesor Shao Zhong y su equipo han acumulado una sólida capacidad técnica en el campo de la seguridad de sistemas. Este logro no solo sienta una base sólida para su investigación futura, sino que también demuestra su contribución excepcional en el campo de la seguridad de sistemas. En los últimos años, el profesor Shao Zhong ha centrado su investigación en la seguridad de blockchain, dedicándose a aplicar técnicas de verificación formal en la garantía de seguridad de contratos inteligentes y protocolos en cadena, proporcionando protección de seguridad para activos criptográficos de miles de millones de dólares.
El modelo LiDO ha completado actualmente su diseño y verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques principales y protocolos descentralizados. El profesor Shao Zhong afirmó que están comprometidos con la verificación de mecanismos clave en Web3.0 para proporcionar productos y servicios de ciclo completo, apoyando mejor la estrategia de desarrollo a largo plazo de empresas y ecosistemas Web3. Al final de la presentación, el profesor Shao Zhong enfatizó: "Una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado."