En la cumbre de académicos de Web3, un profesor de Yale presenta un innovador modelo de verificación de consenso
En la Cumbre de Académicos de Web3 de 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 de 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 Fallas Bizantinas (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, Jolteon) se utilizan ampliamente, la complejidad de su implementación a menudo oculta vulnerabilidades potenciales. 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 como una máquina de estado linealizada, asegurando la consistencia de los registros (seguridad);
Capa de garantía activa: se introduce el mecanismo "Pacemaker", que resuelve 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: soporta protocolos DAG emergentes como Narwhal, Bullshark, y logra 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 prueba mecánica de más de diez mil líneas de código Coq, donde la cantidad de código para la verificación de seguridad y vitalidad alcanza las 4000 y 1700 líneas respectivamente. El profesor Shao Zhong enfatizó en su discurso: "Actualmente, los protocolos de consenso PoS enfrentan la difícil situación de no poder lograr simultáneamente seguridad, vitalidad y descentralización. El modelo LiDO es una propuesta de diseño sistemático destinada a romper esta dificultad."
Como desarrollador de CertiKOS, el primer sistema operativo "sin fallos" del mundo basado en verificación formal, el profesor Shao Zhong tiene una sólida experiencia en el campo de la seguridad de sistemas. En los últimos años, ha centrado su investigación en la seguridad blockchain y en 2017 fundó una empresa de seguridad junto con socios, introduciendo la tecnología 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 a gran escala.
El modelo LiDO ha completado actualmente su diseño y verificación formal, y ha comenzado a explorar las posibilidades de integración con las principales cadenas de bloques y protocolos descentralizados. El profesor Shao Zhong declaró que están comprometidos con la verificación de 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 charla, 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.
9 me gusta
Recompensa
9
5
Republicar
Compartir
Comentar
0/400
AltcoinMarathoner
· 07-12 03:10
LiDO: ¡hito tecnológico importante!
Ver originalesResponder0
OfflineNewbie
· 07-10 04:41
La investigación es demasiado avanzada para que pueda entenderla.
El profesor de Yale lanza LiDO: proporciona garantías de seguridad verificables para el protocolo de consenso Web3
En la cumbre de académicos de Web3, un profesor de Yale presenta un innovador modelo de verificación de consenso
En la Cumbre de Académicos de Web3 de 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 de 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 Fallas Bizantinas (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, Jolteon) se utilizan ampliamente, la complejidad de su implementación a menudo oculta vulnerabilidades potenciales. 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 la prueba mecánica de más de diez mil líneas de código Coq, donde la cantidad de código para la verificación de seguridad y vitalidad alcanza las 4000 y 1700 líneas respectivamente. El profesor Shao Zhong enfatizó en su discurso: "Actualmente, los protocolos de consenso PoS enfrentan la difícil situación de no poder lograr simultáneamente seguridad, vitalidad y descentralización. El modelo LiDO es una propuesta de diseño sistemático destinada a romper esta dificultad."
Como desarrollador de CertiKOS, el primer sistema operativo "sin fallos" del mundo basado en verificación formal, el profesor Shao Zhong tiene una sólida experiencia en el campo de la seguridad de sistemas. En los últimos años, ha centrado su investigación en la seguridad blockchain y en 2017 fundó una empresa de seguridad junto con socios, introduciendo la tecnología 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 a gran escala.
El modelo LiDO ha completado actualmente su diseño y verificación formal, y ha comenzado a explorar las posibilidades de integración con las principales cadenas de bloques y protocolos descentralizados. El profesor Shao Zhong declaró que están comprometidos con la verificación de 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 charla, el profesor Shao Zhong enfatizó: "Una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado."