Cimeira de Académicos Web3 Revela o Novo Modelo de Segurança do Protocolo de Consenso
Na recente Cimeira dos Académicos Web3 de 2025, 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 a sua Expansão", onde apresentou pela primeira vez o modelo LiDO e a estrutura de expansão LiDO-DAG desenvolvidos pela sua equipa. 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), estabelecendo uma base tecnológica para a fiabilidade e desenvolvimento em larga escala do ecossistema Web3.
O professor Shao Zhong destacou em sua palestra que, embora os protocolos de consenso existentes como PBFT e Jolteon tenham sido amplamente utilizados, eles frequentemente escondem vulnerabilidades potenciais devido à complexidade de implementação. Para resolver esse problema, o modelo LiDO propôs de forma inovadora uma estrutura de verificação refinada em três camadas:
Camada de abstração de segurança: mapeia o protocolo para uma máquina de estados linearizada, garantindo a consistência dos logs (segurança);
Camada de Garantia de Atividade: Introduzir o mecanismo "Pacemaker" para resolver o problema de latência da rede através de transmissão de tempo limite e sincronização de rodadas;
Camada de extensão DAG: suporta protocolos DAG emergentes como Narwhal e Bullshark, permitindo a validação eficiente de consenso sem líderes.
Atualmente, 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 verificação de segurança e de vivacidade atingiu 4000 linhas e 1700 linhas, respectivamente. O professor Shao Zhong enfatizou: "Atualmente, os protocolos de consenso PoS enfrentam a difícil situação de não conseguir garantir simultaneamente segurança, vivacidade e descentralização. O modelo LiDO é uma proposta de design sistêmico para romper essa dificuldade."
Como fundador do CertiKOS, o primeiro sistema operacional "sem falhas" do mundo validado formalmente, o Professor Shao Zhong possui uma profunda acumulação na área de segurança de sistemas. Esta conquista não apenas estabeleceu suas bases no campo da tecnologia de segurança, mas também mostrou sua especialização em segurança de sistemas. Nos últimos anos, o Professor Shao Zhong tem direcionado suas pesquisas para a segurança de blockchain, dedicando-se a aplicar tecnologias de validação formal na garantia de segurança de contratos inteligentes e protocolos em cadeia, proporcionando proteção de segurança para ativos criptográficos 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 eles estão dedicados a validar os mecanismos-chave no Web3.0, a fim de fornecer produtos e serviços em 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: "Um stack de protocolos de rede confiável, seguro e verificável será o caminho chave para um futuro verdadeiramente descentralizado." Este ponto de vista destaca a importância de construir uma infraestrutura segura e confiável para promover o desenvolvimento saudável de todo o ecossistema na era Web3.
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.
9 gostos
Recompensa
9
6
Partilhar
Comentar
0/400
ZenChainWalker
· 1h atrás
Hehe, muito impressionante e ao mesmo tempo exagerado.
Ver originalResponder0
BTCBeliefStation
· 2h atrás
dang ainda não consegue resolver os três bolos antigos
Ver originalResponder0
MoneyBurnerSociety
· 07-21 20:58
Outra razão para esvaziar a Carteira... Eu vou estudá-la diretamente!
Ver originalResponder0
MEV_Whisperer
· 07-21 20:58
Mais um novo modelo e protocolo, realmente sabem como se divertir.
Ver originalResponder0
LiquidationWatcher
· 07-21 20:58
Mais uma vez a teoria, ganhar dinheiro é o mais prático.
Cimeira de Académicos Web3 em destaque: o modelo LiDO é uma revolução na segurança do protocolo de consenso
Cimeira de Académicos Web3 Revela o Novo Modelo de Segurança do Protocolo de Consenso
Na recente Cimeira dos Académicos Web3 de 2025, 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 a sua Expansão", onde apresentou pela primeira vez o modelo LiDO e a estrutura de expansão LiDO-DAG desenvolvidos pela sua equipa. 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), estabelecendo uma base tecnológica para a fiabilidade e desenvolvimento em larga escala do ecossistema Web3.
O professor Shao Zhong destacou em sua palestra que, embora os protocolos de consenso existentes como PBFT e Jolteon tenham sido amplamente utilizados, eles frequentemente escondem vulnerabilidades potenciais devido à complexidade de implementação. Para resolver esse problema, o modelo LiDO propôs de forma inovadora uma estrutura de verificação refinada em três camadas:
Atualmente, 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 verificação de segurança e de vivacidade atingiu 4000 linhas e 1700 linhas, respectivamente. O professor Shao Zhong enfatizou: "Atualmente, os protocolos de consenso PoS enfrentam a difícil situação de não conseguir garantir simultaneamente segurança, vivacidade e descentralização. O modelo LiDO é uma proposta de design sistêmico para romper essa dificuldade."
Como fundador do CertiKOS, o primeiro sistema operacional "sem falhas" do mundo validado formalmente, o Professor Shao Zhong possui uma profunda acumulação na área de segurança de sistemas. Esta conquista não apenas estabeleceu suas bases no campo da tecnologia de segurança, mas também mostrou sua especialização em segurança de sistemas. Nos últimos anos, o Professor Shao Zhong tem direcionado suas pesquisas para a segurança de blockchain, dedicando-se a aplicar tecnologias de validação formal na garantia de segurança de contratos inteligentes e protocolos em cadeia, proporcionando proteção de segurança para ativos criptográficos 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 eles estão dedicados a validar os mecanismos-chave no Web3.0, a fim de fornecer produtos e serviços em 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: "Um stack de protocolos de rede confiável, seguro e verificável será o caminho chave para um futuro verdadeiramente descentralizado." Este ponto de vista destaca a importância de construir uma infraestrutura segura e confiável para promover o desenvolvimento saudável de todo o ecossistema na era Web3.