La cumbre de académicos de Web3 se centra en la seguridad del protocolo de consenso y la prueba de actividad
En la Cumbre de Académicos Web3 de 2025, un conocido profesor de ciencias de la computación presentó una conferencia titulada "Seguridad y prueba de actividad de protocolos de consenso refinados: LiDO y su marco de expansión", donde reveló por primera vez el modelo LiDO desarrollado por su equipo y el marco de expansión LiDO-DAG. Este logro innovador tiene como objetivo proporcionar una verificación mecánica de la seguridad y la prueba de actividad para protocolos de consenso de Tolerancia a Fallos Bizantinos (BFT) complejos, sentando las bases tecnológicas para la fiabilidad y el desarrollo escalable del ecosistema Web3.
El orador 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 detallado 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: Introducir el mecanismo "Pacemaker" para resolver el problema de la latencia de la red mediante la difusión de tiempo de espera y la sincronización de rondas;
Capa de expansión DAG: soporta protocolos DAG emergentes como Narwhal, Bullshark, logrando una verificación eficiente del consenso sin líderes.
Actualmente, LiDO se ha aplicado con éxito en el protocolo industrial Jolteon (BFT de dos fases) y en múltiples protocolos DAG, completando la verificación mecánica 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 líneas y 1700 líneas respectivamente. El ponente enfatizó: "En la actualidad, los protocolos de consenso PoS enfrentan generalmente la difícil situación de no poder lograr seguridad, actividad y descentralización al mismo tiempo. El modelo LiDO es precisamente una propuesta de diseño sistemático para romper este dilema."
El CertiKOS, desarrollado previamente por el profesor y su equipo, es el primer sistema operativo "sin vulnerabilidades" del mundo que ha sido validado formalmente, y ha sido aclamado como "un hito en la seguridad de los sistemas ciberfísicos". Este logro no solo establece su sólida acumulación en el campo de la seguridad de sistemas, sino que también proporciona una base importante para la investigación futura.
LiDO ha completado el diseño del modelo y la verificación formal, y ha comenzado a explorar la posibilidad de integración con las principales cadenas públicas y protocolos descentralizados. El ponente indicó 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 las empresas y ecosistemas de Web3.
Al final de la conferencia, el profesor enfatizó: "Una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado." Este punto de vista suscitó una amplia discusión entre los académicos presentes, señalando la dirección para el futuro desarrollo de la tecnología Web3.
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.
10 me gusta
Recompensa
10
3
Republicar
Compartir
Comentar
0/400
PumpDetector
· 08-02 04:48
solo otro marco teórico... he visto demasiados desde los días de mt gox, para ser sincero
Ver originalesResponder0
MonkeySeeMonkeyDo
· 07-30 05:34
¿Otra vez viejo dinero? No es sorprendente que sea PBFT, prueba de viejo dinero.
Ver originalesResponder0
SerNgmi
· 07-30 05:34
Otra vez con cosas de ciencias y letras, qué aburrido.
Modelo LiDO revolucionario: proporciona verificación de seguridad mecanizable para el 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 Cumbre de Académicos Web3 de 2025, un conocido profesor de ciencias de la computación presentó una conferencia titulada "Seguridad y prueba de actividad de protocolos de consenso refinados: LiDO y su marco de expansión", donde reveló por primera vez el modelo LiDO desarrollado por su equipo y el marco de expansión LiDO-DAG. Este logro innovador tiene como objetivo proporcionar una verificación mecánica de la seguridad y la prueba de actividad para protocolos de consenso de Tolerancia a Fallos Bizantinos (BFT) complejos, sentando las bases tecnológicas para la fiabilidad y el desarrollo escalable del ecosistema Web3.
El orador 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 detallado 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 verificación mecánica 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 líneas y 1700 líneas respectivamente. El ponente enfatizó: "En la actualidad, los protocolos de consenso PoS enfrentan generalmente la difícil situación de no poder lograr seguridad, actividad y descentralización al mismo tiempo. El modelo LiDO es precisamente una propuesta de diseño sistemático para romper este dilema."
El CertiKOS, desarrollado previamente por el profesor y su equipo, es el primer sistema operativo "sin vulnerabilidades" del mundo que ha sido validado formalmente, y ha sido aclamado como "un hito en la seguridad de los sistemas ciberfísicos". Este logro no solo establece su sólida acumulación en el campo de la seguridad de sistemas, sino que también proporciona una base importante para la investigación futura.
LiDO ha completado el diseño del modelo y la verificación formal, y ha comenzado a explorar la posibilidad de integración con las principales cadenas públicas y protocolos descentralizados. El ponente indicó 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 las empresas y ecosistemas de Web3.
Al final de la conferencia, el profesor enfatizó: "Una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado." Este punto de vista suscitó una amplia discusión entre los académicos presentes, señalando la dirección para el futuro desarrollo de la tecnología Web3.