CryptoSlate

OpenAI says AI agents produced a Navier-Stokes proof and verified it in Lean.
For smart contracts, automated proofs could cut verification work. But they only check specified rules. An omitted withdrawal safeguard can still leave funds exposed.

Consensys plans to separate MetaMask from its infrastructure business by year-end.
MetaMask’s Money Account runs on Monad. Growth in the wallet doesn’t automatically mean more Ethereum transactions or demand for ETH.

Visa says Credit Coop’s stablecoin loans have financed $2.5B in card settlements since 2023, covering the gap before cardholder payments arrive.
That’s cumulative volume through reusable credit lines. Current loan exposure remains undisclosed.

ETH, XRP and Solana ETFs drew nearly $59M on Sept. 9 as Bitcoin funds lost $120M.
Over 30 days, those four assets captured roughly 99% of net crypto ETF inflows. The altseason index stood at 37, below its 75 threshold.

A Superfluid bug let an attacker drain over $100K from GoodDollar’s reserves.
The UBI protocol has recorded 963,000+ unique claimants. Claiming has resumed on Celo, but reserve operations on Celo and XDC remain paused, with bridging suspended.

🏆 PREDICTION MARKET: The Ballon d’Or favorite flipped.
Harry Kane now leads the prediction market at 62.6%, far ahead of Lamine Yamal at 15.9%, as voters weigh individual output against team success.

🗞 Top Crypto Gainers & Losers: Thu, Sep 10 (24H)
📈 Biggest Gainers
Ape and Pepe (APEPE) +21.16%
ether. fi (ETHFI) +15.83%
Falcon Finance (FF) +9.68%
📉 Biggest Losers

Hunter Biden’s Laptop (LAPTOP) -66.89%
STONK (STONK) -23.06%
Pons (PONS) -19.66%

🗞 Top #CryptoGainers & Losers: Thu, Sep 10 (24H)
📈 Biggest Gainers
Ape and Pepe (APEPE) +21.16%
ether. fi (ETHFI) +15.83%
Falcon Finance (FF) +9.68%
📉 Biggest Losers

Hunter Biden’s Laptop (LAPTOP) -66.89%
STONK (stonkfun. xyz) STONK -23.06%
Pons (PONS) -19.66%

XRP Ledger passed 5 billion transactions. Bitquery attributes 92% of August’s activity to 767 automated accounts.
One account submitted 12.79 million DEX orders. Only 882 resulted in trades.

🎬 PREDICTION MARKET: Bond casting has a new frontrunner, but no certainty.
Jack Lowden leads the prediction market at 37.9%, while ‘No Bond chosen’ sits second at 18.4% and the clock runs to year-end.

The US crackdown on Xinbi is spreading to rival marketplaces.
Bitrace says Fulilai removed money-laundering merchants from public groups, while its wallet recorded $9.3M in outflows following the sanctions.

SEC-approved Nasdaq Texas rules give qualifying commodity trusts a 15% sleeve for assets that fall outside generic listing tests.
Derivatives count by gross notional exposure, so options can use up that room quickly.

🏛️ PREDICTION MARKET: CLARITY has support.
Does it have enough Senate time? No leads the prediction market at 85.5% ahead of a Sept. 15 cloture vote, with final passage and a presidential signature still required.

.@Pumpfun’s new Custom Pairs let memecoins trade against tokenized stocks, giving traders a reason to hold them beyond equity exposure.
Whether that demand lasts long enough to support deeper lending markets remains unproven.

Bitcoin holds near $78K with Brent above $100 ahead of US inflation data on Sept. 11.
An upside inflation surprise could put $76,600 support under pressure. Above spot, more than 1 million $BTC was acquired between $83K and $86K, creating potential selling pressure.

Osmosis froze 22.65 BTC after a Nomic forwarding bug left 36% of allBTC’s backing in question.
Minting and redemption are paused. Recovering the frozen funds would still leave a 17.19 BTC gap for governance to cover.

📉 PREDICTION MARKET: The Fed hike case is no longer a coin flip.
Yes leads the prediction market at 70.5%, with three July dissenters and fresh CPI landing before the next FOMC decision.