Sonic Labs, a equipe por trás da blockchain Sonic, lançou a nova biblioteca de verificação formal para protocolos de consenso baseados em DAG. O objetivo é fornecer ferramentas de prova para a segurança das blockchains.
Sonic Labs e a segurança da blockchain: o lançamento da nova biblioteca de verificação formal
Sonic Labs, a equipe por trás da blockchain Sonic, anunciou o lançamento da nova biblioteca de verificação formal, dedicada a protocolos de consenso baseados em DAG.
Na prática, trata-se de uma biblioteca de código aberto que utiliza verificação formal para provar matematicamente a segurança de blockchains de grafo acíclico dirigido, incluindo a blockchain Sonic EVM.
Graças ao uso do assistente de prova TLA+, é possível simplificar o processo de verificação dos protocolos de consenso baseados em DAG, permitindo que os desenvolvedores modelem e verifiquem os protocolos com o mínimo de esforço.
Esta é uma ferramenta de teste para verificar a segurança das blockchains. A biblioteca inclui testes para importantes protocolos baseados em DAG, como DAG-Rider, Cordial Miner, Bullshark, Hashgraph e Aleph, com o protocolo de consenso Sonic verificado como derivado.
A biblioteca de verificação formal foi apresentada pela primeira vez na NASA Formal Methods 2025 (NFM 2025) em Williamsburg, Virgínia, de 11 a 13 de junho.
Sonic Labs e a rigorosa abordagem matemática para demonstrar a segurança de um protocolo
A situação atual da segurança das blockchains frequentemente vê a vulnerabilidade dos protocolos de consenso que também podem levar a explorações catastróficas. O gasto duplo ou inconsistências no livro-razão são um exemplo.
De modo geral, na verdade, testes e verificações tradicionais para garantir a segurança das blockchains tornaram-se insuficientes.
Aqui, nesse sentido, a Sonic Labs decidiu assumir o desafio do momento com uma abordagem estritamente matemática, que demonstra que um protocolo é seguro em todos os cenários possíveis, não deixando margem para erros.
Nesse sentido, Dr. Bernhard Scholz, Diretor de Pesquisa, Sonic Labs, comentou:
“Na blockchain, falhas de segurança frequentemente decorrem de suposições que não são verificadas até que seja tarde demais. Com esta biblioteca, estamos passando da esperança à prova, fornecendo as ferramentas para verificar, com certeza matemática, que um protocolo se comportará de forma segura sob todas as condições. Nosso objetivo é tornar a verificação formal acessível a todos os desenvolvedores de protocolo”.
Sonic Labs começou a implementar a verificação formal para provar que comportamentos inseguros são matematicamente impossíveis na blockchain Sonic.
A entrada do token S na Coinbase
Nas últimas horas, também se fala da entrada do token Sonic (S) na conhecida exchange de criptomoedas Coinbase.
$S está agora disponível na @Coinbase. pic.twitter.com/E6AIy6yusF
— Sonic Labs (@SonicLabs) 24 de junho de 2025
Na prática, os clientes da Coinbase também podem acessar o aplicativo Coinbase para iOS e Android para comprar, vender, converter, enviar, receber ou armazenar o token S.
Atualmente, o Sonic (S) está na 73ª posição no ranking geral de cripto, com uma capitalização de mercado de 932 milhões de dólares. No momento da redação, o S vale $0,32.
Era meados de abril de 2025, quando a Fantom lançou a mais recente atualização Sonic para revolucionar o DeFi. Com uma capacidade de mais de 10.000 transações por segundo (TPS) e tempos de finalização de menos de 2 segundos, o Sonic imediatamente se posicionou como uma das redes Layer 1 mais rápidas e escaláveis no panorama cripto. Com o Sonic, o token S também fez sua estreia, inicialmente atrelado ao FTM da Fantom.
