Professor da Yale apresenta pela primeira vez o modelo LiDO na Cimeira de Académicos Web3
Na Cimeira dos Académicos de Web3 de 2025, o professor Shao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez uma apresentação intitulada "Provas de Segurança e Atividade de Protocolos de Consenso Refinados: LiDO e suas Expansões", onde apresentou pela primeira vez o modelo LiDO desenvolvido por sua equipe e a estrutura de expansão LiDO-DAG. Este resultado inovador visa fornecer provas de segurança e 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 desenvolvimento em escala do ecossistema Web3.
O Professor Shao Zhong, em sua palestra, apontou que os protocolos de consenso existentes (como PBFT, Jolteon), embora amplamente aplicados, frequentemente escondem vulnerabilidades potenciais devido à sua complexidade de implementação. Para resolver esse problema, o modelo LiDO propôs uma estrutura de verificação refinada em três camadas:
Camada de abstração de segurança: mapeia protocolos como uma máquina de estados linearizada, garantindo a consistência dos logs (segurança);
Camada de Garantia Ativa: Introduz o mecanismo "Pacemaker", que resolve problemas de latência de rede através de difusão de timeout e sincronização de rodadas;
Camada de expansão DAG: suporta novos protocolos DAG, realizando validação eficiente sem liderança.
Atualmente, o LiDO foi aplicado com sucesso no protocolo industrial Jolteon (BFT de duas fases) e em vários protocolos DAG, completando mais de 10.000 linhas de prova mecanizada de código Coq, onde a quantidade de código para verificação de segurança e vitalidade atinge 4.000 e 1.700 linhas, respectivamente. O Professor Shao Zhong enfatizou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam o dilema de que é difícil alcançar segurança, vitalidade e descentralização simultaneamente. O modelo LiDO é uma proposta de design sistemática para superar esse dilema."
A equipe liderada pelo Professor Shao Zhong anteriormente desenvolveu o CertiKOS, o primeiro sistema operacional "sem falhas" do mundo, validado por verificação formal, sendo considerado um "marco na segurança de sistemas ciberfísicos". Este feito não apenas demonstra seu profundo acúmulo no campo da segurança de sistemas, mas também estabelece uma base para suas pesquisas subsequentes na área de segurança de blockchain. Em 2017, o Professor Shao Zhong começou a investigar profundamente a segurança de blockchain, introduzindo a tecnologia de verificação formal na proteção da segurança de contratos inteligentes e protocolos on-chain, proporcionando proteção de segurança para uma grande quantidade de ativos criptográficos.
O modelo LiDO já concluiu o design e a 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 estão empenhados em 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 das empresas e ecossistemas Web3. Ao 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 futuro verdadeiramente descentralizado."
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
10 gostos
Recompensa
10
6
Republicar
Partilhar
Comentar
0/400
AltcoinMarathoner
· 21h atrás
finalmente... assim como o quilômetro 23 de uma maratona cripto, os protocolos de consenso estão a encontrar o seu ritmo. o modelo lido é aquele segundo fôlego que precisávamos, para ser sincero.
Ver originalResponder0
SchrodingerWallet
· 08-16 06:00
A Yale também joga Bizâncio, pode fazer acontecer.
Ver originalResponder0
NftMetaversePainter
· 08-16 05:53
finalmente... alguém está abordando a estética algorítmica dos protocolos de consenso. isso é pura poesia computacional ngl
Ver originalResponder0
PensionDestroyer
· 08-16 05:52
Agora o web3 pode corrigir bugs por conta própria.
Ver originalResponder0
AirdropATM
· 08-16 05:50
Espera, isto não é apenas escrever uma camada de segurança? É vinho velho em garrafa nova.
Professor da Yale lança o modelo LiDO para ajudar na verificação de segurança do protocolo de consenso Web3
Professor da Yale apresenta pela primeira vez o modelo LiDO na Cimeira de Académicos Web3
Na Cimeira dos Académicos de Web3 de 2025, o professor Shao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez uma apresentação intitulada "Provas de Segurança e Atividade de Protocolos de Consenso Refinados: LiDO e suas Expansões", onde apresentou pela primeira vez o modelo LiDO desenvolvido por sua equipe e a estrutura de expansão LiDO-DAG. Este resultado inovador visa fornecer provas de segurança e 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 desenvolvimento em escala do ecossistema Web3.
O Professor Shao Zhong, em sua palestra, apontou que os protocolos de consenso existentes (como PBFT, Jolteon), embora amplamente aplicados, frequentemente escondem vulnerabilidades potenciais devido à sua complexidade de implementação. Para resolver esse problema, o modelo LiDO propôs 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 10.000 linhas de prova mecanizada de código Coq, onde a quantidade de código para verificação de segurança e vitalidade atinge 4.000 e 1.700 linhas, respectivamente. O Professor Shao Zhong enfatizou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam o dilema de que é difícil alcançar segurança, vitalidade e descentralização simultaneamente. O modelo LiDO é uma proposta de design sistemática para superar esse dilema."
A equipe liderada pelo Professor Shao Zhong anteriormente desenvolveu o CertiKOS, o primeiro sistema operacional "sem falhas" do mundo, validado por verificação formal, sendo considerado um "marco na segurança de sistemas ciberfísicos". Este feito não apenas demonstra seu profundo acúmulo no campo da segurança de sistemas, mas também estabelece uma base para suas pesquisas subsequentes na área de segurança de blockchain. Em 2017, o Professor Shao Zhong começou a investigar profundamente a segurança de blockchain, introduzindo a tecnologia de verificação formal na proteção da segurança de contratos inteligentes e protocolos on-chain, proporcionando proteção de segurança para uma grande quantidade de ativos criptográficos.
O modelo LiDO já concluiu o design e a 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 estão empenhados em 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 das empresas e ecossistemas Web3. Ao 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 futuro verdadeiramente descentralizado."