Cúpula de acadêmicos Web3 foca na pesquisa de segurança do protocolo de consenso, novo modelo LiDO chama a atenção
Na recente Cimeira de Académicos Web3 de 2025, um conhecido professor de ciência da computação fez um discurso principal intitulado "Segurança e Prova de Atividade de Protocolos de Consenso Refinados: LiDO e sua Expansão", apresentando pela primeira vez o modelo LiDO desenvolvido por sua equipe e a estrutura de expansão LiDO-DAG. Este resultado inovador visa fornecer provas de segurança e atividade verificáveis mecanicamente para protocolos de consenso de tolerância a falhas bizantinas (BFT) complexos, estabelecendo uma base técnica para a fiabilidade e desenvolvimento em escala do ecossistema Web3.
Durante a palestra, o professor apontou que os protocolos de consenso existentes (como PBFT, Jolteon) são amplamente utilizados, mas devido à sua complexidade de implementação, muitas vezes escondem vulnerabilidades potenciais. Para resolver este 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 para 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 da transmissão de tempo limite e sincronização de rodadas;
Camada de expansão DAG: suporta protocolos DAG emergentes como Narwhal, Bullshark, realizando 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 mecânica de mais de dez mil linhas de código Coq, com as quantidades de código de verificação de segurança e atividade alcançando 4000 e 1700 linhas, respectivamente. O professor apontou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam amplamente a dificuldade de conciliar segurança, atividade e descentralização. O modelo LiDO foi concebido como uma solução de design sistêmico para romper essa dificuldade."
É digno de nota que o professor liderou anteriormente uma equipe que desenvolveu o CertiKOS, o primeiro sistema operativo "sem vulnerabilidades" do mundo a ser validado formalmente, sendo considerado um "marco na segurança de sistemas ciberfísicos". Esta conquista não apenas estabeleceu as bases tecnológicas de uma empresa de segurança, mas também destacou sua profunda acumulação no campo da segurança de sistemas. Nos últimos anos, o professor tem se aprofundado na segurança de blockchain, 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 ordem de centenas de 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 blockchains populares e protocolos descentralizados. O professor afirmou que estão dedicados a validar os mecanismos chave no Web3.0, para fornecer produtos e serviços de ciclo completo, apoiando melhor a estratégia de desenvolvimento a longo prazo das empresas e ecossistemas Web3. No final da palestra, ele 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.
15 Curtidas
Recompensa
15
4
Repostar
Compartilhar
Comentário
0/400
TokenDustCollector
· 08-16 16:41
Já estão a criar um novo modelo, não ouço, não ouço.
Ver originalResponder0
ImpermanentPhilosopher
· 08-16 16:35
Mais uma vez, os cientistas falam sobre segurança. Eu consigo resolver isso com um único pool de leopardo.
Ver originalResponder0
SelfStaking
· 08-16 16:34
Você está falando de um protocolo de consenso de forma bastante enigmática.
Web3学者峰会首发LiDO modelo de Consenso protocolo segurança alcança novas alturas
Cúpula de acadêmicos Web3 foca na pesquisa de segurança do protocolo de consenso, novo modelo LiDO chama a atenção
Na recente Cimeira de Académicos Web3 de 2025, um conhecido professor de ciência da computação fez um discurso principal intitulado "Segurança e Prova de Atividade de Protocolos de Consenso Refinados: LiDO e sua Expansão", apresentando pela primeira vez o modelo LiDO desenvolvido por sua equipe e a estrutura de expansão LiDO-DAG. Este resultado inovador visa fornecer provas de segurança e atividade verificáveis mecanicamente para protocolos de consenso de tolerância a falhas bizantinas (BFT) complexos, estabelecendo uma base técnica para a fiabilidade e desenvolvimento em escala do ecossistema Web3.
Durante a palestra, o professor apontou que os protocolos de consenso existentes (como PBFT, Jolteon) são amplamente utilizados, mas devido à sua complexidade de implementação, muitas vezes escondem vulnerabilidades potenciais. Para resolver este 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 mecânica de mais de dez mil linhas de código Coq, com as quantidades de código de verificação de segurança e atividade alcançando 4000 e 1700 linhas, respectivamente. O professor apontou em sua palestra: "Atualmente, os protocolos de consenso PoS enfrentam amplamente a dificuldade de conciliar segurança, atividade e descentralização. O modelo LiDO foi concebido como uma solução de design sistêmico para romper essa dificuldade."
É digno de nota que o professor liderou anteriormente uma equipe que desenvolveu o CertiKOS, o primeiro sistema operativo "sem vulnerabilidades" do mundo a ser validado formalmente, sendo considerado um "marco na segurança de sistemas ciberfísicos". Esta conquista não apenas estabeleceu as bases tecnológicas de uma empresa de segurança, mas também destacou sua profunda acumulação no campo da segurança de sistemas. Nos últimos anos, o professor tem se aprofundado na segurança de blockchain, 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 ordem de centenas de 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 blockchains populares e protocolos descentralizados. O professor afirmou que estão dedicados a validar os mecanismos chave no Web3.0, para fornecer produtos e serviços de ciclo completo, apoiando melhor a estratégia de desenvolvimento a longo prazo das empresas e ecossistemas Web3. No final da palestra, ele enfatizou: "Um stack de protocolos de rede confiável, seguro e verificável será o caminho chave para um futuro verdadeiramente descentralizado."