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:
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 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;
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."
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.
15 Curtidas
Recompensa
15
4
Compartilhar
Comentário
0/400
CryptoNomics
· 08-06 13:10
*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
AirdropHunterKing
· 08-06 13:09
O que é isso de tão sofisticado? Não vai dizer como aproveitar o airdrop?
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:
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."