La cumbre de académicos de Web3 se centra en la investigación de la seguridad de los protocolos de consenso, el nuevo modelo LiDO llama la atención
En la reciente Cumbre de Académicos Web3 2025, un conocido profesor de ciencias de la computación dio una conferencia titulada "Seguridad y prueba de actividad del protocolo de consenso refinado: LiDO y su marco de expansión", donde presentó por primera vez el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este innovador logro 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 confiabilidad y el desarrollo a gran escala del ecosistema Web3.
En la conferencia, el profesor señaló que los protocolos de consenso existentes (como PBFT, Jolteon) aunque se aplican ampliamente, debido a su complejidad de implementación, a menudo ocultan vulnerabilidades potenciales. Para abordar este problema, el modelo LiDO propuso de manera innovadora un marco de verificació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: se introduce el mecanismo "Pacemaker", que resuelve el problema de la latencia de la red mediante 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, logrando una verificación eficiente del consenso sin líder.
Actualmente, LiDO se ha aplicado con éxito en el protocolo industrial Jolteon (BFT de dos etapas) y en varios protocolos DAG, completando la mecanización de la prueba de más de diez mil líneas de código Coq, con una cantidad de código de verificación de seguridad y actividad de 4000 líneas y 1700 líneas, respectivamente. El profesor señaló en su discurso: "En la actualidad, los protocolos de consenso PoS enfrentan en general la dificultad de alcanzar la seguridad, la actividad y la descentralización al mismo tiempo. El modelo LiDO es una solución de diseño sistémico propuesta para romper este dilema."
Cabe mencionar que el profesor anteriormente lideró un equipo que desarrolló CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo que ha sido validado formalmente, y ha sido considerado un "hito en la seguridad de sistemas ciberfísicos." Este logro no solo estableció las bases tecnológicas de una empresa de seguridad, sino que también destacó su profundo acervo en el campo de la seguridad de sistemas. En los últimos años, el profesor se ha dedicado a la seguridad en blockchain, introduciendo tecnología de verificación formal para garantizar la seguridad de contratos inteligentes y protocolos en la cadena, protegiendo la seguridad de activos criptográficos de niveles de miles de millones de dólares.
LiDO actualmente ha completado el diseño del modelo y la verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques públicas y protocolos descentralizados. El profesor expresó 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ó: "Un stack de protocolos de red confiables, seguros y verificables 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.
15 me gusta
Recompensa
15
4
Republicar
Compartir
Comentar
0/400
TokenDustCollector
· hace13h
Ya están trabajando en un nuevo modelo, no escucho, no escucho.
Ver originalesResponder0
ImpermanentPhilosopher
· hace13h
Otra vez los científicos hablando de seguridad, yo solo necesito un grupo de leopardo para resolverlo.
Ver originalesResponder0
SelfStaking
· hace13h
Tu protocolo de consenso suena bastante misterioso.
Cumbre de académicos de Web3 presenta el modelo LiDO Protocolo de Consenso, la seguridad alcanza una nueva altura.
La cumbre de académicos de Web3 se centra en la investigación de la seguridad de los protocolos de consenso, el nuevo modelo LiDO llama la atención
En la reciente Cumbre de Académicos Web3 2025, un conocido profesor de ciencias de la computación dio una conferencia titulada "Seguridad y prueba de actividad del protocolo de consenso refinado: LiDO y su marco de expansión", donde presentó por primera vez el modelo LiDO y el marco de expansión LiDO-DAG desarrollado por su equipo. Este innovador logro 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 confiabilidad y el desarrollo a gran escala del ecosistema Web3.
En la conferencia, el profesor señaló que los protocolos de consenso existentes (como PBFT, Jolteon) aunque se aplican ampliamente, debido a su complejidad de implementación, a menudo ocultan vulnerabilidades potenciales. Para abordar este problema, el modelo LiDO propuso de manera innovadora un marco de verificació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 mecanización de la prueba de más de diez mil líneas de código Coq, con una cantidad de código de verificación de seguridad y actividad de 4000 líneas y 1700 líneas, respectivamente. El profesor señaló en su discurso: "En la actualidad, los protocolos de consenso PoS enfrentan en general la dificultad de alcanzar la seguridad, la actividad y la descentralización al mismo tiempo. El modelo LiDO es una solución de diseño sistémico propuesta para romper este dilema."
Cabe mencionar que el profesor anteriormente lideró un equipo que desarrolló CertiKOS, el primer sistema operativo "sin vulnerabilidades" del mundo que ha sido validado formalmente, y ha sido considerado un "hito en la seguridad de sistemas ciberfísicos." Este logro no solo estableció las bases tecnológicas de una empresa de seguridad, sino que también destacó su profundo acervo en el campo de la seguridad de sistemas. En los últimos años, el profesor se ha dedicado a la seguridad en blockchain, introduciendo tecnología de verificación formal para garantizar la seguridad de contratos inteligentes y protocolos en la cadena, protegiendo la seguridad de activos criptográficos de niveles de miles de millones de dólares.
LiDO actualmente ha completado el diseño del modelo y la verificación formal, y ha comenzado a explorar la posibilidad de integración con cadenas de bloques públicas y protocolos descentralizados. El profesor expresó 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ó: "Un stack de protocolos de red confiables, seguros y verificables será el camino clave hacia un futuro verdaderamente descentralizado."