Cimeira de Académicos Web3: Professor de Yale apresenta pela primeira vez o modelo LiDO
Na recente cimeira de académicos Web3 de 2025, o professor Shao Zhong do Departamento de Ciências da Computação da Universidade de Yale fez uma apresentação intitulada "Segurança e Prova de Atividade de Protocolos de Consenso Refinados: LiDO e sua Extensão", apresentando ao público pela primeira vez o modelo LiDO desenvolvido por sua equipa e a estrutura de extensão LiDO-DAG. Este resultado inovador visa fornecer provas de segurança e atividade verificáveis mecanicamente para protocolos de consenso tolerantes a falhas bizantinas (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 protocolos de consenso existentes (como PBFT, Jolteon) serem amplamente utilizados, a alta complexidade de implementação muitas vezes resulta em potenciais vulnerabilidades de segurança. Para resolver esse problema, o modelo LiDO propôs de forma inovadora uma estrutura de validaçã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: Introduz o mecanismo "Pacemaker", que resolve o problema de latência na 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, permitindo uma validação eficiente sem consenso de 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 dez mil linhas de código Coq com prova mecanizada, onde a quantidade de código para validação de segurança e de vivacidade 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 conseguir segurança, vivacidade e descentralização simultaneamente. O modelo LiDO foi proposto exatamente como uma solução de design sistêmico para romper esse dilema."
Vale a pena mencionar que o Professor Shao Zhong liderou uma equipe que desenvolveu o primeiro sistema operacional "sem falhas" CertiKOS do mundo, validado formalmente, que foi considerado pela indústria como um "marco na segurança de sistemas ciberfísicos". Este feito não só demonstra o profundo acúmulo de sua equipe no campo da segurança de sistemas, mas também estabelece uma base sólida para a pesquisa futura em segurança de blockchain. Em 2017, o Professor Shao Zhong e seu discípulo, o Professor Gu Ronghui, introduziram conjuntamente a tecnologia de validação formal no campo da segurança de contratos inteligentes e protocolos em blockchain, proporcionando proteção de segurança para ativos criptográficos no valor de centenas de bilhões de dólares.
O modelo LiDO já completou 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, para fornecer produtos e serviços ao longo de todo o ciclo, apoiando melhor as estratégias de desenvolvimento a longo prazo das empresas e ecossistemas Web3. Ao final da palestra, o Professor Shao Zhong destacou: "Um stack de protocolos de rede confiável, seguro e verificável será o caminho crucial para um futuro verdadeiramente 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.
13 Curtidas
Recompensa
13
4
Compartilhar
Comentário
0/400
NFTArtisanHQ
· 08-04 14:23
ah, finalmente alguém está a abordar o paradigma estético do consenso... lembra-me dos readymades do duchamp, para ser honesto
Ver originalResponder0
InfraVibes
· 08-04 05:50
Outro projeto de promessas vazias.
Ver originalResponder0
StableNomad
· 08-02 01:55
hmm outro modelo de consenso... estou a ter PTSD do luna dao rn
Ver originalResponder0
ZKProofster
· 08-02 01:50
tecnicamente falando, esta coisa do lido não é realmente inovadora... apenas mais uma camada bft, para ser honesto
Professor da Yale aparece na cimeira Web3: modelo LiDO quebra o dilema do Consenso protocolo
Cimeira de Académicos Web3: Professor de Yale apresenta pela primeira vez o modelo LiDO
Na recente cimeira de académicos Web3 de 2025, o professor Shao Zhong do Departamento de Ciências da Computação da Universidade de Yale fez uma apresentação intitulada "Segurança e Prova de Atividade de Protocolos de Consenso Refinados: LiDO e sua Extensão", apresentando ao público pela primeira vez o modelo LiDO desenvolvido por sua equipa e a estrutura de extensão LiDO-DAG. Este resultado inovador visa fornecer provas de segurança e atividade verificáveis mecanicamente para protocolos de consenso tolerantes a falhas bizantinas (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 protocolos de consenso existentes (como PBFT, Jolteon) serem amplamente utilizados, a alta complexidade de implementação muitas vezes resulta em potenciais vulnerabilidades de segurança. Para resolver esse problema, o modelo LiDO propôs de forma inovadora uma estrutura de validaçã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 código Coq com prova mecanizada, onde a quantidade de código para validação de segurança e de vivacidade 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 conseguir segurança, vivacidade e descentralização simultaneamente. O modelo LiDO foi proposto exatamente como uma solução de design sistêmico para romper esse dilema."
Vale a pena mencionar que o Professor Shao Zhong liderou uma equipe que desenvolveu o primeiro sistema operacional "sem falhas" CertiKOS do mundo, validado formalmente, que foi considerado pela indústria como um "marco na segurança de sistemas ciberfísicos". Este feito não só demonstra o profundo acúmulo de sua equipe no campo da segurança de sistemas, mas também estabelece uma base sólida para a pesquisa futura em segurança de blockchain. Em 2017, o Professor Shao Zhong e seu discípulo, o Professor Gu Ronghui, introduziram conjuntamente a tecnologia de validação formal no campo da segurança de contratos inteligentes e protocolos em blockchain, proporcionando proteção de segurança para ativos criptográficos no valor de centenas de bilhões de dólares.
O modelo LiDO já completou 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, para fornecer produtos e serviços ao longo de todo o ciclo, apoiando melhor as estratégias de desenvolvimento a longo prazo das empresas e ecossistemas Web3. Ao final da palestra, o Professor Shao Zhong destacou: "Um stack de protocolos de rede confiável, seguro e verificável será o caminho crucial para um futuro verdadeiramente descentralizado."