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, é uma biblioteca de código aberto que utiliza verificação formal para provar matematicamente a segurança de blockchains de grafos acíclicos direcionais, incluindo a blockchain Sonic EVM.
Graças à utilização do assistente de ensaio TLA+, é possível simplificar o processo de verificação de 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, Virginia, de 11 a 13 de junho.
Sonic Labs e a abordagem matemática rigorosa para demonstrar a segurança de um protocolo
A situação atual da segurança blockchain 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.
Em geral, na verdade, os testes e as verificações tradicionais para garantir a segurança das blockchains tornaram-se insuficientes
Aqui, neste sentido, a Sonic Labs decidiu enfrentar 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.
A este respeito, o Dr. Bernhard Scholz, Diretor de Pesquisa, Sonic Labs, comentou:
"No blockchain, falhas de segurança frequentemente derivam de suposições que não são verificadas até que seja tarde demais. Com esta biblioteca, estamos a passar da esperança para a prova, fornecendo as ferramentas para verificar, com certeza matemática, que um protocolo se comportará de forma segura sob todas as condições. O nosso objetivo é tornar a verificação formal acessível a todos os desenvolvedores de protocolos."
A 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 falou 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 aceder à aplicação Coinbase para iOS e Android para comprar, vender, converter, enviar, receber ou armazenar o token S.
Atualmente, Sonic (S) está na 73ª posição no ranking geral de criptomoedas, com uma capitalização de mercado de 932 milhões de dólares. No momento da redaçã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, Sonic posicionou-se imediatamente 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.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Sonic Labs: a nova biblioteca de verificação formal para protocolos baseados em DAG
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, é uma biblioteca de código aberto que utiliza verificação formal para provar matematicamente a segurança de blockchains de grafos acíclicos direcionais, incluindo a blockchain Sonic EVM.
Graças à utilização do assistente de ensaio TLA+, é possível simplificar o processo de verificação de 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, Virginia, de 11 a 13 de junho.
Sonic Labs e a abordagem matemática rigorosa para demonstrar a segurança de um protocolo
A situação atual da segurança blockchain 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.
Em geral, na verdade, os testes e as verificações tradicionais para garantir a segurança das blockchains tornaram-se insuficientes
Aqui, neste sentido, a Sonic Labs decidiu enfrentar 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.
A este respeito, o Dr. Bernhard Scholz, Diretor de Pesquisa, Sonic Labs, comentou:
"No blockchain, falhas de segurança frequentemente derivam de suposições que não são verificadas até que seja tarde demais. Com esta biblioteca, estamos a passar da esperança para a prova, fornecendo as ferramentas para verificar, com certeza matemática, que um protocolo se comportará de forma segura sob todas as condições. O nosso objetivo é tornar a verificação formal acessível a todos os desenvolvedores de protocolos."
A 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 falou 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 aceder à aplicação Coinbase para iOS e Android para comprar, vender, converter, enviar, receber ou armazenar o token S.
Atualmente, Sonic (S) está na 73ª posição no ranking geral de criptomoedas, com uma capitalização de mercado de 932 milhões de dólares. No momento da redaçã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, Sonic posicionou-se imediatamente 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.