🚀 Vitalik Buterin stated that AI-assisted formal verification could represent the “final form” of software development, allowing for highly efficient and mathematically verified code. He emphasized its potential uses in Ethereum, ZK systems, consensus, and cryptography, while acknowledging that formal verification enhances security but does not ensure complete correctness.

🚀 After a 9-month break, Pump.fun has started selling $SOL again, depositing 82,700 $SOL ($7.02M) to Kraken over the past hour.

Previously, from May 19, 2024, to Aug. 12, 2025, Pump.fun sold a total of 4.19M $SOL ($757M) at an average price of $181.

🕵️ #SOL #PUMP

PumpFun has resumed transferring SOL on Kraken.

They transferred 82,700 SOL (~$7 million) in the last hour.

🔮 #BTC Reading the Bitcoin Bottom via HODL Waves

“Our predicted price range for this cycle's bottom is $65.9K–$70.5K. If $70.5K holds, we’ll slowly grind out a bottom in the upper range.”

🔮 #BTC Reading the Bitcoin Bottom via HODL Waves

“Our predicted price range for this cycle's bottom is $65.9K–$70.5K. If $70.5K holds, we’ll slowly grind out a bottom in the upper range.”

🇺🇸🏦 Minnesota Governor Signs Bill Allowing Banks and Credit Unions to Offer Crypto Custody Services.

🐳 May 18 Update:

Bitcoin ETFs:
1D NetFlow: -3,361 $BTC (-$256.91M)
7D NetFlow: -12,478 $BTC (-$957.71M)

Ethereum ETFs:
1D NetFlow: -26,151 $ETH (-$55.23M)
7D NetFlow: -113,035 $ETH (-$238.73M)

Solana ETFs:
1D NetFlow: +3,425 $SOL (+$288K)
7D NetFlow: +605,484 $SOL (+$50.86M)

🆕 $BTC rolled over from a local peak above $82K into the mid-$76Ks, with spot demand, ETF flows, and speculative positioning weakening. Long-term holder strength remains a key source of support. #etf

🇺🇸🇮🇷 A senior US official told Axios that Iran's updated proposal for resolving the conflict does not represent a significant improvement and is still insufficient to reach an agreement.

see the difference

🇺🇸🗣 White House Executive Director says there is an announcement coming soon regarding a Strategic Bitcoin Reserve:

"We'll have an announcement...It's a breakthrough as far as getting everything in place, legally sound, properly safeguarding the assets."

💵 250,000,000 $USDC (250,013,000 USD) minted at USDC Treasury

🗣 Kevin Warsh to be sworn in as Fed Chair on Friday, officially replacing Jerome Powell. #macro

🇫🇷💰 French public company Capital B $ALCPB buys an additional 192 Bitcoin and now holds a total of 3,135 BTC.

Bitcoin 100 Ranking: 25

👀 OpenAI and CEO Sam Altman Found Not Liable in Elon Musk Lawsuit. #regulation

📊💰 #SOL #RWA Messari that Solana generated $342.2 million in Chain GDP in Q1 2026, with PumpFun remaining the network’s top revenue-generating application at $124.7 million.

Solana’s REV declined 1% QoQ to $89.5 million, ranking second among all blockchain networks behind Hyperliquid.

Solana’s RWA market cap increased 43% QoQ to $2.01 billion in Q1 2026. The report also noted that Solana’s upcoming Alpenglow upgrade aims to reduce transaction finality from roughly 12.8 seconds to 150 milliseconds.

🗣 Michael Saylor said, "I'm buying the top forever. I will be happy to buy at $200,000, $2 million, $4 million, $8 million, and $16 million."

Strategy will never stop buying #BTC.

📌 Top 5 News for 24 Hour:

1. Machi faces $32.4M loss, re-opens $ETH long. →
👁 2049 | ❤️ 0 | 🔁 12

2. Pump.fun resumes selling $SOL on Kraken. →
👁 387 | ❤️ 2 | 🔁 10

3. Wallet 0xb5E4 linked to a16z buys $HYPE worth $16.91M in 3 →
👁 360 | ❤️ 0 | 🔁 6

4. Arthur Hayes lowers Bitcoin target to $125,000. →
👁 295 | ❤️ 0 | 🔁 5

5. Whale buys $ETH at $2,119, now holds $288.35M. →
👁 357 | ❤️ 0 | 🔁 4

| | |

📌 Top 5 News for 24 Hour:

1. Machi faces $32.4M loss, re-opens $ETH long. →
👁 2049 | ❤️ 0 | 🔁 12

2. Pump.fun resumes selling $SOL on Kraken. →
👁 387 | ❤️ 2 | 🔁 10

3. Wallet 0xb5E4 linked to a16z buys $HYPE worth $16.91M in 3 →
👁 360 | ❤️ 0 | 🔁 6

4. Arthur Hayes lowers Bitcoin target to $125,000. →
👁 295 | ❤️ 0 | 🔁 5

5. Whale buys $ETH at $2,119, now holds $288.35M. →
👁 357 | ❤️ 0 | 🔁 4

| | |

📊 SEC prepares to allow blockchain-based tokenized stock trading. #regulation

🏆 100,000 blocks remain until the next Bitcoin Halving.