Cimeira dos Académicos Web3 Foca na Segurança do Protocolo de Consenso e na Prova de Atividade
Na Cimeira dos Académicos Web3 de 2025, um conhecido professor de ciência da computação fez uma palestra intitulada "Segurança e Prova de Atividade de Protocolos de Consenso Refinados: LiDO e sua Expansão", onde revelou 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) complexos, estabelecendo uma base técnica para a fiabilidade e desenvolvimento em escala do ecossistema Web3.
O orador apontou que os atuais protocolos de consenso (como PBFT, Jolteon), embora amplamente utilizados, muitas vezes escondem vulnerabilidades potenciais devido à complexidade de implementação. Para resolver este problema, o modelo LiDO propõe de forma inovadora uma estrutura de verificaçã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 quebra o problema de latência da rede através de difusão de tempo limite e sincronização de rodadas;
Camada de extensão DAG: suporta novos protocolos DAG emergentes como Narwhal e Bullshark, implementando a verificação eficiente de consenso sem líderes.
Atualmente, o LiDO já foi aplicado com sucesso no protocolo industrial Jolteon (BFT de duas fases) e em vários protocolos DAG, completando a prova mecanizada de mais de 10.000 linhas de código Coq, com o volume de código para verificação de segurança e atividade atingindo 4.000 linhas e 1.700 linhas, respetivamente. O orador enfatizou: "Atualmente, os protocolos de consenso PoS enfrentam geralmente a dificuldade de equilibrar segurança, atividade e descentralização. O modelo LiDO foi concebido como uma solução de design sistêmico para quebrar esse impasse."
O CertiKOS, desenvolvido anteriormente pela equipe liderada pelo professor, é o primeiro sistema operacional "sem falhas" do mundo comprovado por verificação formal, sendo considerado um "marco na segurança de sistemas ciber-físicos". Esta conquista não apenas estabelece sua base sólida no campo da segurança de sistemas, mas também fornece uma base importante para pesquisas futuras.
LiDO atualmente completou o design do modelo e a verificação formal, e começou a explorar a possibilidade de integração com as principais blockchains e protocolos descentralizados. O orador afirmou que eles estão dedicados a validar os mecanismos chave no Web3.0, para fornecer produtos e serviços de ciclo completo, apoiando melhor a estratégia de desenvolvimento a longo prazo das empresas e ecossistemas Web3.
No final da palestra, o professor enfatizou: "Um stack de protocolos de rede confiável, seguro e verificável será o caminho chave para um verdadeiro futuro descentralizado." Este ponto de vista provocou uma ampla discussão entre os acadêmicos presentes, sinalizando a direção para o futuro desenvolvimento da tecnologia Web3.
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.
10 Curtidas
Recompensa
10
3
Repostar
Compartilhar
Comentário
0/400
PumpDetector
· 08-02 04:48
apenas mais uma estrutura teórica... vi muitas desde os dias do mt gox, para ser honesto
Ver originalResponder0
MonkeySeeMonkeyDo
· 07-30 05:34
Outra vez o velho dinheiro? Não é à toa que é a prova PBFT do velho dinheiro.
Modelo LiDO revolucionário: fornece verificação de segurança mecanizável para o protocolo de consenso Web3
Cimeira dos Académicos Web3 Foca na Segurança do Protocolo de Consenso e na Prova de Atividade
Na Cimeira dos Académicos Web3 de 2025, um conhecido professor de ciência da computação fez uma palestra intitulada "Segurança e Prova de Atividade de Protocolos de Consenso Refinados: LiDO e sua Expansão", onde revelou 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) complexos, estabelecendo uma base técnica para a fiabilidade e desenvolvimento em escala do ecossistema Web3.
O orador apontou que os atuais protocolos de consenso (como PBFT, Jolteon), embora amplamente utilizados, muitas vezes escondem vulnerabilidades potenciais devido à complexidade de implementação. Para resolver este problema, o modelo LiDO propõe de forma inovadora uma estrutura de verificação refinada em três camadas:
Atualmente, o LiDO já foi aplicado com sucesso no protocolo industrial Jolteon (BFT de duas fases) e em vários protocolos DAG, completando a prova mecanizada de mais de 10.000 linhas de código Coq, com o volume de código para verificação de segurança e atividade atingindo 4.000 linhas e 1.700 linhas, respetivamente. O orador enfatizou: "Atualmente, os protocolos de consenso PoS enfrentam geralmente a dificuldade de equilibrar segurança, atividade e descentralização. O modelo LiDO foi concebido como uma solução de design sistêmico para quebrar esse impasse."
O CertiKOS, desenvolvido anteriormente pela equipe liderada pelo professor, é o primeiro sistema operacional "sem falhas" do mundo comprovado por verificação formal, sendo considerado um "marco na segurança de sistemas ciber-físicos". Esta conquista não apenas estabelece sua base sólida no campo da segurança de sistemas, mas também fornece uma base importante para pesquisas futuras.
LiDO atualmente completou o design do modelo e a verificação formal, e começou a explorar a possibilidade de integração com as principais blockchains e protocolos descentralizados. O orador afirmou que eles estão dedicados a validar os mecanismos chave no Web3.0, para fornecer produtos e serviços de ciclo completo, apoiando melhor a estratégia de desenvolvimento a longo prazo das empresas e ecossistemas Web3.
No final da palestra, o professor enfatizou: "Um stack de protocolos de rede confiável, seguro e verificável será o caminho chave para um verdadeiro futuro descentralizado." Este ponto de vista provocou uma ampla discussão entre os acadêmicos presentes, sinalizando a direção para o futuro desenvolvimento da tecnologia Web3.