La cumbre de académicos Web3 se centra en la seguridad del protocolo de consenso y la prueba de actividad
En la reciente Cumbre de Académicos Web3 2025, un conocido profesor de informática pronunció una conferencia titulada "Seguridad y prueba de actividad del protocolo de consenso refinado: LiDO y su marco de expansión". En esta conferencia, se presentó por primera vez el modelo LiDO desarrollado por su equipo y el marco de expansión LiDO-DAG. Este logro revolucionario tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos complejos (BFT), estableciendo una base técnica para la fiabilidad y el desarrollo a gran escala del ecosistema Web3.
El orador señaló que los protocolos de consenso existentes (como PBFT, Jolteon) son ampliamente utilizados, pero debido a su complejidad de implementación, a menudo ocultan vulnerabilidades potenciales. Para abordar este problema, el modelo LiDO propone de manera innovadora un marco de validación de 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", que resuelve el problema de la 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 de 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 la prueba mecánica de más de diez mil líneas de código Coq, con un volumen de código de verificación de seguridad y de actividad que alcanza las 4000 líneas y 1700 líneas, respectivamente. El profesor señaló en su discurso: "En la actualidad, 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 precisamente un plan de diseño sistemático propuesto para romper esta dificultad."
El profesor lideró un equipo que desarrolló el primer sistema operativo "sin vulnerabilidades" CertiKOS, validado formalmente, el cual ha sido aclamado como "un hito en la seguridad de los sistemas ciberfísicos". Este logro no solo cimentó su profunda experiencia en el campo de la seguridad de sistemas, sino que también estableció las bases para investigaciones posteriores en la seguridad de blockchain.
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 públicas y protocolos descentralizados. El profesor afirmó que se dedican a validar los mecanismos clave en Web3.0 para ofrecer productos y servicios de ciclo completo, apoyando mejor la estrategia de desarrollo a largo plazo de las empresas y ecosistemas Web3. Al final de la charla, 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.
16 me gusta
Recompensa
16
10
Compartir
Comentar
0/400
WalletWhisperer
· hace4h
hm. el reconocimiento de patrones sugiere un 76.2% de probabilidad de que esto solucione los casos límite del consenso actual
Ver originalesResponder0
CryptoTarotReader
· 07-26 09:57
Finalmente hay un nuevo modelo, ¡buenas críticas!
Ver originalesResponder0
AltcoinMarathoner
· 07-24 19:08
otro protocolo entra en la carrera... este maratón se está llenando pero los fundamentos se mantienen fuertes
Ver originalesResponder0
TokenCreatorOP
· 07-24 17:20
¿Por qué la seguridad es tan importante?
Ver originalesResponder0
AirdropLicker
· 07-24 17:13
Otra vez vienen a tomar a la gente por tonta.
Ver originalesResponder0
MidnightSnapHunter
· 07-24 17:12
La verificación detallada puede resolver vulnerabilidades.
Ver originalesResponder0
SchrodingerAirdrop
· 07-24 17:04
Tener dinero es bueno
Ver originalesResponder0
OnchainGossiper
· 07-24 16:55
No hables tanto, solo mantén la calma.
Ver originalesResponder0
HodlNerd
· 07-24 16:53
fascinante cómo la teoría de juegos se encuentra con la verificación formal en esto... verdadera belleza matemática
Ver originalesResponder0
BakedCatFanboy
· 07-24 16:51
Nuevos protocolos a la vista, tranquilo para observar.
Web3突破：LiDO模型助力Consenso protocolo安全性与活性验证
La cumbre de académicos Web3 se centra en la seguridad del protocolo de consenso y la prueba de actividad
En la reciente Cumbre de Académicos Web3 2025, un conocido profesor de informática pronunció una conferencia titulada "Seguridad y prueba de actividad del protocolo de consenso refinado: LiDO y su marco de expansión". En esta conferencia, se presentó por primera vez el modelo LiDO desarrollado por su equipo y el marco de expansión LiDO-DAG. Este logro revolucionario tiene como objetivo proporcionar pruebas de seguridad y actividad verificables mecánicamente para protocolos de consenso de tolerancia a fallos bizantinos complejos (BFT), estableciendo una base técnica para la fiabilidad y el desarrollo a gran escala del ecosistema Web3.
El orador señaló que los protocolos de consenso existentes (como PBFT, Jolteon) son ampliamente utilizados, pero debido a su complejidad de implementación, a menudo ocultan vulnerabilidades potenciales. Para abordar este problema, el modelo LiDO propone de manera innovadora un marco de validación de tres capas:
Actualmente, LiDO se ha aplicado con éxito en el protocolo industrial Jolteon (BFT de dos etapas) y en varios protocolos DAG, completando la prueba mecánica de más de diez mil líneas de código Coq, con un volumen de código de verificación de seguridad y de actividad que alcanza las 4000 líneas y 1700 líneas, respectivamente. El profesor señaló en su discurso: "En la actualidad, 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 precisamente un plan de diseño sistemático propuesto para romper esta dificultad."
El profesor lideró un equipo que desarrolló el primer sistema operativo "sin vulnerabilidades" CertiKOS, validado formalmente, el cual ha sido aclamado como "un hito en la seguridad de los sistemas ciberfísicos". Este logro no solo cimentó su profunda experiencia en el campo de la seguridad de sistemas, sino que también estableció las bases para investigaciones posteriores en la seguridad de blockchain.
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 públicas y protocolos descentralizados. El profesor afirmó que se dedican a validar los mecanismos clave en Web3.0 para ofrecer productos y servicios de ciclo completo, apoyando mejor la estrategia de desarrollo a largo plazo de las empresas y ecosistemas Web3. Al final de la charla, enfatizó: "Una pila de protocolos de red confiable, segura y verificable, será el camino clave hacia un futuro verdaderamente descentralizado."