Cimeira dos acadêmicos de Web3: Professor da Universidade de Yale apresenta o modelo LiDO e sua estrutura de expansão
Na Cimeira de Académicos Web3 de 2025, o Professor Shao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez uma palestra intitulada "Segurança e Prova de Atividade de Protocolos de Consenso Refinados: LiDO e sua Extensão", apresentando pela primeira vez ao público o modelo LiDO e a estrutura de extensão LiDO-DAG desenvolvidos por sua equipe. Este resultado inovador visa fornecer segurança e prova de atividade verificáveis mecanicamente para protocolos de consenso de tolerância a falhas bizantinas (BFT) complexos, estabelecendo uma base técnica para a fiabilidade e expansão do ecossistema Web3.
O Professor Shao Zhong apontou em sua palestra que, apesar dos protocolos de consenso existentes (como PBFT e Jolteon) serem amplamente utilizados, eles muitas vezes escondem vulnerabilidades potenciais devido à complexidade de implementação. Para resolver esse problema, o modelo LiDO propôs de forma inovadora uma estrutura de verificação refinada em três camadas:
Camada de abstração de segurança: mapeia o protocolo como uma máquina de estados linearizada, garantindo a consistência dos logs (segurança);
Camada de Garantia de Atividade: Introdução do mecanismo "Pacemaker", que resolve o problema de latência da rede através de difusão de tempo limite e sincronização de rodadas;
Camada de extensão DAG: suporta protocolos DAG emergentes como Narwhal e Bullshark, realizando validação eficiente sem consenso de líder.
Atualmente, o LiDO foi aplicado com sucesso no protocolo industrial Jolteon (BFT de duas fases) e em vários protocolos DAG, completando mais de dez mil linhas de prova mecânica de código Coq, onde a quantidade de código para verificação de segurança e atividade atinge, respectivamente, 4000 linhas e 1700 linhas. O Professor Shao Zhong enfatizou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam geralmente o dilema de não conseguir garantir segurança, atividade e descentralização ao mesmo tempo. O modelo LiDO foi proposto como uma solução de design sistêmico para romper esse dilema."
Como o desenvolvedor do CertiKOS, o primeiro sistema operacional "sem falhas" do mundo validado formalmente, o Professor Zhao Zhong e sua equipe acumularam uma vasta experiência na área de segurança de sistemas. Este feito não apenas estabeleceu uma base técnica para empresas de segurança, mas também demonstrou sua expertise no campo da segurança de sistemas. Nos últimos anos, o Professor Zhao Zhong mudou seu foco de pesquisa para a segurança de blockchain e, em 2017, co-fundou uma empresa de segurança com parceiros, introduzindo tecnologia de validação formal para garantir a segurança de contratos inteligentes e protocolos on-chain, proporcionando proteção de segurança para ativos criptográficos no valor de centenas de bilhões de dólares.
LiDO já completou o design do modelo e a verificação formal, e começou a explorar a possibilidade de integração com blockchains principais e protocolos descentralizados. O Professor Shao Zhong afirmou que estão dedicados a validar os mecanismos-chave no Web3.0, para fornecer produtos e serviços de ciclo completo, apoiando melhor a estratégia de desenvolvimento a longo prazo das empresas e do ecossistema Web3. No final da palestra, o Professor Shao Zhong enfatizou: "Um stack de protocolos de rede confiável, seguro e verificável será o caminho chave para um verdadeiro futuro descentralizado."
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
Professor da Yale publica o modelo LiDO: fornece segurança verificável para o protocolo de consenso Web3
Cimeira dos acadêmicos de Web3: Professor da Universidade de Yale apresenta o modelo LiDO e sua estrutura de expansão
Na Cimeira de Académicos Web3 de 2025, o Professor Shao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez uma palestra intitulada "Segurança e Prova de Atividade de Protocolos de Consenso Refinados: LiDO e sua Extensão", apresentando pela primeira vez ao público o modelo LiDO e a estrutura de extensão LiDO-DAG desenvolvidos por sua equipe. Este resultado inovador visa fornecer segurança e prova de atividade verificáveis mecanicamente para protocolos de consenso de tolerância a falhas bizantinas (BFT) complexos, estabelecendo uma base técnica para a fiabilidade e expansão do ecossistema Web3.
O Professor Shao Zhong apontou em sua palestra que, apesar dos protocolos de consenso existentes (como PBFT e Jolteon) serem amplamente utilizados, eles muitas vezes escondem vulnerabilidades potenciais devido à complexidade de implementação. Para resolver esse problema, o modelo LiDO propôs de forma inovadora uma estrutura de verificação refinada em três camadas:
Atualmente, o LiDO foi aplicado com sucesso no protocolo industrial Jolteon (BFT de duas fases) e em vários protocolos DAG, completando mais de dez mil linhas de prova mecânica de código Coq, onde a quantidade de código para verificação de segurança e atividade atinge, respectivamente, 4000 linhas e 1700 linhas. O Professor Shao Zhong enfatizou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam geralmente o dilema de não conseguir garantir segurança, atividade e descentralização ao mesmo tempo. O modelo LiDO foi proposto como uma solução de design sistêmico para romper esse dilema."
Como o desenvolvedor do CertiKOS, o primeiro sistema operacional "sem falhas" do mundo validado formalmente, o Professor Zhao Zhong e sua equipe acumularam uma vasta experiência na área de segurança de sistemas. Este feito não apenas estabeleceu uma base técnica para empresas de segurança, mas também demonstrou sua expertise no campo da segurança de sistemas. Nos últimos anos, o Professor Zhao Zhong mudou seu foco de pesquisa para a segurança de blockchain e, em 2017, co-fundou uma empresa de segurança com parceiros, introduzindo tecnologia de validação formal para garantir a segurança de contratos inteligentes e protocolos on-chain, proporcionando proteção de segurança para ativos criptográficos no valor de centenas de bilhões de dólares.
LiDO já completou o design do modelo e a verificação formal, e começou a explorar a possibilidade de integração com blockchains principais e protocolos descentralizados. O Professor Shao Zhong afirmou que estão dedicados a validar os mecanismos-chave no Web3.0, para fornecer produtos e serviços de ciclo completo, apoiando melhor a estratégia de desenvolvimento a longo prazo das empresas e do ecossistema Web3. No final da palestra, o Professor Shao Zhong enfatizou: "Um stack de protocolos de rede confiável, seguro e verificável será o caminho chave para um verdadeiro futuro descentralizado."