No cimeira dos académicos Web3, o professor da Yale apresentou pela primeira vez o modelo LiDO
A Cúpula de Acadêmicos Web3 de 2025 foi realizada hoje, o professor Shao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez um discurso intitulado "Segurança e Prova de Atividade de Protocolos de Consenso Refinados: LiDO e suas Expansões". Ele apresentou pela primeira vez o modelo LiDO desenvolvido por sua equipe e a estrutura de expansão LiDO-DAG, que visa fornecer 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 confiabilidade e desenvolvimento em larga escala do ecossistema Web3.
O Professor Shao Zhong apontou que os atuais protocolos de consenso (como PBFT, Jolteon), embora amplamente utilizados, escondem vulnerabilidades potenciais devido à sua implementação complexa. 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 resolve o problema de latência da rede através de transmissão de tempo limite e sincronização de rodadas;
Camada de extensão DAG: suporta protocolos DAG emergentes como Narwhal e Bullshark, permitindo a validaçã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 dez mil linhas de código Coq, com a quantidade de código de verificação de segurança e atividade atingindo respectivamente 4000 linhas e 1700 linhas. O professor Shao Zhong, em sua palestra, apontou: "Atualmente, os protocolos de consenso PoS enfrentam amplamente o dilema de não conseguir conciliar segurança, atividade e descentralização. O modelo LiDO é uma proposta de design sistêmico destinada a quebrar esse impasse."
O CertiKOS, desenvolvido pela equipe liderada pelo Professor Shao Zhong, é o primeiro sistema operacional "sem falhas" do mundo a ser validado formalmente, sendo considerado um "marco na segurança de sistemas ciberfísicos". Esta conquista não apenas estabelece suas bases tecnológicas no campo da segurança, mas também destaca sua profunda acumulação na área de segurança de sistemas. Nos últimos anos, o Professor Shao Zhong tem se aprofundado na segurança de blockchain e, em 2017, co-fundou uma empresa de segurança de blockchain com seu aluno, o Professor Gu Ronghui, introduzindo a tecnologia de validação formal na garantia de segurança de contratos inteligentes e protocolos on-chain, protegendo a segurança de ativos criptográficos na casa das centenas de bilhões.
A LiDO já completou 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 Shao Zhong afirmou que eles estão dedicados a validar os mecanismos chave no Web3.0, para fornecer produtos e serviços em todo o ciclo, apoiando melhor as estratégias de desenvolvimento a longo prazo de 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 crucial 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.
10 Curtidas
Recompensa
10
4
Compartilhar
Comentário
0/400
consensus_failure
· 08-03 18:27
não há como concretizar, só ficam nas teorias.
Ver originalResponder0
MidsommarWallet
· 08-03 16:39
Yale também veio se juntar à festa?
Ver originalResponder0
OnchainHolmes
· 08-03 16:38
Isto é muito teórico, está a dificultar a vida aos novatos.
Professor da Yale revela pela primeira vez o LiDO: avanço na segurança do protocolo de consenso Web3
No cimeira dos académicos Web3, o professor da Yale apresentou pela primeira vez o modelo LiDO
A Cúpula de Acadêmicos Web3 de 2025 foi realizada hoje, o professor Shao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez um discurso intitulado "Segurança e Prova de Atividade de Protocolos de Consenso Refinados: LiDO e suas Expansões". Ele apresentou pela primeira vez o modelo LiDO desenvolvido por sua equipe e a estrutura de expansão LiDO-DAG, que visa fornecer 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 confiabilidade e desenvolvimento em larga escala do ecossistema Web3.
O Professor Shao Zhong apontou que os atuais protocolos de consenso (como PBFT, Jolteon), embora amplamente utilizados, escondem vulnerabilidades potenciais devido à sua implementação complexa. 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 dez mil linhas de código Coq, com a quantidade de código de verificação de segurança e atividade atingindo respectivamente 4000 linhas e 1700 linhas. O professor Shao Zhong, em sua palestra, apontou: "Atualmente, os protocolos de consenso PoS enfrentam amplamente o dilema de não conseguir conciliar segurança, atividade e descentralização. O modelo LiDO é uma proposta de design sistêmico destinada a quebrar esse impasse."
O CertiKOS, desenvolvido pela equipe liderada pelo Professor Shao Zhong, é o primeiro sistema operacional "sem falhas" do mundo a ser validado formalmente, sendo considerado um "marco na segurança de sistemas ciberfísicos". Esta conquista não apenas estabelece suas bases tecnológicas no campo da segurança, mas também destaca sua profunda acumulação na área de segurança de sistemas. Nos últimos anos, o Professor Shao Zhong tem se aprofundado na segurança de blockchain e, em 2017, co-fundou uma empresa de segurança de blockchain com seu aluno, o Professor Gu Ronghui, introduzindo a tecnologia de validação formal na garantia de segurança de contratos inteligentes e protocolos on-chain, protegendo a segurança de ativos criptográficos na casa das centenas de bilhões.
A LiDO já completou 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 Shao Zhong afirmou que eles estão dedicados a validar os mecanismos chave no Web3.0, para fornecer produtos e serviços em todo o ciclo, apoiando melhor as estratégias de desenvolvimento a longo prazo de 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 crucial para um futuro verdadeiramente descentralizado."