Na @SonicLabs, a segurança do consenso não é algo que afirmamos. É algo que provamos 📜 Desenvolvemos e abrimos o código de uma biblioteca de verificação TLA+ que permite aos desenvolvedores verificar a segurança dos protocolos de consenso baseados em DAG sem começar do zero Do DAG Rider ao Bullshark e Aleph, a biblioteca acelera o trabalho de prova e reduz os erros de verificação Apresentada no NASA Formal Methods 2025, esta pesquisa mostra como blocos de construção composable e verificados podem reduzir drasticamente o risco de falhas de consenso em ecossistemas inteiros Por $S, cada mudança no consenso do Sonic é apoiada por certeza matemática, garantindo a segurança da rede em escala 🌍
Mostrar original
17,87 mil
79
O conteúdo desta página é fornecido por terceiros. A menos que especificado de outra forma, a OKX não é a autora dos artigos mencionados e não reivindica direitos autorais sobre os materiais apresentados. O conteúdo tem um propósito meramente informativo e não representa as opiniões da OKX. Ele não deve ser interpretado como um endosso ou aconselhamento de investimento de qualquer tipo, nem como uma recomendação para compra ou venda de ativos digitais. Quando a IA generativa é utilizada para criar resumos ou outras informações, o conteúdo gerado pode apresentar imprecisões ou incoerências. Leia o artigo vinculado para mais detalhes e informações. A OKX não se responsabiliza pelo conteúdo hospedado em sites de terceiros. Possuir ativos digitais, como stablecoins e NFTs, envolve um risco elevado e pode apresentar flutuações significativas. Você deve ponderar com cuidado se negociar ou manter ativos digitais é adequado para sua condição financeira.