Professor de Yale lança o modelo LiDO: uma nova quebra na verificação da segurança do protocolo de consenso

Professor da Yale compartilha novo modelo de segurança do protocolo de consenso na Cúpula de Acadêmicos Web3

Recentemente, a Cimeira de Académicos Web3 de 2025 decorreu como previsto. Na conferência, 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 sua Extensão", apresentando ao público pela primeira vez o modelo LiDO desenvolvido por sua equipe 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 Byzantine Fault Tolerant (BFT) complexos, estabelecendo uma base técnica para o desenvolvimento da confiabilidade e escalabilidade do ecossistema Web3.

O professor Shao Zhong apontou na sua palestra que, apesar de os atuais protocolos de consenso (como PBFT, Jolteon) terem sido amplamente utilizados, devido à complexidade de implementação, eles frequentemente ocultam vulnerabilidades potenciais. Para resolver este problema, o modelo LiDO propôs uma estrutura inovadora de validaçã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", que resolve o problema de latência da rede através da difusão de tempo limite e sincronização de rondas;
  3. Camada de extensão DAG: suporta novos protocolos DAG como Narwhal e Bullshark, permitindo a validação eficiente de consenso sem líderes.

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 provas mecanizadas em Coq, onde a quantidade de código para verificação de segurança e atividade atinge, respectivamente, 4.000 linhas e 1.700 linhas. O Professor Shao Zhong enfatizou na sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam geralmente a dificuldade de conciliar segurança, atividade e descentralização. O modelo LiDO é uma solução de design sistemático proposta para superar essa dificuldade."

Vale a pena mencionar que a equipe liderada pelo Professor Shao Zhong desenvolveu anteriormente o CertiKOS, que é o primeiro sistema operacional "sem falhas" validado formalmente no mundo, sendo considerado um "marco na segurança de sistemas ciberfísicos". Este feito não apenas demonstra seu profundo conhecimento na área de segurança de sistemas, mas também estabelece uma base para suas pesquisas subsequentes no campo da segurança em blockchain. Em 2017, o Professor Shao Zhong, juntamente com seu discípulo o Professor Gu Ronghui, introduziram a tecnologia de validação formal na área de proteção de 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 foi atualmente projetado e validado formalmente, e começou a explorar a possibilidade de integração com blockchains populares e protocolos descentralizados. O professor Shao Zhong afirmou que estão comprometidos em validar os mecanismos-chave no Web3.0, para 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."

Professor Shao Zhong, co-founder of CertiK, attended the Web3 Scholars Summit and publicly introduced the LiDO model for the first time

DAG-0.34%
Ver original
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.
  • Recompensa
  • 4
  • Compartilhar
Comentário
0/400
CryptoNomicsvip
· 13h atrás
*sigh* outro modelo afirmando resolver BFT quando o verdadeiro problema reside nos equilíbrios da teoria dos jogos estocásticos... deixa eu fazer alguns cálculos rapidinho
Ver originalResponder0
AirdropHunterKingvip
· 13h atrás
O que é isso de tão sofisticado? Não vai dizer como aproveitar o airdrop?
Ver originalResponder0
NFTragedyvip
· 13h atrás
Mais um novo framework... até quando?
Ver originalResponder0
liquidation_watchervip
· 13h atrás
Bom, agora o PBFT está condenado.
Ver originalResponder0
  • Marcar
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)