No cimeira dos académicos de Web3, o professor de Yale revelou pela primeira vez o modelo LiDO
A Cúpula dos Acadêmicos de Web3 de 2025 foi realizada hoje, e o professor Shao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez um discurso principal, apresentando o modelo LiDO e a estrutura de extensão LiDO-DAG desenvolvidos por sua equipe. Esta inovação visa fornecer segurança e prova de vitalidade que podem ser verificadas mecanicamente para protocolos de consenso de Tolerância a Falhas Bizantinas (BFT), estabelecendo uma base técnica para o desenvolvimento da confiabilidade e escalabilidade do ecossistema Web3.
O Professor Shao Zhong, em sua palestra, destacou que, embora os protocolos de consenso existentes (como PBFT e Jolteon) tenham sido amplamente aplicados, frequentemente existem vulnerabilidades potenciais devido à sua complexidade de implementação. Para resolver esse problema, o modelo LiDO propôs uma estrutura de verificação refinada em três camadas:
Camada de abstração segura: 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 resolve o problema de latência de rede através da difusão de tempos limite e sincronização de rodadas;
Camada de extensão DAG: suporta protocolos emergentes de DAG como Narwhal e Bullshark, permitindo a validação eficiente de consenso sem líderes.
O modelo 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 provas mecanizadas em Coq. Dentre elas, a quantidade de código para verificação de segurança e de atividade atingiu, respectivamente, 4000 linhas e 1700 linhas. O Professor Shao Zhong enfatizou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam universalmente a dificuldade de conciliar segurança, atividade e descentralização. O modelo LiDO foi proposto como uma solução de design sistemática para romper essa dificuldade."
Como principal desenvolvedor do CertiKOS, o primeiro sistema operacional "sem falhas" do mundo a passar por verificação formal, o Professor Shao Zhong tem uma sólida experiência na área de segurança de sistemas. Nos últimos anos, ele mudou o foco de sua pesquisa para a segurança da blockchain, dedicando-se a aplicar técnicas de verificação formal na garantia de segurança de contratos inteligentes e protocolos on-chain, proporcionando proteção de segurança para ativos criptográficos na casa dos bilhões de dólares.
O modelo LiDO foi projetado e validado formalmente, e atualmente está a explorar a possibilidade de integração com blockchains principais e protocolos descentralizados. O professor Shao Zhong afirmou que estão dedicados a validar mecanismos-chave no Web3.0, para fornecer produtos e serviços ao longo do ciclo de vida, apoiando melhor a estratégia de desenvolvimento a longo prazo de empresas e ecossistemas Web3.
O professor Shao Zhong enfatizou no final de sua palestra: "Um conjunto de protocolos de rede confiável, seguro e verificável será o caminho chave para um futuro realmente 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.
19 gostos
Recompensa
19
5
Republicar
Partilhar
Comentar
0/400
SocialFiQueen
· 08-14 22:25
Satoshi Nakamoto está aprendendo silenciosamente este modelo.
Ver originalResponder0
WalletInspector
· 08-12 05:33
Esta iteração de tecnologia é muito punitiva.
Ver originalResponder0
SleepyValidator
· 08-12 05:25
Ai, mais um modelo de validação. Os pro da criptografia estão todos se esforçando.
Ver originalResponder0
metaverse_hermit
· 08-12 05:10
Agora o bft vai ser muito mais elegante.
Ver originalResponder0
NotSatoshi
· 08-12 05:05
Velho frasco com vinho novo, sem nada de inovador.
Professor da Yale apresenta o modelo LiDO para fornecer validação de segurança formal ao ecossistema Web3
No cimeira dos académicos de Web3, o professor de Yale revelou pela primeira vez o modelo LiDO
A Cúpula dos Acadêmicos de Web3 de 2025 foi realizada hoje, e o professor Shao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez um discurso principal, apresentando o modelo LiDO e a estrutura de extensão LiDO-DAG desenvolvidos por sua equipe. Esta inovação visa fornecer segurança e prova de vitalidade que podem ser verificadas mecanicamente para protocolos de consenso de Tolerância a Falhas Bizantinas (BFT), estabelecendo uma base técnica para o desenvolvimento da confiabilidade e escalabilidade do ecossistema Web3.
O Professor Shao Zhong, em sua palestra, destacou que, embora os protocolos de consenso existentes (como PBFT e Jolteon) tenham sido amplamente aplicados, frequentemente existem vulnerabilidades potenciais devido à sua complexidade de implementação. Para resolver esse problema, o modelo LiDO propôs uma estrutura de verificação refinada em três camadas:
O modelo 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 provas mecanizadas em Coq. Dentre elas, a quantidade de código para verificação de segurança e de atividade atingiu, respectivamente, 4000 linhas e 1700 linhas. O Professor Shao Zhong enfatizou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam universalmente a dificuldade de conciliar segurança, atividade e descentralização. O modelo LiDO foi proposto como uma solução de design sistemática para romper essa dificuldade."
Como principal desenvolvedor do CertiKOS, o primeiro sistema operacional "sem falhas" do mundo a passar por verificação formal, o Professor Shao Zhong tem uma sólida experiência na área de segurança de sistemas. Nos últimos anos, ele mudou o foco de sua pesquisa para a segurança da blockchain, dedicando-se a aplicar técnicas de verificação formal na garantia de segurança de contratos inteligentes e protocolos on-chain, proporcionando proteção de segurança para ativos criptográficos na casa dos bilhões de dólares.
O modelo LiDO foi projetado e validado formalmente, e atualmente está a explorar a possibilidade de integração com blockchains principais e protocolos descentralizados. O professor Shao Zhong afirmou que estão dedicados a validar mecanismos-chave no Web3.0, para fornecer produtos e serviços ao longo do ciclo de vida, apoiando melhor a estratégia de desenvolvimento a longo prazo de empresas e ecossistemas Web3.
O professor Shao Zhong enfatizou no final de sua palestra: "Um conjunto de protocolos de rede confiável, seguro e verificável será o caminho chave para um futuro realmente descentralizado."