La Cumbre de Académicos 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 conocido profesor de ciencias de la computación dio una conferencia titulada "Seguridad y prueba de actividad del protocolo de consenso refinado: LiDO y su marco de expansión", donde presentó 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 pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos (BFT) complejos, 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 se aplican ampliamente, 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 refinada en tres capas:
Capa de abstracción segura: 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", que resuelve el problema de la latencia en la red a través de la difusión de tiempo de espera y sincronización de rondas;
Capa de expansión DAG: soporte para protocolos DAG emergentes como Narwhal y 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 mecánica de más de diez mil líneas de código Coq, con una cantidad de código para la verificación de seguridad y actividad que alcanza las 4000 y 1700 líneas, respectivamente. "En la actualidad, los protocolos de consenso PoS enfrentan la difícil situación de lograr simultáneamente seguridad, actividad y descentralización", señaló el profesor en su discurso. "El modelo LiDO es precisamente un plan de diseño sistemático propuesto para romper este dilema."
Este profesor lideró un equipo que desarrolló el primer sistema operativo "sin fallos" del mundo a través de la verificación formal, siendo aclamado como un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo sentó las bases tecnológicas de la empresa de seguridad que fundó, sino que también destacó su profunda acumulación en el campo de la seguridad de sistemas. En los últimos años, este profesor se ha sumergido en la seguridad de blockchain, introduciendo la tecnología 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.
LiDO ha completado actualmente 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 verificar los 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 presentación, el profesor 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.
21 me gusta
Recompensa
21
7
Compartir
Comentar
0/400
MEV_Whisperer
· 07-25 08:35
¿Todo el código fuente está en GitHub?
Ver originalesResponder0
NewPumpamentals
· 07-23 00:58
Otra vez hablando de la prueba matemática.
Ver originalesResponder0
LayerZeroHero
· 07-22 12:45
La verificación de la seguridad del protocolo debe ser precisa; de lo contrario, ¡todo es un juego de tontos!
Ver originalesResponder0
WalletDetective
· 07-22 12:44
Otro proyecto de aire.
Ver originalesResponder0
RamenDeFiSurvivor
· 07-22 12:40
Jugadores de ramen descentralizados que ganan 500U al mes, odian a los validadores que toman a la gente por tonta.
Web3 nuevo avance en el consenso: el modelo LiDO logra la prueba mecanizada de seguridad y actividad.
La Cumbre de Académicos 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 conocido profesor de ciencias de la computación dio una conferencia titulada "Seguridad y prueba de actividad del protocolo de consenso refinado: LiDO y su marco de expansión", donde presentó 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 pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos (BFT) complejos, 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 se aplican ampliamente, 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 refinada 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 mecánica de más de diez mil líneas de código Coq, con una cantidad de código para la verificación de seguridad y actividad que alcanza las 4000 y 1700 líneas, respectivamente. "En la actualidad, los protocolos de consenso PoS enfrentan la difícil situación de lograr simultáneamente seguridad, actividad y descentralización", señaló el profesor en su discurso. "El modelo LiDO es precisamente un plan de diseño sistemático propuesto para romper este dilema."
Este profesor lideró un equipo que desarrolló el primer sistema operativo "sin fallos" del mundo a través de la verificación formal, siendo aclamado como un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo sentó las bases tecnológicas de la empresa de seguridad que fundó, sino que también destacó su profunda acumulación en el campo de la seguridad de sistemas. En los últimos años, este profesor se ha sumergido en la seguridad de blockchain, introduciendo la tecnología 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.
LiDO ha completado actualmente 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 verificar los 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 presentación, el profesor enfatizó: "Una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado."