🚀 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.

🤔 Payward Q1 Revenue Rises to $507M as Kraken Parent Expands M&A and IPO Push Payward, the parent company of Kraken, reported Q1 2026 adjusted revenue of $507 million, up 3% year-over-year. Assets on Platform reached $40 billion, and funded accounts rose 47% year-over-year to 6.1 million. The company is expanding its multi-asset infrastructure through acquisitions, including Backed, Magna, Bitnomial, and Reap, while maintaining plans for a future IPO.

🇺🇸🇮🇷 Reuters: A high-ranking source in Iran has stated that the US has shown flexibility during the current negotiations, including regarding restrictions on Iran's nuclear activities. Washington has only agreed to unfreeze 25% of Iranian funds according to a phased schedule. Tehran demands the unfreezing of all funds. Iran's revised proposal includes a final end to the war, lifting of sanctions, and resuming operations in the Strait of Hormuz. The nuclear issue will be discussed later. #tradewars

💰 Strategy приобрела 24 869 BTC на сумму $2,01 млрд по цене $80 985 за монету. На 17 мая общий объем активов компании составляет 843 738 BTC, приобретенных за $63,87 млрд, со средней ценой покупки $75 700 за биткойн. 🌐 Наши ссылки | Торгуем на Bybit | Торгуем на BingX | Торгуем на Polymarket

💰 Playground Global Raises $475 Million VC Fund: Axios

📈 President Trump moves to withdraw his $10 billion lawsuit against the IRS. #regulation

💸 At $76.7K, more than 7.8M #BTC are currently held at a loss. The supply overhang from buyers near cycle highs remains substantial, which is a weight the market will need to absorb before any sustained move higher becomes structurally credible.

🔝 Top 10 Biggest Digital Asset Treasuries Corporate crypto treasuries are turning public companies into long-term crypto whales. Hundreds of firms now hold $BTC and $ETH on their balance sheets, collectively controlling millions of coins across corporate reserves.

🎉 انطلاق المرحلة 14 من الحملة الخاصة بـ sTRX وTRX Vaults! ✅ استمرار تخفيض رسوم الاستقرار لمدة 30 يومًا إضافية: 🔹 رسوم TRX Vault عند 0.5% 🔹 رسوم sTRX Vault عند 1% 💰 عوائد #USDD متاحة عبر أبرز بروتوكولات ومنصات DeFi ⏰ فترة الحملة: 15 مايو ← 15 يونيو 👈 لا تفوت الفرصة! تعرّف على التفاصيل وابدأ سكّ USDD الآن: https://medium.com/@usddio/strx-trx-vaults-stability-fees-as-low-as-0-5-grow-your-assets-steadily-with-usdd-98e4691d8efd?postPublishedType=initial https://x.com/usddio/status/2055212555187167242

🔥 انطلاق فعالية JUST Carnival Month احتفالًا بالذكرى السادسة لـ JUST × GasFree! استمتعوا بتحويلات برسوم صفريه وشاركوا في توزيع جوائز بقيمة 10,000 USDT 🚀 📅 من 18 مايو ← 24 مايو (بتوقيت SGT) طريقة المشاركة 👇 1️⃣ تفعيل GasFree استخدم محفظة تدعم GasFree مثل: @TronLinkWallet @klever_io @GuardaWallet @NOW_Wallet ثم قم بتحويل USDT إلى عنوان محفظة GasFree الخاصة بك للحصول على فرصة للفوز بمكافآت عشوائية تتراوح بين 5.2 ← 522 USDT 💸 2️⃣ استخدام GasFree أكمل عملية تحويل واحدة على الأقل عبر GasFree لتحصل على فرصة استرداد 100٪ من رسوم التفعيل أو رسوم التحويل ضمن السحب اليومي. 📌 دليل استخدام GasFree: https://x.com/DeFi_JUST/status/2055498514260693247 💰 سيتم توزيع المكافآت إلى عناوين محافظ GasFree خلال 18 يوم عمل بعد انتهاء الحملة. 💡 تحتفظ #JUST بحق التفسير النهائي للحملة. بدون TRX. بدون القلق من رسوم الغاز. فقط قم بالتحويل. 💫 لا تزال تواجه مشكلة عدم امتلاك TRX لدفع رسوم الغاز؟ إليك شرحًا سريعًا لكيفية عمل GasFree 👇 🔗 http://gasfree.io 🔁 https://x.com/DeFi_JUST/status/2056298767251603856

📈 أكثر من 302,486 مستخدمًا حتى الآن على #GasFree إرسال #USDT على #TRON بدون الحاجة لامتلاك TRX أو Energy أو Bandwidth بدأ يصبح أمرًا طبيعيًا فعلًا… ⚡️ احتكاك أقل، خطوات أبسط، واستخدام حقيقي على نطاق واسع. 🌍 https://x.com/DeFi_JUST/status/2056283440165916850