No Web3 Scholar Summit, professor da Yale revela novo modelo de segurança de protocolo de consenso

Na recente Cúpula de Acadêmicos Web3 de 2025, o professor Shao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez uma apresentação impressionante, introduzindo o modelo LiDO e a estrutura de expansão LiDO-DAG desenvolvidos por sua equipe. Este resultado inovador visa fornecer segurança e prova de atividade verificáveis mecanicamente para protocolos de consenso de tolerância a falhas bizantinas (BFT) complexos, estabelecendo uma base técnica sólida para o desenvolvimento da confiabilidade e escalabilidade do ecossistema Web3.

O professor Shao Zhong apontou em sua palestra que, apesar dos protocolos de consenso existentes (como PBFT, Jolteon) terem sido amplamente utilizados, a complexidade de sua implementação muitas vezes oculta vulnerabilidades de segurança potenciais. Para resolver esse problema, o modelo LiDO propôs uma inovadora estrutura de verificação em três camadas:

1. Camada de abstração de segurança: mapeia o protocolo como uma máquina de estados linearizada, garantindo consistência de logs;
2. Camada de Garantia de Atividade: Introduz o mecanismo "Pacemaker" para resolver o problema de latência da rede através da transmissão de timeout e sincronização de rondas;
3. Camada de expansão DAG: suporta os 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 dez mil linhas de código Coq com prova mecanizada. Dentre eles, o volume de código para verificação de segurança e de atividade alcançou 4000 linhas e 1700 linhas, respectivamente. O Professor Shao Zhong enfatizou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam geralmente o dilema de que segurança, atividade e descentralização são difíceis de serem alcançados simultaneamente. O modelo LiDO é uma proposta de design sistemático para romper com esse dilema."

O CertiKOS, desenvolvido anteriormente pelo Professor Shao Zhong e sua equipe, é considerado um "marco na segurança de sistemas ciberfísicos" e é o primeiro sistema operacional "sem vulnerabilidades" do mundo a ser validado formalmente. Esta conquista não apenas demonstra a profunda acumulação da equipe na área de segurança de sistemas, mas também estabelece uma base técnica sólida para suas pesquisas futuras. Em 2017, o Professor Shao Zhong e seu aluno, o Professor Gu Ronghui, introduziram juntos a tecnologia de validação formal na área de garantia de segurança de contratos inteligentes e protocolos em cadeia, proporcionando proteção de segurança para ativos criptográficos avaliados em centenas de bilhões de dólares.

O modelo LiDO foi projetado e validado formalmente e começou a explorar as possibilidades de integração com blockchains de ponta e protocolos descentralizados. O Professor Shao Zhong afirmou que eles estão comprometidos em validar mecanismos-chave no Web3.0, a fim de fornecer produtos e serviços ao longo de todo o ciclo, apoiando melhor as estratégias de desenvolvimento de 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." Esta visão destaca sua profunda percepção sobre a direção do desenvolvimento da tecnologia Web3, além de oferecer uma nova direção de reflexão sobre a segurança de futuros sistemas de blockchain e descentralizados.