Notícias
Mantenha-se atualizado sobre as últimas tendências de cripto com nossa cobertura especializada e detalhada.


PARTI prestes a disparar? Suporte chave e sinal de momentum indicam possível rompimento acima de $0,2026
Cryptonewsland·2025/09/05 20:17

3 altcoins prontas para superar enquanto o Bitcoin cai abaixo de US$ 110 mil
Cryptonewsland·2025/09/05 20:17

O preço do ONDO se consolida em um canal descendente enquanto o suporte de $0,84–$0,88 define o próximo movimento
Cryptonewsland·2025/09/05 20:17

Nasdaq exige votação dos acionistas nas disputas de tesouraria cripto
Portalcripto·2025/09/05 20:16
Executivo da SWIFT defende o papel dos bancos na era do blockchain
Portalcripto·2025/09/05 20:16
SEC e CFTC alinham regulamentação de DeFi e planejam mesa-redonda
Portalcripto·2025/09/05 20:16
Wildcat Labs arrecada US$ 3,5 milhões para expandir crédito DeFi
Portalcripto·2025/09/05 20:15
MARA atinge 52.477 BTC e consolida US$5,9 bilhões em tesouraria
Portalcripto·2025/09/05 20:15
Sora Ventures cria fundo de bilhões de dólares para expandir tesourarias de Bitcoin na Ásia
Portalcripto·2025/09/05 20:15
Comunicados
12:59
O CEO da Strategy atualmente detém um total de 4% do bitcoin global.De acordo com ChainCatcher, o CEO da Strategy, Phong Le, afirmou que os mercados globais e diversos setores estão passando por incerteza e, durante esse período, a Strategy já acumulou a posse de 4% dos Bitcoin em circulação no mundo.
12:55
A equipe da Monad compartilha práticas de verificação formal e descobre várias vulnerabilidades de segurança on-chain que passaram despercebidas durante a revisão de modelos de IA.De acordo com a Foresight News, a equipe de desenvolvimento da Monad, Category Labs, publicou um artigo compartilhando sua experiência no uso de verificação formal para identificar vulnerabilidades em módulos críticos da blockchain Monad, revelando várias falhas que modelos avançados como Claude Opus 4.8 e Codex não conseguiram detectar durante a revisão de código, mas que foram capturadas com sucesso no processo de verificação formal. As vulnerabilidades envolviam o design de “Reserve Balance” (saldo reservado) no mecanismo de execução assíncrona da Monad e o problema de comportamento indefinido em C++ na otimização de armazenamento do MIP-8. A equipe considera que, em vez de pedir diretamente para o modelo revisar o código, é mais eficiente escrever proposições de correção precisas e somente depois solicitar que o modelo busque contra-exemplos, sendo esta abordagem mais propensa a expor vulnerabilidades ocultas. Atualmente, a verificação formal já pode ser amplamente auxiliada por IA.
12:50
Os bonds da SpaceX despencam no mercado secundário, surpreendendo muitos traders.Pessoas familiarizadas com o assunto afirmam que, em negociações privadas no mercado de balcão, uma grande corretora cotou os títulos da SpaceX com vencimento em 2056, aumentando a diferença em relação aos títulos do Tesouro dos EUA em até 0,28 ponto percentual em comparação com os 1,75 pontos percentuais de spread no momento da emissão. Desde o início das negociações, o prejuízo contábil desses títulos de 25 bilhões de dólares da SpaceX tem aumentado continuamente. Com base na comparação com os títulos do Tesouro dos EUA, até a noite de quinta-feira, o prejuízo total era de aproximadamente 305 milhões de dólares.
Notícias
