O Professor Shao Zhong lançou o modelo LiDO para impulsionar a verificação de segurança do protocolo de consenso Web3.

robot
Geração do resumo em andamento

Na cúpula dos acadêmicos de Web3, o Professor Shao Zhong apresentou o modelo LiDO, promovendo a verificação da segurança do protocolo de consenso.

A Cimeira de Acadêmicos Web3 de 2025 foi realizada recentemente, e o professor Shao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez uma palestra intitulada "Prova de Segurança e Atividade de Protocolo de Consenso Refinado: LiDO e suas Extensões". Ele revelou pela primeira vez o modelo LiDO desenvolvido por sua equipe e a estrutura de extensão LiDO-DAG, que 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 confiabilidade e desenvolvimento em escala do ecossistema Web3.

O cofundador da CertiK, Professor Shao Zhong, participou da Cúpula de Acadêmicos Web3, apresentando pela primeira vez o modelo LiDO

O Professor Shao Zhong, na sua palestra, apontou que os atuais protocolos de consenso como PBFT e Jolteon, embora amplamente utilizados, frequentemente escondem vulnerabilidades potenciais devido à alta complexidade de implementação. Para resolver este problema, o modelo LiDO propôs de forma inovadora uma estrutura de verificação refinada em três camadas:

  1. 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);
  2. Camada de Garantia Ativa: Introduz o mecanismo "Pacemaker" para resolver o problema de latência da rede através da difusão de tempo limite e sincronização de rodadas;
  3. Camada de expansão DAG: suporta novos protocolos DAG como Narwhal e Bullshark, realizando uma verificação eficiente de consenso sem líderes.

Atualmente, o LiDO já foi aplicado com sucesso em protocolos de nível industrial como o Jolteon (BFT de duas fases) e em vários protocolos DAG, completando mais de dez mil linhas de provas mecanizadas em Coq, das quais a quantidade de código para validação de segurança e vivacidade atinge 4000 linhas e 1700 linhas, respectivamente. O Professor Shao Zhong enfatiza: "Atualmente, os protocolos de consenso PoS enfrentam geralmente a dificuldade de conciliar segurança, vivacidade e descentralização. O modelo LiDO é uma proposta de design sistêmico destinada a superar esse gargalo."

Como um dos principais desenvolvedores do CertiKOS, o primeiro sistema operacional "sem falhas" validado formalmente no mundo, o Professor Shao Zhong acumulou uma vasta experiência na área de segurança de sistemas. Esta conquista não apenas estabeleceu uma base sólida para suas pesquisas subsequentes, mas também destacou sua contribuição excepcional no campo da segurança de sistemas. Nos últimos anos, o Professor Shao Zhong direcionou seu foco de pesquisa para a segurança de blockchain e, em 2017, co-fundou uma empresa de segurança com parceiros, dedicada a aplicar técnicas de validação formal na garantia da segurança de contratos inteligentes e protocolos em cadeia, proporcionando proteção de segurança para ativos criptográficos no valor de centenas de bilhões.

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 oferecer produtos e serviços ao longo de todo o ciclo, apoiando melhor a estratégia de desenvolvimento a longo prazo das empresas e ecossistemas Web3. No final da palestra, o professor Shao Zhong enfatizou: "Pilhas de protocolo de rede confiáveis, seguras e verificáveis serão o caminho chave para um futuro verdadeiramente descentralizado."

Ver original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Recompensa
  • 7
  • Compartilhar
Comentário
0/400
CountdownToBrokevip
· 6h atrás
Mais uma dessas coisas sofisticadas... quem entende?
Ver originalResponder0
HodlOrRegretvip
· 07-06 18:32
Finalmente alguém atacou a camada de consenso.
Ver originalResponder0
StablecoinAnxietyvip
· 07-05 23:32
O protocolo PoS foi salvo mais uma vez!!!
Ver originalResponder0
DarkPoolWatchervip
· 07-05 23:31
Ter apenas teoria sem aplicação é igual a zero.
Ver originalResponder0
MercilessHalalvip
· 07-05 23:22
O que há de tão especial na mecanização?
Ver originalResponder0
GamefiHarvestervip
· 07-05 23:19
Sem palavras, mais uma especulação de conceito.
Ver originalResponder0
AirdropHarvestervip
· 07-05 23:13
LiDO hahaha, Airdrop ainda vai ser enviado?
Ver originalResponder0
Faça trade de criptomoedas em qualquer lugar e a qualquer hora
qrCode
Escaneie o código para baixar o app da Gate
Comunidade
Português (Brasil)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)