A Sonic Labs lançou uma nova biblioteca de código aberto projetada para fornecer verificação formal para protocolos de consenso baseados em DAG, uma medida que afirma ajudar a elevar os padrões de segurança para redes descentralizadas.
Provas Matemáticas para Verificação de Protocolos de Consenso
A biblioteca de verificação formal, desenvolvida em colaboração com pesquisadores da Universidade de Sydney e do instituto de pesquisa francês INRIA, foi apresentada pela primeira vez no início deste mês na NASA Formal Methods 2025 (NFM 2025) em Williamsburg, Virgínia.
A biblioteca usa TLA+, uma linguagem de especificação formal desenvolvida pela Microsoft Research, para provar matematicamente a correção dos protocolos de consenso.
A Sonic Labs disse que a ferramenta simplifica o processo de modelagem e verificação de sistemas distribuídos complexos, oferecendo componentes modulares e reutilizáveis que podem ser aplicados em várias arquiteturas de blockchain.
Os protocolos verificados já incluem DAG-Rider, Cordial Miner, Bullshark, Hashgraph e Aleph. O próprio protocolo de consenso compatível com EVM da Sonic também foi validado como um derivado usando a ferramenta.
“Com esta biblioteca, estamos a passar da esperança à prova, oferecendo as ferramentas para verificar, com certeza matemática, que um protocolo se comportará de forma segura sob todas as condições,” disse o Diretor de Pesquisa, Dr. Bernhard Scholz.
Desafios de Segurança no Consenso de Blockchain
As blockchains hoje garantem trilhões de dólares em ativos digitais, colocando uma pressão significativa na infraestrutura de consenso subjacente para operar sem falhas.
Vulnerabilidades nesses mecanismos podem levar a gastos duplos, inconsistências no livro-razão ou explorações em larga escala.
Embora as auditorias e os testes de penetração sejam práticas padrão da indústria, não podem garantir a completa ausência de bugs críticos, especialmente em ambientes complexos e assíncronos.
A verificação formal oferece uma alternativa ao provar matematicamente que um protocolo funciona de forma segura em todos os cenários possíveis. A Sonic Labs afirmou que sua nova ferramenta pode ser usada não apenas para auditar protocolos existentes, mas também para ajudar os desenvolvedores a projetar ou modificar sistemas baseados em DAG desde o início.
A empresa já está a usar a biblioteca internamente para verificar a segurança da sua própria rede blockchain e afirma que pode eliminar matematicamente a possibilidade de comportamentos inseguros sob condições definidas.
Ao tornar a biblioteca de código aberto, a Sonic Labs visa reduzir o custo e a complexidade de construir sistemas de blockchain seguros, ao mesmo tempo que promove uma adoção mais ampla da verificação formal no desenvolvimento Web3.
Sonic é uma blockchain compatível com EVM projetada para alta capacidade de processamento, oferecendo finalidades em menos de um segundo e velocidades de processamento de até 400,000 transações por segundo.
A rede apresenta um modelo de Monetização de Taxas que permite aos desenvolvedores ganhar 90% das taxas de transação geradas pelas suas aplicações descentralizadas.
Por que isso importa
À medida que mais valor é bloqueado em redes de blockchain, pequenas falhas nos protocolos de consenso podem causar grandes perdas financeiras e danificar a confiança. A ferramenta de verificação de código aberto da Sonic Labs utiliza a matemática para garantir a segurança do protocolo, preenchendo uma lacuna que os testes tradicionais muitas vezes negligenciam.
Confira as notícias de criptomoedas em alta do DailyCoin:
O novo ETF de criptomoeda da Trump Media visa o Bitcoin e o Ethereum
Desenvolvedor Principal do Shiba Inu Provoca Super Aplicativo: A Próxima Grande Coisa do SHIB?
As Pessoas Também Perguntam:
O que é um protocolo de consenso em blockchain? Um protocolo de consenso é um conjunto de regras que permite aos participantes de uma rede distribuída concordarem sobre o estado atual da blockchain, garantindo que todas as cópias sejam consistentes e que as transações sejam validadas corretamente.
Por que o consenso é importante para as blockchains? O consenso é essencial para manter a integridade, segurança e confiabilidade de uma blockchain. Ele previne problemas como o gasto duplo e garante que todos os participantes da rede compartilhem o mesmo histórico de transações.
O que são protocolos de consenso baseados em DAG? DAG (Gráfico Acíclico Direcionado) os protocolos de consenso usam uma estrutura de gráfico em vez de uma cadeia tradicional para registar transações. Este design pode melhorar a escalabilidade e a velocidade das transações em comparação com blockchains lineares.
O que é verificação formal? A verificação formal é um método matemático utilizado para provar a correção e a segurança do design de um sistema, garantindo que ele se comporta conforme o esperado em todas as condições possíveis.
O conteúdo serve apenas de referência e não constitui uma solicitação ou oferta. Não é prestado qualquer aconselhamento em matéria de investimento, fiscal ou jurídica. Consulte a Declaração de exoneração de responsabilidade para obter mais informações sobre os riscos.
Sonic Labs Revela Biblioteca de Código Aberto para Verificação de Blockchain DAG
A Sonic Labs lançou uma nova biblioteca de código aberto projetada para fornecer verificação formal para protocolos de consenso baseados em DAG, uma medida que afirma ajudar a elevar os padrões de segurança para redes descentralizadas.
Provas Matemáticas para Verificação de Protocolos de Consenso
A biblioteca de verificação formal, desenvolvida em colaboração com pesquisadores da Universidade de Sydney e do instituto de pesquisa francês INRIA, foi apresentada pela primeira vez no início deste mês na NASA Formal Methods 2025 (NFM 2025) em Williamsburg, Virgínia.
A biblioteca usa TLA+, uma linguagem de especificação formal desenvolvida pela Microsoft Research, para provar matematicamente a correção dos protocolos de consenso.
A Sonic Labs disse que a ferramenta simplifica o processo de modelagem e verificação de sistemas distribuídos complexos, oferecendo componentes modulares e reutilizáveis que podem ser aplicados em várias arquiteturas de blockchain.
Os protocolos verificados já incluem DAG-Rider, Cordial Miner, Bullshark, Hashgraph e Aleph. O próprio protocolo de consenso compatível com EVM da Sonic também foi validado como um derivado usando a ferramenta.
“Com esta biblioteca, estamos a passar da esperança à prova, oferecendo as ferramentas para verificar, com certeza matemática, que um protocolo se comportará de forma segura sob todas as condições,” disse o Diretor de Pesquisa, Dr. Bernhard Scholz.
Desafios de Segurança no Consenso de Blockchain
As blockchains hoje garantem trilhões de dólares em ativos digitais, colocando uma pressão significativa na infraestrutura de consenso subjacente para operar sem falhas.
Vulnerabilidades nesses mecanismos podem levar a gastos duplos, inconsistências no livro-razão ou explorações em larga escala.
Embora as auditorias e os testes de penetração sejam práticas padrão da indústria, não podem garantir a completa ausência de bugs críticos, especialmente em ambientes complexos e assíncronos.
A verificação formal oferece uma alternativa ao provar matematicamente que um protocolo funciona de forma segura em todos os cenários possíveis. A Sonic Labs afirmou que sua nova ferramenta pode ser usada não apenas para auditar protocolos existentes, mas também para ajudar os desenvolvedores a projetar ou modificar sistemas baseados em DAG desde o início.
A empresa já está a usar a biblioteca internamente para verificar a segurança da sua própria rede blockchain e afirma que pode eliminar matematicamente a possibilidade de comportamentos inseguros sob condições definidas.
Ao tornar a biblioteca de código aberto, a Sonic Labs visa reduzir o custo e a complexidade de construir sistemas de blockchain seguros, ao mesmo tempo que promove uma adoção mais ampla da verificação formal no desenvolvimento Web3.
Sonic é uma blockchain compatível com EVM projetada para alta capacidade de processamento, oferecendo finalidades em menos de um segundo e velocidades de processamento de até 400,000 transações por segundo.
A rede apresenta um modelo de Monetização de Taxas que permite aos desenvolvedores ganhar 90% das taxas de transação geradas pelas suas aplicações descentralizadas.
Por que isso importa
À medida que mais valor é bloqueado em redes de blockchain, pequenas falhas nos protocolos de consenso podem causar grandes perdas financeiras e danificar a confiança. A ferramenta de verificação de código aberto da Sonic Labs utiliza a matemática para garantir a segurança do protocolo, preenchendo uma lacuna que os testes tradicionais muitas vezes negligenciam.
Confira as notícias de criptomoedas em alta do DailyCoin:
O novo ETF de criptomoeda da Trump Media visa o Bitcoin e o Ethereum
Desenvolvedor Principal do Shiba Inu Provoca Super Aplicativo: A Próxima Grande Coisa do SHIB?
As Pessoas Também Perguntam:
O que é um protocolo de consenso em blockchain? Um protocolo de consenso é um conjunto de regras que permite aos participantes de uma rede distribuída concordarem sobre o estado atual da blockchain, garantindo que todas as cópias sejam consistentes e que as transações sejam validadas corretamente.
Por que o consenso é importante para as blockchains? O consenso é essencial para manter a integridade, segurança e confiabilidade de uma blockchain. Ele previne problemas como o gasto duplo e garante que todos os participantes da rede compartilhem o mesmo histórico de transações.
O que são protocolos de consenso baseados em DAG? DAG (Gráfico Acíclico Direcionado) os protocolos de consenso usam uma estrutura de gráfico em vez de uma cadeia tradicional para registar transações. Este design pode melhorar a escalabilidade e a velocidade das transações em comparação com blockchains lineares.
O que é verificação formal? A verificação formal é um método matemático utilizado para provar a correção e a segurança do design de um sistema, garantindo que ele se comporta conforme o esperado em todas as condições possíveis.
.social-share-icons { display: inline-flex; flex-direction: row; gap: 8px; border-radius: 8px; border: 1px solid #dedede; padding: 8px 16px; margin-bottom: 8px; }
.social-share-icons a { display: flex; color: #555; text-decoration: none; justify-content: center; align-items: center; background-color: #dedede; border-radius: 100%; padding: 10px; }
.social-share-icons a:hover { background-color: #F7BE23; fill: white; }
.social-share-icons svg { width: 24px; height: 24px; }