La cumbre de académicos de Web3 revela el modelo 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 "Pruebas de seguridad y actividad de protocolos de consenso refinados: LiDO y su extensión", donde presentó por primera vez el modelo LiDO desarrollado por su equipo y el marco de extensión LiDO-DAG. Este innovador logro tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de Tolerancia a Fallos Bizantinos (BFT) complejos, estableciendo una base técnica para la fiabilidad y el desarrollo a gran escala del ecosistema Web3.
El profesor Shao Zhong señaló en su discurso que, a pesar de que los protocolos de consenso existentes como PBFT y Jolteon se han aplicado ampliamente, a menudo ocultan vulnerabilidades potenciales debido a la complejidad de implementación. Para abordar este problema, el modelo LiDO propuso de manera innovadora un marco de verificación refinado en tres capas:
Capa de abstracción de seguridad: mapea el protocolo a una máquina de estados linealizada, asegurando la consistencia de los registros (seguridad);
Capa de garantía activa: se introduce el mecanismo "Pacemaker" para resolver el problema de 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 y 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 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 4000 líneas y 1700 líneas, respectivamente. El profesor Shao Zhong enfatizó: "En la actualidad, los protocolos de consenso PoS enfrentan generalmente la difícil situación de no poder lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es una propuesta de diseño sistémico para romper esta dificultad."
Como fundador de CertiKOS, el primer sistema operativo "sin vulnerabilidades" verificado formalmente a nivel mundial, el profesor Zhao Zhong tiene una sólida acumulación en el campo de la seguridad de sistemas. Este logro no solo establece sus cimientos en el ámbito de la tecnología de seguridad, sino que también muestra su pericia profesional en seguridad de sistemas. En los últimos años, el profesor Zhao Zhong ha centrado su investigación en la seguridad de blockchain, dedicándose a aplicar la tecnología de verificación formal para garantizar la seguridad de los contratos inteligentes y los protocolos en cadena, proporcionando protección de seguridad para activos criptográficos valorados en 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 declaró que están comprometidos a verificar los mecanismos clave en Web3.0 para proporcionar productos y servicios de todo el ciclo, apoyando mejor la estrategia de desarrollo a largo plazo de empresas y ecosistemas de Web3.
Al final de la conferencia, el profesor Shao Zhong enfatizó: "Un stack de protocolos de red que sea confiable, seguro y verificable, será el camino clave hacia un futuro verdaderamente descentralizado." Esta perspectiva destaca la importancia de construir una infraestructura segura y confiable para promover el desarrollo saludable de todo el ecosistema en la era de 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.
11 me gusta
Recompensa
11
7
Compartir
Comentar
0/400
CrashHotline
· 07-24 20:28
Estos modelos de investigación no sirven para nada.
Ver originalesResponder0
ZenChainWalker
· 07-24 09:30
jaja, soplando y siendo impresionante
Ver originalesResponder0
BTCBeliefStation
· 07-24 07:52
dang aún no puedo abrir los tres pasteles viejos
Ver originalesResponder0
MoneyBurnerSociety
· 07-21 20:58
Otra razón para vaciar la Billetera... ¡Lo investigaré directamente!
Ver originalesResponder0
MEV_Whisperer
· 07-21 20:58
Otra vez un nuevo modelo y un protocolo, realmente saben jugar.
Ver originalesResponder0
LiquidationWatcher
· 07-21 20:58
Otra vez hablando de teoría, lo más práctico es ganar dinero.
Cumbre de académicos de Web3: El modelo LiDO marca una era en la seguridad del protocolo de consenso
La cumbre de académicos de Web3 revela el modelo 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 "Pruebas de seguridad y actividad de protocolos de consenso refinados: LiDO y su extensión", donde presentó por primera vez el modelo LiDO desarrollado por su equipo y el marco de extensión LiDO-DAG. Este innovador logro tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de Tolerancia a Fallos Bizantinos (BFT) complejos, estableciendo una base técnica para la fiabilidad y el desarrollo a gran escala del ecosistema Web3.
El profesor Shao Zhong señaló en su discurso que, a pesar de que los protocolos de consenso existentes como PBFT y Jolteon se han aplicado ampliamente, a menudo ocultan vulnerabilidades potenciales debido a la complejidad de implementación. Para abordar este problema, el modelo LiDO propuso 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 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 4000 líneas y 1700 líneas, respectivamente. El profesor Shao Zhong enfatizó: "En la actualidad, los protocolos de consenso PoS enfrentan generalmente la difícil situación de no poder lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es una propuesta de diseño sistémico para romper esta dificultad."
Como fundador de CertiKOS, el primer sistema operativo "sin vulnerabilidades" verificado formalmente a nivel mundial, el profesor Zhao Zhong tiene una sólida acumulación en el campo de la seguridad de sistemas. Este logro no solo establece sus cimientos en el ámbito de la tecnología de seguridad, sino que también muestra su pericia profesional en seguridad de sistemas. En los últimos años, el profesor Zhao Zhong ha centrado su investigación en la seguridad de blockchain, dedicándose a aplicar la tecnología de verificación formal para garantizar la seguridad de los contratos inteligentes y los protocolos en cadena, proporcionando protección de seguridad para activos criptográficos valorados en 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 declaró que están comprometidos a verificar los mecanismos clave en Web3.0 para proporcionar productos y servicios de todo el ciclo, apoyando mejor la estrategia de desarrollo a largo plazo de empresas y ecosistemas de Web3.
Al final de la conferencia, el profesor Shao Zhong enfatizó: "Un stack de protocolos de red que sea confiable, seguro y verificable, será el camino clave hacia un futuro verdaderamente descentralizado." Esta perspectiva destaca la importancia de construir una infraestructura segura y confiable para promover el desarrollo saludable de todo el ecosistema en la era de Web3.