O professor da Yale apresenta pela primeira vez o modelo LiDO na Cimeira de Académicos Web3
Na 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 palestra intitulada "Segurança e Prova de Atividade de Protocolos de Consenso Refinados: LiDO e sua Extensão", onde apresentou pela primeira vez o modelo LiDO desenvolvido por sua equipe e a estrutura de extensão LiDO-DAG. Este resultado inovador tem como objetivo fornecer provas de segurança e atividade que possam ser verificadas mecanicamente para protocolos de consenso de Tolerância a Falhas Bizantinas (BFT) complexos, estabelecendo uma base técnica para a confiabilidade e desenvolvimento em escala do ecossistema Web3.
O Professor Shao Zhong apontou que, embora protocolos de consenso existentes como PBFT sejam amplamente utilizados, sua complexidade de implementação muitas vezes oculta vulnerabilidades potenciais. 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 como uma máquina de estados linearizada, garantindo a consistência dos logs (segurança);
Camada de garantia ativa: 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, permitindo uma verificação eficiente de consenso sem líder.
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 10.000 linhas de código Coq, com a quantidade de código para verificação de segurança e vivacidade atingindo, respectivamente, 4.000 linhas e 1.700 linhas. O Professor Shao Zhong destacou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam comumente o dilema de não conseguir garantir segurança, vivacidade e descentralização ao mesmo tempo. O modelo LiDO foi proposto como uma solução de design sistemática para quebrar esse impasse."
O CertiKOS, desenvolvido pela equipe liderada pelo Professor Shao Zhong, é o primeiro sistema operacional "sem vulnerabilidades" do mundo a ser validado formalmente, sendo considerado um "marco na segurança de sistemas ciberfísicos". Este feito não só estabelece uma base sólida para suas profundas contribuições na área de segurança de sistemas, como também fornece uma fundamentação sólida para pesquisas futuras. Nos últimos anos, o Professor Shao Zhong 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, proporcionando um forte suporte à segurança de ativos criptográficos.
LiDO já completou o design do modelo e a verificação formal, e começou a explorar a possibilidade de integração com as principais blockchains públicas e protocolos descentralizados. O Professor Shao Zhong afirmou que estão empenhados em validar mecanismos chave no Web3.0 para fornecer produtos e serviços ao longo de 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."
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.
11 Curtidas
Recompensa
11
4
Repostar
Compartilhar
Comentário
0/400
GweiWatcher
· 6h atrás
O dia todo ocupado a vender a descoberto, entendo tanto o bull como o bear.
Ver originalResponder0
GasFeeSobber
· 6h atrás
A marca Yale é muito cara, não consigo pagar.
Ver originalResponder0
FlashLoanPrince
· 6h atrás
Já está a soar para o céu novamente.
Ver originalResponder0
GasFeeVictim
· 6h atrás
Consenso protocolo novamente com novas ideias, certo?
Professor da Yale lança o modelo LiDO para ajudar na validação de protocolos de consenso Web3.
O professor da Yale apresenta pela primeira vez o modelo LiDO na Cimeira de Académicos Web3
Na 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 palestra intitulada "Segurança e Prova de Atividade de Protocolos de Consenso Refinados: LiDO e sua Extensão", onde apresentou pela primeira vez o modelo LiDO desenvolvido por sua equipe e a estrutura de extensão LiDO-DAG. Este resultado inovador tem como objetivo fornecer provas de segurança e atividade que possam ser verificadas mecanicamente para protocolos de consenso de Tolerância a Falhas Bizantinas (BFT) complexos, estabelecendo uma base técnica para a confiabilidade e desenvolvimento em escala do ecossistema Web3.
O Professor Shao Zhong apontou que, embora protocolos de consenso existentes como PBFT sejam amplamente utilizados, sua complexidade de implementação muitas vezes oculta vulnerabilidades potenciais. Para resolver esse problema, o modelo LiDO propôs de forma inovadora uma estrutura de verificaçã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 10.000 linhas de código Coq, com a quantidade de código para verificação de segurança e vivacidade atingindo, respectivamente, 4.000 linhas e 1.700 linhas. O Professor Shao Zhong destacou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam comumente o dilema de não conseguir garantir segurança, vivacidade e descentralização ao mesmo tempo. O modelo LiDO foi proposto como uma solução de design sistemática para quebrar esse impasse."
O CertiKOS, desenvolvido pela equipe liderada pelo Professor Shao Zhong, é o primeiro sistema operacional "sem vulnerabilidades" do mundo a ser validado formalmente, sendo considerado um "marco na segurança de sistemas ciberfísicos". Este feito não só estabelece uma base sólida para suas profundas contribuições na área de segurança de sistemas, como também fornece uma fundamentação sólida para pesquisas futuras. Nos últimos anos, o Professor Shao Zhong 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, proporcionando um forte suporte à segurança de ativos criptográficos.
LiDO já completou o design do modelo e a verificação formal, e começou a explorar a possibilidade de integração com as principais blockchains públicas e protocolos descentralizados. O Professor Shao Zhong afirmou que estão empenhados em validar mecanismos chave no Web3.0 para fornecer produtos e serviços ao longo de 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."