El profesor de Yale presenta el modelo LiDO: un nuevo avance en la verificación de la seguridad del protocolo de consenso.

En la cumbre de académicos de Web3, el profesor de Yale comparte un nuevo modelo de seguridad del protocolo de consenso

Recientemente, se llevó a cabo la Cumbre de Académicos Web3 2025 según lo programado. En la conferencia, 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 protocolos de consenso refinados: LiDO y su marco de expansión". Esta fue la primera vez que presentó al público el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este logro innovador tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para complejos protocolos de consenso de tolerancia a fallos bizantinos (BFT), estableciendo una base técnica para el desarrollo de la confiabilidad 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, Jolteon) se han aplicado ampliamente, a menudo esconden vulnerabilidades potenciales debido a la complejidad de su implementación. Para abordar este problema, el modelo LiDO propuso un innovador marco de verificación refinada de tres capas:

  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 latencia de la red a través de 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 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 etapas) y en varios protocolos DAG, completando más de 10,000 líneas de código Coq con pruebas mecanizadas, donde la cantidad de código para la verificación de seguridad y de actividad alcanza las 4,000 y 1,700 líneas, respectivamente. El profesor Shao Zhong enfatizó en su discurso: "Actualmente, los protocolos de consenso PoS enfrentan comúnmente 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 concebida precisamente para romper esta dificultad."

Cabe mencionar que el equipo liderado por el profesor Shao Zhong desarrolló CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo validado formalmente, el cual ha sido calificado como un "hito en la seguridad de los sistemas ciberfísicos". Este logro no solo demuestra su profunda acumulación en el campo de la seguridad de sistemas, sino que también establece una base para su investigación posterior en el ámbito de la seguridad blockchain. En 2017, el profesor Shao Zhong y su discípulo, el profesor Gu Ronghui, introdujeron conjuntamente la tecnología de validación formal en el ámbito de la seguridad de contratos inteligentes y protocolos en la cadena, proporcionando protección de seguridad para activos criptográficos por un valor de cientos de 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 las principales cadenas de bloques públicas y protocolos descentralizados. El profesor Shao Zhong indicó que están comprometidos en verificar los mecanismos clave en Web3.0, con el fin de proporcionar productos y servicios de ciclo completo, apoyando mejor la estrategia de desarrollo a largo plazo de las empresas y ecosistemas Web3. Al finalizar 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 Web3, presentando públicamente por primera vez el modelo LiDO

DAG-4.83%
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
CryptoNomicsvip
· hace9h
*sigh* otro modelo que afirma resolver BFT cuando el verdadero problema radica en los equilibrios de la teoría de juegos estocásticos... déjame calcular algunos números rápidamente
Ver originalesResponder0
AirdropHunterKingvip
· hace9h
¿Qué es esta cosa tan impresionante? ¿No vas a decirme cómo aprovechar el airdrop?
Ver originalesResponder0
NFTragedyvip
· hace10h
Otra vez un nuevo marco... ¿no se acaba nunca?
Ver originalesResponder0
liquidation_watchervip
· hace10h
Bien, ahora el PBFT está condenado.
Ver originalesResponder0
  • Anclado
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)