El profesor de Yale publica el modelo LiDO, logrando un avance en la seguridad del protocolo de consenso de Web3.

robot
Generación de resúmenes en curso

En la cumbre de académicos de Web3, el profesor de Yale comparte avances en la investigación sobre la seguridad del protocolo 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ó un discurso titulado "Pruebas de seguridad y actividad de protocolos de consenso refinados: LiDO y su extensión", donde presentó por primera vez el modelo LiDO y el marco de extensión LiDO-DAG desarrollado por su equipo. 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, estableciendo una base técnica para la confiabilidad y el desarrollo a gran escala del ecosistema Web3.

El profesor Shao Zhong señaló en su discurso 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 resolver este problema, el modelo LiDO propone de manera innovadora un marco de verificación refinado en tres niveles:

  1. Capa de abstracción de seguridad: mapea el protocolo como una máquina de estados linealizada, asegurando la consistencia de los registros (seguridad);
  2. Capa de garantía activa: Introducción del 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;
  3. 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 más de 10,000 líneas de código Coq con pruebas mecanizadas, con un volumen de código de verificación de seguridad y actividad que alcanza las 4,000 y 1,700 líneas respectivamente. El profesor Shao Zhong señaló en su discurso: "En la actualidad, los protocolos de consenso PoS enfrentan la dificultad de lograr simultáneamente seguridad, actividad y descentralización. El modelo LiDO es una propuesta de diseño sistemático destinada a romper esta dificultad."

Cabe destacar que el profesor Shao Zhong y su equipo desarrollaron CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo que ha sido verificado formalmente, siendo considerado un "hito en la seguridad de sistemas ciberfísicos". Este logro no solo establece su profunda acumulación en el campo de la seguridad de sistemas, sino que también proporciona una base sólida para la investigación de seguridad en blockchain en adelante. En 2017, el profesor Shao Zhong y su discípulo, el profesor Gu Ronghui, introdujeron la tecnología de verificación formal en el ámbito de la garantía de seguridad de contratos inteligentes y protocolos en cadena, brindando un apoyo importante para la seguridad de los activos criptográficos.

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 las principales cadenas de bloques públicas 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 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 Shao Zhong enfatizó: "Una pila de protocolos de red confiable, segura y verificable será el camino clave hacia un futuro verdaderamente descentralizado."

El cofundador de CertiK, el profesor Shao Zhong, asiste a la Cumbre de Académicos de Web3, presentando por primera vez el modelo LiDO

Ver originales
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.
  • Recompensa
  • 4
  • Compartir
Comentar
0/400
ForkItAllDayvip
· hace3h
Oh oh, el experto ha comenzado.
Ver originalesResponder0
zkProofInThePuddingvip
· hace15h
¡La utilidad es un poco fuerte!
Ver originalesResponder0
CryptoComedianvip
· hace15h
tontos al fin lograron que el círculo académico interviniera en el mercado, no lo entiendo pero me siento inexplicablemente feliz
Ver originalesResponder0
governance_ghostvip
· hace15h
alcista ¡Por fin hay alguien que muerde este hueso duro!
Ver originalesResponder0
Opere con criptomonedas en cualquier momento y lugar
qrCode
Escanee para descargar la aplicación Gate
Comunidad
Español
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)