En la cumbre de académicos de Web3, el profesor de Yale presenta por primera vez el modelo LiDO
La Cumbre de Académicos de Web3 de 2025 se celebra hoy, el profesor Zhao Zhong del Departamento de Ciencias de la Computación de la Universidad de Yale pronunció un discurso magistral, presentando el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este logro innovador tiene como objetivo proporcionar seguridad y pruebas de vitalidad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos (BFT) complejos, sentando las bases técnicas para el desarrollo de la fiabilidad y escalabilidad 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 existen vulnerabilidades potenciales debido a la complejidad de su implementación. Para abordar este problema, el modelo LiDO propuso 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" para resolver el problema de latencia de la red a través de la difusión de tiempo de espera y sincronización de rondas;
Capa de expansión DAG: Soporta nuevos protocolos DAG emergentes como Narwhal y Bullshark, logrando una validación eficiente sin liderazgo.
El modelo LiDO se ha aplicado con éxito en el protocolo industrial Jolteon (BFT de dos etapas) y en varios protocolos DAG, completando más de diez mil líneas de pruebas mecanizadas de código Coq. Entre ellas, la cantidad de código para la verificación de seguridad y de actividad alcanzó las 4000 y 1700 líneas, respectivamente. El profesor Shao Zhong enfatizó en su conferencia: "Actualmente, los protocolos de consenso PoS enfrentan en general 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 sistemático que busca romper esta situación."
Como principal desarrollador de CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo que ha sido verificado formalmente, el profesor Shao Zhong tiene una profunda acumulación en el campo de la seguridad de sistemas. En los últimos años, ha centrado su investigación en la seguridad blockchain, dedicándose a aplicar técnicas de verificación formal a la protección de la seguridad de contratos inteligentes y protocolos en la 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 se está explorando la posibilidad de integración con cadenas de bloques principales y protocolos descentralizados. El profesor Shao Zhong ha declarado 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.
El profesor Shao Zhong enfatizó al final de su discurso: "Un stack de protocolos de red confiable, seguro y verificable será el camino clave hacia un verdadero futuro 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.
19 me gusta
Recompensa
19
5
Republicar
Compartir
Comentar
0/400
SocialFiQueen
· 08-14 22:25
Satoshi Nakamoto está aprendiendo este modelo en silencio.
Ver originalesResponder0
WalletInspector
· 08-12 05:33
Esta iteración tecnológica es demasiado severa.
Ver originalesResponder0
SleepyValidator
· 08-12 05:25
Ay, otro modelo de verificación, los expertos en criptografía están compitiendo.
Ver originalesResponder0
metaverse_hermit
· 08-12 05:10
Ahora bft será mucho más elegante.
Ver originalesResponder0
NotSatoshi
· 08-12 05:05
Viejo vino en nuevas botellas, no hay nada innovador.
El profesor de Yale publica el modelo LiDO para proporcionar verificación de seguridad formal en el ecosistema Web3.
En la cumbre de académicos de Web3, el profesor de Yale presenta por primera vez el modelo LiDO
La Cumbre de Académicos de Web3 de 2025 se celebra hoy, el profesor Zhao Zhong del Departamento de Ciencias de la Computación de la Universidad de Yale pronunció un discurso magistral, presentando el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este logro innovador tiene como objetivo proporcionar seguridad y pruebas de vitalidad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos (BFT) complejos, sentando las bases técnicas para el desarrollo de la fiabilidad y escalabilidad 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 existen vulnerabilidades potenciales debido a la complejidad de su implementación. Para abordar este problema, el modelo LiDO propuso un marco de verificación refinado en tres capas:
El modelo LiDO se ha aplicado con éxito en el protocolo industrial Jolteon (BFT de dos etapas) y en varios protocolos DAG, completando más de diez mil líneas de pruebas mecanizadas de código Coq. Entre ellas, la cantidad de código para la verificación de seguridad y de actividad alcanzó las 4000 y 1700 líneas, respectivamente. El profesor Shao Zhong enfatizó en su conferencia: "Actualmente, los protocolos de consenso PoS enfrentan en general 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 sistemático que busca romper esta situación."
Como principal desarrollador de CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo que ha sido verificado formalmente, el profesor Shao Zhong tiene una profunda acumulación en el campo de la seguridad de sistemas. En los últimos años, ha centrado su investigación en la seguridad blockchain, dedicándose a aplicar técnicas de verificación formal a la protección de la seguridad de contratos inteligentes y protocolos en la 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 se está explorando la posibilidad de integración con cadenas de bloques principales y protocolos descentralizados. El profesor Shao Zhong ha declarado 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.
El profesor Shao Zhong enfatizó al final de su discurso: "Un stack de protocolos de red confiable, seguro y verificable será el camino clave hacia un verdadero futuro descentralizado."