News

De acordo com a ChainCatcher, o CEO da Strategy, Phong Le, afirmou que os mercados globais e vários setores estão a passar por incertezas e, durante este período, a Strategy já acumulou 4% do Bitcoin mundial.

Foresight News informou que a equipa de desenvolvimento da Monad, Category Labs, partilhou a sua experiência na utilização de métodos de verificação formal para detetar vulnerabilidades em módulos críticos da blockchain Monad, revelando diversas falhas que modelos avançados como Claude Opus 4.8 e Codex não conseguiram identificar durante a revisão de código, mas que foram detetadas com sucesso através do processo de prova formal. As questões envolvem o design do mecanismo de execução assíncrona da Monad, nomeadamente o “Reserve Balance” (saldo reservado), e problemas de comportamento indefinido em C++ na otimização de armazenamento do MIP-8. A equipa considera que, em vez de simplesmente pedir ao modelo para “rever o código”, escrever primeiro proposições corretas e depois solicitar que o modelo procure contraexemplos torna mais fácil expor vulnerabilidades ocultas, sendo que atualmente a verificação formal já pode ser amplamente apoiada por IA.

Segundo fontes familiarizadas com o assunto, em transações privadas no mercado de balcão, um grande operador ofereceu cotações para as obrigações da SpaceX com vencimento em 2056, ampliando o spread em relação ao Tesouro dos EUA em até 0,28 pontos percentuais em comparação com o acréscimo de 1,75 pontos percentuais na emissão. Desde o início das negociações, as perdas em valor contabilístico destas obrigações de 25 mil milhões de dólares da SpaceX têm vindo a aumentar. Calculado em relação aos títulos do Tesouro dos EUA, até ao final da noite de quinta-feira, o total acumulado destas perdas era de cerca de 305 milhões de dólares.