Cimeira dos Académicos Web3 Foca na Segurança do Protocolo de Consenso e na Prova de Atividade
Na recente Cimeira de Académicos Web3 de 2025, um renomado professor de ciência da computação fez uma apresentação principal intitulada "Segurança e Prova de Atividade do Protocolo de Consenso Refinado: LiDO e suas extensões", onde apresentou pela primeira vez o modelo LiDO desenvolvido por sua equipe e a estrutura de extensão LiDO-DAG. Este resultado inovador visa fornecer segurança e prova de atividade que possam ser verificadas mecanicamente para protocolos de consenso de Tolerância a Falhas Bizantinas (BFT), estabelecendo uma base técnica para a confiabilidade e o desenvolvimento em escala do ecossistema Web3.
Durante a palestra, o professor apontou que os protocolos de consenso existentes (como PBFT, Jolteon), embora amplamente utilizados, frequentemente escondem vulnerabilidades potenciais devido à sua complexidade de implementação. Para resolver este problema, o modelo LiDO propôs de forma inovadora uma estrutura 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 temporização e sincronização de rodadas;
Camada de extensão DAG: suporta protocolos emergentes de DAG como Narwhal e Bullshark, permitindo a verificação eficiente do 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 a prova mecanizada de mais de dez mil linhas de código Coq, com a quantidade de código para verificação de segurança e atividade atingindo respectivamente 4000 linhas e 1700 linhas. O professor apontou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam frequentemente a dificuldade de garantir segurança, atividade e descentralização ao mesmo tempo. O modelo LiDO é uma proposta de design sistemático para romper com essa dificuldade."
É importante mencionar que o professor liderou anteriormente uma equipe no desenvolvimento do CertiKOS, que é o primeiro sistema operacional "sem falhas" do mundo a passar por validação formal, sendo considerado um "marco na segurança de sistemas ciberfísicos". Esta conquista não só estabeleceu a base técnica de uma empresa de segurança, como também destacou seu profundo acúmulo na área de segurança de sistemas. Nos últimos anos, o professor tem se aprofundado na segurança de blockchain, introduzindo a tecnologia de validação formal na segurança de contratos inteligentes e protocolos on-chain, protegendo a segurança de ativos criptográficos avaliados em bilhões de dólares.
LiDO já concluiu 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 professor afirmou que estão comprometidos em validar os mecanismos-chave no Web3.0, a fim de 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, ele enfatizou: "Uma pilha de protocolos de rede confiável, segura e verificável será o caminho chave para um futuro verdadeiramente descentralizado."
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.
15 gostos
Recompensa
15
4
Partilhar
Comentar
0/400
SleepTrader
· 7h atrás
Escrito de forma muito profunda, é um pouco difícil de suportar.
Ver originalResponder0
ShadowStaker
· 07-21 20:16
meh... outro modelo académico que não vai sobreviver ao primeiro contacto com bots MEV tbh
Ver originalResponder0
quietly_staking
· 07-21 04:11
Está de novo a fazer coisas extravagantes.
Ver originalResponder0
BlockchainDecoder
· 07-21 04:10
Do ponto de vista dos artigos sobre sistemas distribuídos, a estrutura de verificação em três camadas do LiDO realmente complementa as deficiências da lógica de Hoare em ambientes assíncronos, merecendo uma investigação mais aprofundada sobre seu efeito prático em sistemas de consenso.
LiDO modelo faz sua estreia: inovação na segurança do protocolo de consenso Web3
Cimeira dos Académicos Web3 Foca na Segurança do Protocolo de Consenso e na Prova de Atividade
Na recente Cimeira de Académicos Web3 de 2025, um renomado professor de ciência da computação fez uma apresentação principal intitulada "Segurança e Prova de Atividade do Protocolo de Consenso Refinado: LiDO e suas extensões", onde apresentou pela primeira vez o modelo LiDO desenvolvido por sua equipe e a estrutura de extensão LiDO-DAG. Este resultado inovador visa fornecer segurança e prova de atividade que possam ser verificadas mecanicamente para protocolos de consenso de Tolerância a Falhas Bizantinas (BFT), estabelecendo uma base técnica para a confiabilidade e o desenvolvimento em escala do ecossistema Web3.
Durante a palestra, o professor apontou que os protocolos de consenso existentes (como PBFT, Jolteon), embora amplamente utilizados, frequentemente escondem vulnerabilidades potenciais devido à sua complexidade de implementação. Para resolver este problema, o modelo LiDO propôs de forma inovadora uma estrutura 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 a prova mecanizada de mais de dez mil linhas de código Coq, com a quantidade de código para verificação de segurança e atividade atingindo respectivamente 4000 linhas e 1700 linhas. O professor apontou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam frequentemente a dificuldade de garantir segurança, atividade e descentralização ao mesmo tempo. O modelo LiDO é uma proposta de design sistemático para romper com essa dificuldade."
É importante mencionar que o professor liderou anteriormente uma equipe no desenvolvimento do CertiKOS, que é o primeiro sistema operacional "sem falhas" do mundo a passar por validação formal, sendo considerado um "marco na segurança de sistemas ciberfísicos". Esta conquista não só estabeleceu a base técnica de uma empresa de segurança, como também destacou seu profundo acúmulo na área de segurança de sistemas. Nos últimos anos, o professor tem se aprofundado na segurança de blockchain, introduzindo a tecnologia de validação formal na segurança de contratos inteligentes e protocolos on-chain, protegendo a segurança de ativos criptográficos avaliados em bilhões de dólares.
LiDO já concluiu 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 professor afirmou que estão comprometidos em validar os mecanismos-chave no Web3.0, a fim de 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, ele enfatizou: "Uma pilha de protocolos de rede confiável, segura e verificável será o caminho chave para um futuro verdadeiramente descentralizado."