Cimeira de 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 palestra intitulada "Segurança e Prova de Atividade de Protocolo de Consenso Refinado: LiDO e sua Expansão", onde revelou pela primeira vez o modelo LiDO desenvolvido por sua equipe e a estrutura de expansão LiDO-DAG. Este resultado inovador visa fornecer uma prova de segurança e atividade verificável mecanicamente para protocolos de consenso de Tolerância a Falhas Bizantinas (BFT) complexos, estabelecendo uma base técnica para a fiabilidade e desenvolvimento em larga escala do ecossistema Web3.

O palestrante apontou que os protocolos de consenso existentes (como PBFT, Jolteon), embora amplamente utilizados, frequentemente escondem vulnerabilidades potenciais devido à complexidade de implementação. Para resolver esse problema, o modelo LiDO propôs de forma inovadora uma estrutura 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: Introduzir o mecanismo "Pacemaker", que resolve o problema de latência na rede através da transmissão de tempo limite e sincronização de rodadas;
3. Camada de expansão DAG: suporta protocolos DAG emergentes como Narwhal e Bullshark, realizando uma verificação eficiente de consenso sem líder.

Atualmente, a LiDO foi aplicada 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 a quantidade de código de verificação de segurança e vivacidade alcançando 4.000 e 1.700 linhas, respectivamente. O professor destacou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam geralmente a dificuldade de equilibrar segurança, vivacidade e descentralização. O modelo LiDO foi proposto como uma solução de design sistemático para superar essa dificuldade."

O professor liderou uma equipe que desenvolveu o primeiro sistema operacional "sem falhas" CertiKOS, validado formalmente, sendo considerado um "marco na segurança de sistemas ciberfísicos". Este feito não apenas consolidou sua profunda experiência na área de segurança de sistemas, mas também estabeleceu uma base para futuras pesquisas em segurança de blockchain.

LiDO concluiu atualmente o design do modelo e a validaçã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 dedicados a validar 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 apresentação, ele enfatizou: "Um stack de protocolos de rede confiável, seguro e verificável será o caminho-chave para um verdadeiro futuro descentralizado."