نحن نقترح سياسة معدلة لطلب المعاملات لـ Arbitrum Sequencer، مما يضيف “زيادة الوقت” إلى سياسة أسبقية الحضور الحالية، حيث يمكن للمعاملة أن تدفع رسوم الأولوية للحصول على ميزة صغيرة أو “وقت” دفعة” في الترتيب. لا ينبغي أن يؤثر هذا على معظم المستخدمين، ولكنه يمكن أن يوفر طريقة أفضل لإدارة سلوك “سباق زمن الوصول”.
يتلقى جهاز تسلسل Arbitrum المعاملات من المستخدمين وينشر تسلسلًا مرتبًا، والذي يعمل كمدخل لمرحلة تنفيذ Arbitrum. حاليًا، يتبع جهاز التسلسل سياسة التسلسل بأسبقية الحضور (FCFS).
هناك الكثير الذي يعجبك في FCFS. إنه أمر بسيط وسهل الشرح. يبدو الأمر عادلاً حدسيًا. فهو يقلل من زمن الوصول لأن السياسة تسمح بإلحاق كل معاملة بالتسلسل فور وصولها.
تستخدم بروتوكولات التجميع الأخرى FCFS أيضًا. التفاؤل يفعل ذلك، واستنادًا إلى أوصاف الأنظمة الأخرى يبدو أنهم يفعلون ذلك أيضًا.
لكن FCFS له بعض العيوب، خاصة أنه يمكن أن يحفز سلوك “سباق الكمون”، حيث تنفق الجهات الفاعلة المتطورة الأموال والجهد في سباق تسلح مهدر للاقتراب من جهاز التسلسل، حتى يتمكنوا من الحصول على معاملاتهم قبل منافسيهم قليلاً.
نعتقد أن هناك طريقة للقيام بعمل أفضل، من خلال اعتماد نسخة معدلة من FCFS، والتي سنشرحها أدناه.
الأهداف
نريد أن تحتوي سياسة طلب المعاملات على هذه الخصائص:
• سرية ميمبول: المعاملات المقدمة غير مرئية لأي شخص آخر غير جهاز التسلسل، حتى يتم تضمينها في التسلسل المنشور. وهذا يمنع الأطراف من إدارة معاملات الآخرين أو حصرها. (جهاز التسلسل موثوق به لعدم الانخراط في مثل هذه التكتيكات، على الرغم من أن شرط الثقة هذا سيتم إزالته مع الانتقال إلى التسلسل اللامركزي.)
• قليل من الكمون: يتم تضمين كل معاملة تصل إلى جهاز التسلسل في التسلسل خلال فترة زمنية قصيرة، ربما 0.5 ثانية.
• عطاءات قصيرة الأجل: على مدى فترات زمنية قصيرة، يمكن للمعاملات الحصول على ميزة في الطلب عن طريق تقديم العطاءات للموضع. ويهدف هذا إلى حث الأطراف التي تتسابق على التنسيب المبكر على القيام بذلك عن طريق تقديم العطاءات، بدلاً من إنفاق الموارد (على سبيل المثال، لتقليل زمن الوصول) لتسليم معاملاتها إلى جهاز التسلسل بشكل أسرع.
• متوافق مع اللامركزية: يمكن تكييف السياسة للعمل مع جهاز التسلسل اللامركزي، لذلك لا يتعين علينا التخلي عن السياسة عندما يكون جهاز التسلسل لا مركزيًا.
سياسة طلب تعزيز الوقت
السياسة الجديدة هي سياسة من يأتي أولاً يخدم أولاً. لا يزال مجمع الذاكرة سريًا لمنع التشغيل الأمامي.
يتم وضع طابع زمني على كل معاملة عند وصولها إلى جهاز التسلسل. يمكن للمعاملة أن تختار دفع رسوم أولوية إضافية، مما سيعطيها دفعة زمنية – مما يجعل طابعها الزمني مبكرًا قليلاً، بما يصل إلى 0.5 ثانية.
لماذا 0.5 ثانية؟ تعكس هذه المعلمة المقايضة. نريد أن يتمكن مرسلي المعاملات من شراء دفعة كبيرة بما يكفي بحيث يكون لديهم حافز لشراء دفعة بدلاً من محاولة هندسة زمن الوصول – مما يجعلنا نرغب في الحصول على حد أقصى أكبر للدفعة. ولكننا نريد أيضًا تقليل التأثير على زمن الوصول للمعاملات غير المعززة، والتي من المحتمل أن تضطر إلى الانتظار لهذه الفترة في حالة وصول معاملة معززة بعدها – مما يجعلنا نريد حدًا أدنى من الدعم. نعتقد أن 0.5 ثانية توازن المقايضة بشكل معقول، على الرغم من أن الآخرين قد يكون لديهم حجج جيدة لقيمة أصغر أو أكبر قليلاً.
نتوقع أن معظم المعاملات لن تشتري زيادة في الوقت، لذلك ليست هناك حاجة إلى تغييرات في المحافظ أو تطبيق UX. يمكن للأطراف المتطورة التي تقوم بالفعل ببناء معاملات Arbitrum برمجيًا أن تقرر ما إذا كانت ستشتري تعزيزًا للوقت (ومقدار الشراء)، بناءً على ما إذا كانوا يتنافسون مع الآخرين على المركز المبكر ومدى تقديرهم لكونهم في المركز الأول.
إذا كانت رسوم أولوية المعاملة هي F، فستحصل على دفعة زمنية (أي خصم من الطابع الزمني الخاص بها) محسوبة بواسطة هذه الصيغة:
أين يتوفر الحد الأقصى لتعزيز الوقت (المخطط له لمدة 0.5 ثانية في الإنتاج)، وc هو ثابت يجب تحديده. وفي مقابل هذه الزيادة الزمنية، سيتم زيادة سعر غاز L2 المدفوع من خلال الصفقة بمقدار F.
فيما يلي رسم بياني للصيغة، بافتراض أن الحد الأقصى للتعزيز g هو 0.5 ثانية. حسب التصميم، فإن الرسوم الأقل تشتري جزءًا كبيرًا من التعزيز المتاح، مع تناقص العوائد مع ارتفاع الرسوم. يقترب التعزيز من 0.5 ثانية إذا أصبحت الرسوم كبيرة جدًا.
تطبيق
إليك طريقة لتنفيذ السياسة. يجب أن تستمر أنواع المعاملات القديمة في العمل كما كانت من قبل، بحيث لا تكون هناك حاجة لأي تغييرات لمعظم المستخدمين والمطورين. كما هو الحال دائمًا، ستفرض Arbitrum رسوم الغاز على L2 ولكنها ستتجاهل حقول “رسوم الأولوية” في تنسيقات المعاملات القديمة. (ترسل العديد من المعاملات الحالية رسوم أولوية غير صفرية إلى Arbitrum. ولا تقوم Arbitrum بتحصيل رسوم الأولوية هذه، ولا ينبغي أن يتغير ذلك.)
ستستخدم المعاملات التي تريد تعزيز الوقت نوع معاملة L2 جديد، والذي سيكون بنفس تنسيق المعاملة القديمة (بخلاف وجود تسمية مختلفة لنوع المعاملة). بالنسبة لنوع المعاملة الجديد، سيتم تفسير حقل رسوم أولوية الإيثريوم على أنه رسوم تعزيز الوقت، وسيتم تحصيلها بواسطة سلسلة Arbitrum.
سيقوم جهاز التسلسل Arbitrum بتطبيق صيغة تعزيز الوقت، وضبط الطوابع الزمنية وفقًا لذلك، وتسلسل المعاملات بترتيب متزايد للطابع الزمني المعدل.
إحدى نتائج هذه السياسة هي أن المعاملات التي لم تدفع مقابل تعزيز الوقت ستواجه 0.5 ثانية إضافية من الكمون، لأن جهاز التسلسل سيحتاج إلى الانتظار لمعرفة ما إذا كانت أي معاملات قادمة بعد فترة وجيزة قد حصلت على دفعة. ولكن لن يلزم الاحتفاظ بأي معاملة لمدة تزيد عن 0.5 ثانية.
نحن حريصون على الحصول على تعليقات من المجتمع حول هذا الاقتراح. توجه إلى منتدى أبحاث Arbitrum إذا كانت لديك أفكار لمشاركتها.