No cume Web3, o professor de Yale lançou um modelo de verificação de protocolo de consenso inovador
Na Cimeira de Académicos Web3 de 2025, o Professor Zhao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez uma palestra intitulado "Prova de Segurança e Atividade de Protocolo de Consenso Refinado: LiDO e sua Expansão", onde apresentou pela primeira vez o modelo LiDO e a estrutura de expansão LiDO-DAG desenvolvidos por sua equipe. Este resultado inovador visa fornecer provas de segurança e atividade mecanizáveis para protocolos de consenso BFT complexos, estabelecendo uma base técnica para a fiabilidade e desenvolvimento em larga escala do ecossistema Web3.
O Professor Shao Zhong apontou em sua palestra que, apesar dos atuais protocolos de consenso (como PBFT, Jolteon) serem amplamente utilizados, a complexidade de implementação frequentemente oculta vulnerabilidades potenciais. Para resolver este problema, o modelo LiDO apresentou 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, assegurando a consistência dos registros (segurança);
Camada de garantia de atividade: introduz o mecanismo "Pacemaker", que resolve o problema de latência da rede através de transmissão de tempo limite e sincronização de rodadas;
Camada de extensão DAG: suporta protocolos DAG emergentes como Narwhal e Bullshark, realizando uma validação eficiente de consenso sem líder.
Atualmente, a LiDO foi aplicada com sucesso no protocolo industrial Jolteon (BFT de duas etapas) e em vários protocolos DAG, completando mais de dez mil linhas de código Coq com provas mecanizadas, onde o volume de código para verificação de segurança e de vivacidade atinge 4000 linhas e 1700 linhas, respectivamente. O Professor Shao Zhong enfatizou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam a dificuldade de garantir segurança, vivacidade e descentralização ao mesmo tempo. O modelo LiDO é uma proposta de design sistemática destinada a superar essa dificuldade."
Como o desenvolvedor do CertiKOS, o primeiro sistema operacional "sem vulnerabilidades" do mundo que passou por verificação formal, o Professor Zhao Zhong possui uma profunda acumulação na área de segurança de sistemas. Nos últimos anos, ele mudou seu foco de pesquisa para a segurança em blockchain, e em 2017, co-fundou uma empresa de segurança com parceiros, trazendo a tecnologia de verificação formal para a segurança de contratos inteligentes e protocolos em cadeia, oferecendo proteção de segurança para ativos criptográficos em larga escala.
O modelo LiDO foi atualmente concluído em design e verificação formal, e começou a explorar a possibilidade de integração com as principais blockchains e protocolos descentralizados. O professor Shao Zhong afirmou que eles estão dedicados a validar os mecanismos-chave no Web3.0, a fim de fornecer produtos e serviços de ciclo completo, apoiando melhor a estratégia de desenvolvimento de longo prazo de empresas e ecossistemas 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.
9 Curtidas
Recompensa
9
5
Repostar
Compartilhar
Comentário
0/400
AltcoinMarathoner
· 07-12 03:10
LiDO: marco tecnológico importante!
Ver originalResponder0
OfflineNewbie
· 07-10 04:41
A pesquisa é tão avançada que eu não consigo entender.
Professor da Yale publica LiDO: fornece garantias de segurança verificáveis para o protocolo de consenso Web3
No cume Web3, o professor de Yale lançou um modelo de verificação de protocolo de consenso inovador
Na Cimeira de Académicos Web3 de 2025, o Professor Zhao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez uma palestra intitulado "Prova de Segurança e Atividade de Protocolo de Consenso Refinado: LiDO e sua Expansão", onde apresentou pela primeira vez o modelo LiDO e a estrutura de expansão LiDO-DAG desenvolvidos por sua equipe. Este resultado inovador visa fornecer provas de segurança e atividade mecanizáveis para protocolos de consenso BFT complexos, estabelecendo uma base técnica para a fiabilidade e desenvolvimento em larga escala do ecossistema Web3.
O Professor Shao Zhong apontou em sua palestra que, apesar dos atuais protocolos de consenso (como PBFT, Jolteon) serem amplamente utilizados, a complexidade de implementação frequentemente oculta vulnerabilidades potenciais. Para resolver este problema, o modelo LiDO apresentou de forma inovadora uma estrutura de verificação refinada em três camadas:
Atualmente, a LiDO foi aplicada com sucesso no protocolo industrial Jolteon (BFT de duas etapas) e em vários protocolos DAG, completando mais de dez mil linhas de código Coq com provas mecanizadas, onde o volume de código para verificação de segurança e de vivacidade atinge 4000 linhas e 1700 linhas, respectivamente. O Professor Shao Zhong enfatizou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam a dificuldade de garantir segurança, vivacidade e descentralização ao mesmo tempo. O modelo LiDO é uma proposta de design sistemática destinada a superar essa dificuldade."
Como o desenvolvedor do CertiKOS, o primeiro sistema operacional "sem vulnerabilidades" do mundo que passou por verificação formal, o Professor Zhao Zhong possui uma profunda acumulação na área de segurança de sistemas. Nos últimos anos, ele mudou seu foco de pesquisa para a segurança em blockchain, e em 2017, co-fundou uma empresa de segurança com parceiros, trazendo a tecnologia de verificação formal para a segurança de contratos inteligentes e protocolos em cadeia, oferecendo proteção de segurança para ativos criptográficos em larga escala.
O modelo LiDO foi atualmente concluído em design e verificação formal, e começou a explorar a possibilidade de integração com as principais blockchains e protocolos descentralizados. O professor Shao Zhong afirmou que eles estão dedicados a validar os mecanismos-chave no Web3.0, a fim de fornecer produtos e serviços de ciclo completo, apoiando melhor a estratégia de desenvolvimento de longo prazo de empresas e ecossistemas 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."