3678 ورقة بحثية
تُثبت هذه الورقة نتائج جديدة تتعلق بصلابة فرضية الزمن الأسي (ETH) لمسائل الشبكة الأساسية، حيث تُثبت أن مسألتي المتجه الأقرب التقريبي () والمتجه الأقصر التقريبي () لـ لا يمكن حلهما في زمن من خلال الاستفادة من خاصية هندسية مبتكرة للشبكة الصحيحة واختزال من مسألة عبر .
تقدم هذه الورقة CrossGuard، وهو إطار عمل جديد على السلسلة (on-chain) يعزز أمن العقود الذكية للتمويل اللامركزي (DeFi) من خلال فرض سلامة تدفق التحكم عبر القائمة البيضاء في وقت التشغيل، مما يحجب بفعالية 35 هجوماً من أصل 37 هجوماً تاريخياً مع حد أدنى من الإيجابيات الكاذبة وتكاليف الغاز الإضافية دون الحاجة إلى معرفة مسبقة باستغلالات محددة.
تقدم هذه الورقة مسار "معايير الدفاعات ذات الحالة" (BSD) لتقييم وتخفيف حدة الهجمات العدائية الخفية التي تتجاوز فلاتر السلامة عبر تفكيك المهام الخطيرة إلى استعلامات تبدو حميدة، مما يثبت أن الدفاعات ذات الحالة تعد وسيلة مضادة فعالة ضد مثل هذا الإساءة.
تقدم هذه الورقة البحثية إطار عمل \textsc{ReX}، وهو إطار عمل قائم على التنفيذ يستفيد من النماذج اللغوية الكبيرة (LLMs) وحزمة (Foundry) لأتمتة توليد الثغرات البرمجية من البداية إلى النهاية للعقود الذكية، كاشفةً أنه في حين يمكن للنماذج الحالية صياغة إثباتات مفهوم حتمية لثغرات العقود المنفردة بفعالية، إلا أنها تواجه صعوبة في الهجمات العابرة للعقود وتواجه فجوات كبيرة بين القابلية للاستغلال التقني والأثر الاقتصادي في العالم الحقيقي.
تقدم هذه الورقة ContextLeak، وهو أول إطار عمل للتدقيق التجريبي في تسرب المعلومات في أسوأ الحالات في التعلم داخل السياق الخاص باستخدام إدراج "الكناري" للكشف عن أن أساليب الحفاظ على الخصوصية الحالية غالباً ما تفشل في تحقيق التوازن بين الأمان والمنفعة، إما عبر تسريب البيانات الحساسة أو تدهور أداء النموذج بشكل حاد.
تقدم هذه الورقة إطار عمل جديداً قائماً على نموذج QUBO للتقييم الكمي للمخاطر السيبرانية، وتثبت من خلال اختبارات قياسية واسعة النطاق أنه في حين يواجه التلدين الكمي الصرف قيوداً في اتصال الأجهزة، فإن الحلول الهجينة بين الكمية والكلاسيكية توفر بديلاً واعداً وقابلاً للتوسع لتحديد تكوينات المخاطر المستقرة في البنى التحتية المعقدة لتكنولوجيا المعلومات.
تستنتج هذه الورقة شروطاً كافية لمعايرة ضوضاء لابلاتس في الاستعلامات المجمعة متعددة المستخدمين لتحقيق خصوصية "بافر فيش" وعدم التمييز الفردي تحت ديناميكيات المستخدم، وذلك باستخدام طريقة كانتوروفيتش، وتوضح أنه بالنسبة للمتغيرات الثنائية، يمكن تخفيف هذه الشروط لتحسين فائدة البيانات.
تقدم هذه الورقة بروتوكول ACE، وهو بروتوكول تصويت مبتكر يحقق قابلية التحقق من الطرف إلى الطرف، وإخفاء المجموع علنًا، وعدم القابلية للاستلام القوية تحت افتراضات العميل غير الموثوق من خلال الجمع بين آلية تجميع تحافظ على الخصوصية وتحدي "التدقيق أو التصويت" وإعادة العشوائية من جانب جامع الأصوات.
تعد HadAgent نظاماً لامركزياً لخدمة الوكلاء القائمين على الذكاء الاصطناعي يستبدل آلية إثبات العمل كثيفة استهلاك الطاقة بآلية إجماع "إثبات الاستدلال"، مستخدماً هيكل كتل ثلاثي المسارات وبنية عقد ثنائية الطبقات مع طبقة حزام أوتوماتيكية للتحقق بكفاءة من مهام استدلال النماذج اللغوية الكبيرة مع ضمان كشف التلاعب وإدارة الثقة.
تقيم هذه الدراسة تتبع الويب عبر عشر دول وتخلص إلى أنه في حين أن اللائحة العامة لحماية البيانات (GDPR) وتوجيه الخصوصية الإلكترونية (ePrivacy Directive) في الاتحاد الأوروبي يقللان بشكل كبير من اتصالات أدوات التتبع ويخلقان "درع بروكسل"، فإن الإنفاذ القوي لقوانين الخصوصية يظل أمراً حاسماً لحماية خصوصية المستخدم بفعالية في ويب متصل عالمياً تهيمن عليه ممارسات تكنولوجيا الإعلانات الأمريكية.