Cimeira de Académicos Web3: Professor de Yale propõe modelo inovador de validação de consenso protocolo
A Cúpula de Acadêmicos Web3 de 2025 foi realizada recentemente, onde o professor Shao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez um discurso principal, revelando pela primeira vez o modelo LiDO e a estrutura de expansão LiDO-DAG desenvolvidos por sua equipe. Este resultado inovador visa fornecer segurança e provas de atividade verificáveis mecanicamente para o protocolo de consenso de tolerância a falhas bizantinas (BFT) complexo, estabelecendo uma base técnica para a confiabilidade e desenvolvimento escalável do ecossistema Web3.
O Professor Shao Zhong apontou em sua palestra que, embora os protocolos de consenso existentes sejam amplamente utilizados, sua implementação complexa muitas vezes esconde vulnerabilidades potenciais. Para resolver esse problema, o modelo LiDO propõe de forma inovadora 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 consistência de logs (segurança);
Camada de Garantia de Atividade: Introdução do mecanismo "Pacemaker", que resolve o problema do atraso de rede através da difusão de tempo limite e sincronização de rodadas;
Camada de extensão DAG: suporta novos protocolos DAG, permitindo a verificação eficiente do consenso sem líder.
Atualmente, o LiDO foi aplicado com sucesso em protocolos industriais e em vários protocolos DAG, completando mais de 10.000 linhas de provas mecanizadas em Coq, com a quantidade de código para verificação de segurança e ativação atingindo 4.000 linhas e 1.700 linhas, respectivamente. O Professor Shao Zhong destacou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam amplamente o dilema de não conseguir garantir simultaneamente segurança, ativação e descentralização. O modelo LiDO é uma proposta de design sistêmico para romper esse dilema."
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 estabeleceu a base tecnológica da sua empresa, mas também destacou seu profundo acúmulo 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 a empresa com seu aluno, o Professor Gu Ronghui, introduzindo a tecnologia de validação formal na segurança de contratos inteligentes e protocolos on-chain, garantindo a segurança de ativos criptográficos na casa dos bilhões de dólares.
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 e protocolos descentralizados. O professor Zhao Zhong afirmou que estão dedicados a validar os mecanismos-chave no Web3.0, para fornecer produtos e serviços de ciclo completo, apoiando melhor as estratégias de desenvolvimento de longo prazo das empresas e ecossistemas Web3. No final da palestra, o professor Zhao 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.
Professor da Yale publica o modelo LiDO, superando o desafio de verificação do protocolo de consenso Web3
Cimeira de Académicos Web3: Professor de Yale propõe modelo inovador de validação de consenso protocolo
A Cúpula de Acadêmicos Web3 de 2025 foi realizada recentemente, onde o professor Shao Zhong do Departamento de Ciência da Computação da Universidade de Yale fez um discurso principal, revelando pela primeira vez o modelo LiDO e a estrutura de expansão LiDO-DAG desenvolvidos por sua equipe. Este resultado inovador visa fornecer segurança e provas de atividade verificáveis mecanicamente para o protocolo de consenso de tolerância a falhas bizantinas (BFT) complexo, estabelecendo uma base técnica para a confiabilidade e desenvolvimento escalável do ecossistema Web3.
O Professor Shao Zhong apontou em sua palestra que, embora os protocolos de consenso existentes sejam amplamente utilizados, sua implementação complexa muitas vezes esconde vulnerabilidades potenciais. Para resolver esse problema, o modelo LiDO propõe de forma inovadora uma estrutura de verificação refinada em três camadas:
Atualmente, o LiDO foi aplicado com sucesso em protocolos industriais e em vários protocolos DAG, completando mais de 10.000 linhas de provas mecanizadas em Coq, com a quantidade de código para verificação de segurança e ativação atingindo 4.000 linhas e 1.700 linhas, respectivamente. O Professor Shao Zhong destacou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam amplamente o dilema de não conseguir garantir simultaneamente segurança, ativação e descentralização. O modelo LiDO é uma proposta de design sistêmico para romper esse dilema."
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 estabeleceu a base tecnológica da sua empresa, mas também destacou seu profundo acúmulo 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 a empresa com seu aluno, o Professor Gu Ronghui, introduzindo a tecnologia de validação formal na segurança de contratos inteligentes e protocolos on-chain, garantindo a segurança de ativos criptográficos na casa dos bilhões de dólares.
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 e protocolos descentralizados. O professor Zhao Zhong afirmou que estão dedicados a validar os mecanismos-chave no Web3.0, para fornecer produtos e serviços de ciclo completo, apoiando melhor as estratégias de desenvolvimento de longo prazo das empresas e ecossistemas Web3. No final da palestra, o professor Zhao Zhong enfatizou: "Um stack de protocolos de rede confiável, seguro e verificável será o caminho chave para um futuro verdadeiramente descentralizado."