
Crypto funds see record $1.47B weekly exodus	͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏	View in browser

May 26, 2026

Your Daily Digest of the 🔥Hottest News in Crypto

Today’s top stories

🚫 Binance remains blocked in Philippines after NTC directive
📈 Short Bitcoin products gain $10.2M amid risk-off
⚖️ Ex-Hodlnaut CEO charged with fraud over Terra exposure claims
📰 Keep reading for all of today’s biggest headlines

Binance eyes Philippines return through SEC sandbox partnership

Binance is pursuing a regulated return to the Philippines by partnering with BlockShoals Technologies, an approved participant in the country’s SEC Strategic Sandbox framework. The exchange remains blocked after a 2024 NTC directive, following a 2023 SEC warning over its unlicensed operations. BlockShoals will act as the local intermediary while Binance provides technology and compliance support, with the sandbox phase expected to begin in the second half of 2026.

Get the Details

Crypto funds bleed $1.47B as risk-off sentiment deepens

Crypto exchange-traded products saw $1.47 billion in outflows last week, marking a second straight week of withdrawals as Bitcoin funds led the decline with $1.3 billion in losses. In contrast, at least nine altcoin ETPs—led by XRP and Solana—still attracted inflows above $1 million, highlighting divergent investor interest. The broader risk-off sentiment was driven by deepening geopolitical concerns related to Iran, despite ongoing progress on the CLARITY Act.

Get the Full Story

Ex-Hodlnaut CEO charged with fraud over Terra exposure claims

Singapore police have charged former Hodlnaut CEO Zhu Juntao with six counts of fraud by false representation for allegedly misleading statements about the crypto lender’s exposure to the 2022 Terra/UST crash. The charges claim Zhu directed employees to falsely assert in Telegram messages and emails that Hodlnaut had no direct exposure to UST and did not suffer losses from its collapse, while he also posted similar claims on his personal X account. If convicted, each charge carries a penalty of up to 20 years in prison.

What is formal verification, and why does Vitalik Buterin think AI can help?

Vitalik Buterin argues that AI-assisted formal verification could improve crypto security by mathematically proving software behaves as intended. Formal verification already helps in aviation and defense, but is complex and expensive. Buterin believes AI can help generate proofs, find inconsistencies, and make the process faster and more scalable, especially for complex systems like STARKs and consensus protocols.

However, formal verification only proves what is explicitly modeled—it cannot cover all real-world assumptions, hardware, or human decisions. AI also risks hallucinations and unreliable proofs. Buterin’s idea could strengthen security but won’t eliminate all failures. It should be seen as a valuable tool, not a perfect solution.