Conteúdo editorial confiável, revisado por especialistas de destaque da indústria e editores experientes. Divulgação de anúncios
A Sonic Labs tem estado à altura do seu nome e tem trabalhado arduamente no laboratório em um novo artigo de pesquisa. Não se trata apenas de um documento teórico: resultou em uma aplicação tangível no campo do consenso blockchain, e a biblioteca de verificação formal que a Sonic Labs desenvolveu agora é de código aberto e está disponível no Github.
A equipe da Sonic Labs é, claro, mais conhecida por arquitetar a cadeia Sonic Layer-1 que ressurgiu das cinzas da Fantom. A Sonic utiliza um DAG (Gráfico Acíclico Dirigido) para seu consenso, e foi nesta área que a equipe dos Labs, compreensivelmente, escolheu concentrar seus esforços. Embora a biblioteca de verificação subsequente que eles desenvolveram tenha implicações para a rede EVM da Sonic, ela é igualmente aplicável em todas as cadeias baseadas em DAG existentes e futuras, onde tem o potencial de melhorar significativamente a segurança ao evitar que bugs se infiltrem.
Sonic Labs Dá uma Nova Oportunidade aos DAGs
O design de consenso em blockchain é uma questão complexa que requer a expertise de pesquisadores de áreas como matemática, criptografia e teoria dos jogos. Embora a equipe da Sonic Labs tenha um bom conhecimento nessas áreas, convocou alguns especialistas para ajudar na sua análise aprofundada sobre DAGs, com o objetivo de torná-los verificavelmente seguros.
Desenvolvido em parceria com os principais lógicos da Universidade de Sydney e da INRIA, a biblioteca aproveita o assistente de prova TLA+ para fornecer componentes modulares e reutilizáveis. Estes simplificam o processo de verificação para os desenvolvedores, permitindo-lhes modelar e confirmar a segurança de protocolos baseados em DAG com facilidade. A biblioteca inclui provas verificadas para principais protocolos como DAG-Rider, Cordial Miner, Bullshark, Hashgraph e Aleph, com o próprio protocolo de consenso do Sonic validado como um derivado.
Dado o valor que agora flui através dos ecossistemas blockchain, é do interesse de todos torná-los mais seguros. No entanto, isso é mais fácil dizer do que fazer, uma vez que os procedimentos de auditoria padrão não são de forma alguma infalíveis e não é incomum que vulnerabilidades se infiltrem e sejam posteriormente exploradas com consequências devastadoras.
Tornar o Blockchain Mais Seguro para Todos
A abordagem de verificação formal da Sonic Labs utiliza provas matemáticas rigorosas para eliminar erros, garantindo que os protocolos funcionem de forma confiável em todos os cenários concebíveis. A biblioteca não só verifica os protocolos existentes, mas também capacita os desenvolvedores a projetar novos sistemas baseados em DAG ou aprimorar os atuais. A Sonic Labs já aplicou sua ferramenta proprietária para provar que comportamentos inseguros são matematicamente impossíveis na blockchain Sonic.
Apresentada pela primeira vez na NASA Formal Methods 2025 em Williamsburg, Virginia, em meados de junho, a biblioteca acrescenta uma ferramenta defensiva valiosa ao arsenal dos desenvolvedores de blockchain. À medida que o design modular se torna a forma padrão de construir blockchains, o risco de surgirem vulnerabilidades de segurança aumenta. Por exemplo, muitos provedores de Blockchain-as-a-Service permitem que as equipes criem e implantem uma rede personalizada em apenas alguns cliques. Mas, se decidirem alterar os parâmetros do mecanismo de consenso durante o processo, há a possibilidade de introduzir inconscientemente uma falha de segurança.
Esta é apenas uma área em que a biblioteca de verificação formal da Sonic Labs tem uma aplicação clara. Mas também tem valor a acrescentar na avaliação de cadeias baseadas em DAG existentes. As vulnerabilidades podem muitas vezes permanecer desconhecidas durante anos no ambiente antes que, no melhor dos cenários, um whitehat as descubra e sejam corrigidas. No pior dos casos, caem nas mãos de um blackhat que é capaz de explorá-las.
Como resumo do Dr. Bernhard Scholz, Diretor de Pesquisa da Sonic Labs, "No blockchain, falhas de segurança muitas vezes decorrem de suposições que não são testadas até que seja tarde demais. Com esta biblioteca, estamos a passar de esperança para prova, oferecendo as ferramentas para verificar, com certeza matemática, que um protocolo se comportará de forma segura sob todas as condições." Com a biblioteca de código aberto agora disponível para desenvolvedores web3, a responsabilidade recai sobre eles para aproveitar esta ferramenta e tirar o máximo proveito dela.
Processo Editorial para bitcoinist é centrado na entrega de conteúdo minuciosamente pesquisado, preciso e imparcial. Mantemos padrões de sourcing rigorosos, e cada página passa por uma revisão diligente pela nossa equipe de especialistas em tecnologia de topo e editores experientes. Este processo garante a integridade, relevância e valor do nosso conteúdo para os nossos leitores.
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 Reforça a Segurança do Blockchain com Nova Biblioteca de Verificação Formal | Bitcoinist.com
A equipe da Sonic Labs é, claro, mais conhecida por arquitetar a cadeia Sonic Layer-1 que ressurgiu das cinzas da Fantom. A Sonic utiliza um DAG (Gráfico Acíclico Dirigido) para seu consenso, e foi nesta área que a equipe dos Labs, compreensivelmente, escolheu concentrar seus esforços. Embora a biblioteca de verificação subsequente que eles desenvolveram tenha implicações para a rede EVM da Sonic, ela é igualmente aplicável em todas as cadeias baseadas em DAG existentes e futuras, onde tem o potencial de melhorar significativamente a segurança ao evitar que bugs se infiltrem.
Sonic Labs Dá uma Nova Oportunidade aos DAGs
O design de consenso em blockchain é uma questão complexa que requer a expertise de pesquisadores de áreas como matemática, criptografia e teoria dos jogos. Embora a equipe da Sonic Labs tenha um bom conhecimento nessas áreas, convocou alguns especialistas para ajudar na sua análise aprofundada sobre DAGs, com o objetivo de torná-los verificavelmente seguros.
Desenvolvido em parceria com os principais lógicos da Universidade de Sydney e da INRIA, a biblioteca aproveita o assistente de prova TLA+ para fornecer componentes modulares e reutilizáveis. Estes simplificam o processo de verificação para os desenvolvedores, permitindo-lhes modelar e confirmar a segurança de protocolos baseados em DAG com facilidade. A biblioteca inclui provas verificadas para principais protocolos como DAG-Rider, Cordial Miner, Bullshark, Hashgraph e Aleph, com o próprio protocolo de consenso do Sonic validado como um derivado.
Dado o valor que agora flui através dos ecossistemas blockchain, é do interesse de todos torná-los mais seguros. No entanto, isso é mais fácil dizer do que fazer, uma vez que os procedimentos de auditoria padrão não são de forma alguma infalíveis e não é incomum que vulnerabilidades se infiltrem e sejam posteriormente exploradas com consequências devastadoras.
Tornar o Blockchain Mais Seguro para Todos
A abordagem de verificação formal da Sonic Labs utiliza provas matemáticas rigorosas para eliminar erros, garantindo que os protocolos funcionem de forma confiável em todos os cenários concebíveis. A biblioteca não só verifica os protocolos existentes, mas também capacita os desenvolvedores a projetar novos sistemas baseados em DAG ou aprimorar os atuais. A Sonic Labs já aplicou sua ferramenta proprietária para provar que comportamentos inseguros são matematicamente impossíveis na blockchain Sonic.
Apresentada pela primeira vez na NASA Formal Methods 2025 em Williamsburg, Virginia, em meados de junho, a biblioteca acrescenta uma ferramenta defensiva valiosa ao arsenal dos desenvolvedores de blockchain. À medida que o design modular se torna a forma padrão de construir blockchains, o risco de surgirem vulnerabilidades de segurança aumenta. Por exemplo, muitos provedores de Blockchain-as-a-Service permitem que as equipes criem e implantem uma rede personalizada em apenas alguns cliques. Mas, se decidirem alterar os parâmetros do mecanismo de consenso durante o processo, há a possibilidade de introduzir inconscientemente uma falha de segurança.
Esta é apenas uma área em que a biblioteca de verificação formal da Sonic Labs tem uma aplicação clara. Mas também tem valor a acrescentar na avaliação de cadeias baseadas em DAG existentes. As vulnerabilidades podem muitas vezes permanecer desconhecidas durante anos no ambiente antes que, no melhor dos cenários, um whitehat as descubra e sejam corrigidas. No pior dos casos, caem nas mãos de um blackhat que é capaz de explorá-las.
Como resumo do Dr. Bernhard Scholz, Diretor de Pesquisa da Sonic Labs, "No blockchain, falhas de segurança muitas vezes decorrem de suposições que não são testadas até que seja tarde demais. Com esta biblioteca, estamos a passar de esperança para prova, oferecendo as ferramentas para verificar, com certeza matemática, que um protocolo se comportará de forma segura sob todas as condições." Com a biblioteca de código aberto agora disponível para desenvolvedores web3, a responsabilidade recai sobre eles para aproveitar esta ferramenta e tirar o máximo proveito dela.