الأبحاث
تدوير المفاتيح ومهام الروبوتات يحتاجان سجلات مستقلة
ينشئ تغيير بيانات الاعتماد وتكليف عمل مادي واجبات تحقق مختلفة.
تاريخ النشر آخر تحديث

يركز نقاش ترقية NEAR على تدوير مفاتيح ما بعد الكم عبر سطر الأوامر قبل اتساع دعم المحافظ، بجانب إعادة التقسيم الديناميكية. يحفظ التدوير إمكانية تغيير التشفير دون التخلي عن أصول الحساب وتاريخه؛ وتغير إعادة التقسيم توزيع القدرة مع ضرورة اتساق الحالة المعتمدة. مسألة التنفيذ المميزة هي كيف تصمد بيانات الاعتماد والسجلات القائمة خلال كل انتقال.
ويضيف نقاش تجارة الآلات المشار إليه عبر Unibase وكلاء يكتشفون روبوتات ويكلفونها ويدفعون لها. تحتاج المهمة قدرة وإشارة توافر ومقياس إنجاز وسجلاً متفقاً عليه يحكم الدفع. ويقدم التحقق الشكلي فصلاً موازياً للكود المولد: قد ينتج نظام برهاناً ويفحصه آخر. يهم الفحص المستقل عندما قد تنتج التعليمة الخاطئة فعلاً مادياً، لا مجرد إجابة غير دقيقة.