News

أفادت Foresight News أن مدير المبيعات الأمريكي في Flowdesk، Hans Birringer، أعلن عبر منصة X عن تأسيس Hyper Holdings Global، مشيرًا إلى أن هذه المؤسسة عبارة عن اتحاد يضم مستثمرين ومؤسسات ورجال أعمال، ويهدف إلى ربط التمويل التقليدي بنظام Hyperliquid البيئي. الخطوة الأولى لهذا الاتحاد هي إقامة شراكة استراتيجية مع Grayscale لإطلاق Grayscale Hyperliquid Staking ETF (HYPG). أوضح Birringer أن Grayscale لديها خبرة تزيد عن عشر سنوات في مجال الأصول الرقمية، ولديها علاقات وثيقة مع الجهات التنظيمية وصناع القرار في الولايات المتحدة، وقامت سابقًا بإطلاق أول صندوق Bitcoin المتداول علنًا، وأسهمت في وضع سابقة قانونية لاعتماد منتج ETP للعملات المشفرة الفوري. وأكد أن HYPG سيكون بوابة دخول رؤوس الأموال المؤسسية طويلة الأمد إلى نظام Hyperliquid البيئي، ويشارك في المشروع أيضًا مؤسسات وأشخاص مثل Multicoin Capital، Hypurrdash، MotusAk وغيرهم.

أفادت ChainCatcher أن المدير التنفيذي لشركة Strategy، Phong Le، صرّح بأن الأسواق العالمية ومختلف القطاعات تمر بحالة من عدم اليقين، وخلال هذه الفترة، أصبحت Strategy تمتلك ما مجموعه 4% من إجمالي Bitcoin في العالم.

أفاد Foresight News أن فريق التطوير Monad، Category Labs، نشر مقالة يشارك فيها خبراته باستخدام طريقة التحقق الشكلي (Formal Verification) للكشف عن ثغرات في الوحدات الأساسية لسلسلة Monad. وكشف الفريق عن عدة ثغرات لم تتمكن النماذج الكبيرة المتقدمة مثل Claude Opus 4.8 وCodex من اكتشافها أثناء مراجعة الشيفرات، بينما نجحت عملية الإثبات الشكلي في رصدها. تتعلق الثغرات بتصميم «الاحتياطي المالي» (Reserve Balance) في آلية تنفيذ Monad غير المتزامنة، ومشكلة السلوك غير المعرف بلغة C++ في تحسينات التخزين MIP-8. ويعتقد الفريق أنه بالمقارنة مع مطالبة النماذج بمراجعة الشيفرات مباشرة، فإن كتابة القضايا بدقة حول الصحة أولا ثم مطالبة النموذج بالعثور على أمثلة معاكسة هو أسلوب عمل يكشف الثغرات الخفية بشكل أفضل، وأن التحقق الشكلي يمكن الآن إنجازه بشكل كبير بمساعدة الذكاء الاصطناعي.