EIP-2537 هو أحدث تعليمات تجميع مسبق لـ EVM التي تم تحديدها للإضافة في ترقية الانقسام Pectra. تضيف هذه التعليمات مجموعة متنوعة من وظائف الحساب لمنحنى BLS12-381 لـ EVM، مثل حساب الاقتران على مجال المنحنى وغيرها.
تم تقديم EIP-2573 لأول مرة في عام 2020، ولم يتم تأكيد إضافته إلى ترقية الإيثيريوم حتى عام 2025. يركز هذا المقال بشكل أساسي على تاريخ حوكمة EIP-2537، ويستكشف لماذا استغرق الأمر 5 سنوات لإدراج هذا الاقتراح في الترقية.
خلفية الاقتراح
في يناير 2017، قدم فيتاليك بوتيرين في Exploring Elliptic Curve Pairings خوارزمية الاقتران ومنحنى alt_bn128. ثم في فبراير 2017، اقترح فيتاليك بوتيرين وكريستيان ريتفيسنر مقترحي EIP-196 وEIP-197، وكان محتوى الاقتراح هو إضافة دعم حساب منحنى alt_bn128 إلى EVM.
في ترقية بيزانتيوم في أكتوبر 2017، تم تضمين منحنى alt_bn128 رسميًا. ببساطة، حقق alt_bn128 لأول مرة حسابات زوجية على مجال المنحنى داخل EVM، مما جعل التحقق من إثباتات ZK-Snarks ممكنًا داخل EVM.
لكن مع تطور علم التشفير، في نوفمبر 2017، قدم فريق تطوير zcash في BLS12-381: New zk-SNARK Elliptic Curve Construction لأول مرة منحنى BLS12-381. بالمقارنة مع alt_bn128، فإن BLS12-381 يتمتع بأمان أعلى وأداء أفضل. استخدمت العديد من بروتوكولات البلوكشين بعد ذلك منحنى BLS12-381 وتخلت عن منحنى alt_bn128.
في مايو 2018 ، نشر جاستن دريك مقالة تجميع التوقيع العملي مع BLS في ethresear ، مشيرا إلى أن ترقيات PoS و shard المستقبلية على Ethereum يمكن أن تستخدم خوارزمية BLS multisig بناء على منحنى "BLS12-381". في ذلك الوقت ، أراد باحثو Ethereum استخدام EIP-1011 لحل مشكلة طبقة الإجماع ، لكن مخطط EIP-1011 يمكن أن يستوعب ما يصل إلى 900 مدقق ، لذلك تم تعيين حجم حصة ضخم يبلغ 1,500 ETH لكل مدقق. مع إدخال مخطط BLS multisig ، انسحب EIP-1011 من مرحلة التاريخ. كما اتضح ، انتهت ترقيات ETH2 اللاحقة أيضا باستخدام منحنى "BLS12-381".
مع تطوير ETH2، تم الدعوة إلى إدخال طبقة تنفيذ ETH باستخدام BLS12-381 المستخدمة في ETH2. في فبراير 2020، اقترح بعض الباحثين EIP-2537، وكانوا يأملون أن يتم قبول هذا الاقتراح للاختبار مع شبكة اختبار ETH2. دعا مؤلف EIP-2537 أليكس ستوكز في مقال "ما تحتاجه eth2 من eth1 خلال الستة أشهر القادمة" إلى إدراج EIP-2537 في الانقسام الصلب في برلين.
من المثير للاهتمام أن مؤلف EIP-2537 هو أيضًا أحد مؤسسي Matter Labs، والتي تُعرف بأشهر منتجاتها ZKSync.
برلين الاضطرابات
قبل أن نقدم المحتوى التالي، نحتاج أولاً إلى تقديم EIP-1962. EIP-1962 هو الاقتراح الأول الذي قدمته Matter Labs في أبريل 2019 بشأن تجميع مسبق لمطابقة المجال المنحني البيضاوي، ويدعم هذا الاقتراح ثلاث منحنيات، وهي:
BLS12
*الجبهه الوطنيه
MNT4 / 6 (Ate pairing)
يستعد هذا EIP لزيادة 10 تعليمات تجميع مسبقة بشكل مرة واحدة لمعالجة منحنيات مختلفة. ومع ذلك، بعد ولادة هذا الاقتراح، تساءل عدد كبير من المطورين عن مدى تعقيد الاقتراح، مما يجعل من الصعب على المطورين تنفيذه. وبالإضافة إلى ذلك، فإن EIP1962، بفضل عموميته العالية، يعتبر أمرًا مزعجًا للمهندسين الذين يعملون على العقود الذكية عند استدعائه. بالطبع، بصفتها مقدمة EIP-1962، أكملت Matter Labs فعليًا العمل على تطوير خوارزمية منحنى بيضاوي، وقدمت تنفيذات مرجعية بـ Rust و Go و C++.
لحل مشكلة EIP-1962، قدمت Matter Labs عدة EIPs لتقسيم EIP-1962 في فبراير 2020، حيث أن هذه EIPs ورثت جزئيًا واجهة EIP-1962. تشمل هذه EIPs:
EIP-2537 يدعم BLS12-381
EIP-2539 يوفر دعمًا لـ BLS12-377
PR#2541 يوفر دعم منحنى BLS12-377 (Zexe )، ولكن يجب الانتباه إلى أن هذا الاقتراح لم يحصل في النهاية على رقم EIP، ولا يمكن العثور عليه في موقع وثائق EIP الرسمي.
فيما يتعلق بهذه EIPs، فإن الأهم هو EIP-2537، لأن طبقة الإجماع تستخدم أيضًا منحنى BLS12-381. الهدف الأساسي من كل من EIP-1962 و EIP-2537 هو تحقيق التحقق من توقيع BLS في طبقة الإجماع على الشبكة الرئيسية. في ذلك الوقت، كانت ETH2 تعمل على تصميم عقد الإيداع لطبقة الإجماع. عند التصميم الأولي لعقد الإيداع، نظرًا لعدم احتواء طبقة التنفيذ على خوارزمية التحقق من BLS، فلن يتحقق عقد الإيداع من التوقيع، وسيتم التحقق من توقيع BLS بعد إيداع المستخدم من قبل طبقة الإجماع، وإذا تم اكتشاف عدم الصحة (بالنسبة للمحققين الجدد)، سيفشل الإيداع، وسيتم فقدان ETH الذي أودعه المستخدم.
في هذا السياق، يأمل المطورون الأساسيون في إدخال BLS12-381 في العقد الذكي للإيداع لتنفيذ التحقق من التوقيع، لتجنب الخسائر المحتملة لمستخدمي ETH2. وكان هذا أيضًا السبب وراء اهتمام العديد من المطورين بـ EIP-1962 و EIP-2537 في ذلك الوقت.
عندما تم اقتراح EIP-2537 للتو، اكتشف فيتالك على الفور سلسلة من المشكلات الموجودة في EIP:
تركزت هذه الشكوك فقط على محتوى وثيقة EIP، ثم رد مؤلفو EIP على ذلك ونوقش. بعد ذلك، في 6 مارس 2020، تم مناقشة EIP-2537 في اجتماع مطوري Ethereum Core Devs Meeting #82. في هذا الاجتماع، اعتبر فيتاليك أن EIP-2537 وغيرها من EIPs فعالة جداً لإثباتات SNARK التكرارية، وأنها على المدى الطويل لن تضر Ethereum. في الوقت نفسه، أكدت الاجتماع على أولوية EIP-2537، ووافق جميع العملاء على تنفيذ EIP-2537 في أقرب وقت ممكن والتخطيط لإكمال جميع التطويرات قبل ترقية برلين.
بعد ذلك، أصبحت EIP-2537 مهمة ذات أولوية عالية. في 20 مارس 2020، تم مناقشة EIP-2537 كأول اقتراح في اجتماع مطوري Ethereum Core Devs Meeting #83. أكدت هذه الاجتماع أن EIP-2537 ستحل محل EIP-1962 لتصبح الاقتراح الأساسي لـ BLS وتصبح جزءًا من قائمة EIP المسبقة للترقية إلى برلين ( أي Eligibility for Inclusion ( EFI ) ).
في اجتماع مطوري Ethereum الأساسي رقم 84 في أبريل 2020، تم إدراج EIP-2537 رسميًا في ترقية الشوكة الصلبة برلين، وتم تحديد الجدول الزمني لترقية برلين لتحقيقها في أبريل وإجراء الاختبارات في شهري مايو ويونيو. ومن الجدير بالذكر أنه خلال هذا النقاش، تم تصنيف EIP-2537 كأولوية قصوى.
بعد ذلك، دخل EIP-2537 في مرحلة كبيرة من التطوير والاختبار، حيث تم مناقشة EIP-2537 في كل اجتماع من الاجتماعات الرئيسية للمطورين التي عقدت تقريباً 20 مرة لاحقة. بعد ذلك، يمكننا أن نلقي نظرة على المشكلات المتعلقة بـ EIP-2537 التي تم مناقشتها في كل اجتماع.
في اجتماع مطوري الإيثريوم الأساسيين رقم 85، ناقش دانو وآسيك مشكلة ترميز ABI لـ EIP-2537. بعد ذلك، قام المطورون الأساسيون بتحديث حالة التنفيذ الحالية، حيث أن المقترح لـ EIP-2537 Matter Labs قد أكمل بالفعل تنفيذ النسخة بلغة Rust، لذلك أعلن عميل Besu أنه قد نفذ تقريباً وظائف EIP-2537، لكن فريق Geth أشار إلى أنه لا يوجد أحد يعمل حالياً على تنفيذ EIP-2537.
في اجتماع مطوري Ethereum Core #86، تم تحديث تنفيذ EIP-2537 بين تنفيذات عقد Ethereum المختلفة، حيث أفادت Geth بأنها أكملت جزءًا من العمل، لكن لا يزال هناك الكثير من العمل ينتظر الإنجاز.
في الاجتماع رقم 87 لمطوري إيثريوم الأساسيين، كانت النقطة الأكثر أهمية في هذا الاجتماع هي مشكلة تنفيذ EIP-2537. أشار مطورو Geth إلى أنه يوجد حاليًا طلب سحب مكون من 16000 سطر لتنفيذ EIP-2537، ولكن مطوري Geth غير قادرين على تحديد ما إذا كان الطلب آمنًا وفعالًا في تنفيذ EIP-2537، لذلك يمكن للمطورين فقط الاعتماد على اختبارات الضبابية البسيطة لتقييم حالة الكود.
قال مطور Geth: "لذا فإن رد فعلي الأولي هو أنه لا يوجد فرصة أن يكون Geth جاهزًا مع عمليات منحنى BLS لإطلاق الشبكة الرئيسية في يوليو."، مما يعني أن Geth من المرجح جدًا ألا يكمل تطوير EIP-2537 المتعلق قبل الوقت المحدد في برلين.
اقترح هادسون جيمسون البحث عن مهندسين تشفير للمساعدة في مراجعة PR لـ Geth، واقترح أيضًا استخدام شبكة الاختبار لاختبار أمان تنفيذ EIP-2537. نظرًا لأن فريق تطوير ETH2 كان يعمل أيضًا على تنفيذ التحقق من توقيع BLS، فإن فريق ETH2 يمكنه المشاركة في الاختبار.
في هنا، نحتاج إلى إضافة بعض المعرفة الخلفية، وهي أنه تم تنفيذ PR لـ EIP-2537 الخاص بـ Geth لضمان الكفاءة، واستخدمت بشكل كبير تعليمات التجميع، وهذه التعليمات التجميعية صعبة القراءة والفهم للغاية. لذلك اقترح أليكس فلاسوف إزالة تحسينات التجميع المعقدة من داخل PR لتقليل صعوبة المراجعة.
لقد قدمنا في النص السابق أحد الأهداف الأساسية لـ EIP-2537 وهو مساعدة عقد إيداع ETH2، ولكن في الاجتماع الحالي، صرح مطورو عقد الإيداع بعدم استخدام عقد الإيداع EIP-2537 الذي تم تدقيقه، لذلك اقترح بعض المطورين أنه من الأفضل عدم إطلاق عقد إيداع يستخدم EIP-2537.
في النهاية، قررت الاجتماع زيادة شبكة اختبار YOLO، حيث أن جوهر هذه الشبكة هو اختبار EIP-2537. في الواقع، يمكننا أن نرى في هذا الاجتماع أن أهمية EIP-2537 قد انخفضت بشكل كبير مع الانتهاء من عقد الودائع، بينما اعتبر مطورو Geth أن هذه EIP من المحتمل للغاية ألا يتم تنفيذها قبل ترقية برلين. يبدو أن عدم قبول EIP-2537 في ترقية برلين قد أصبح حتميًا.
في اجتماع مطوري إيثريوم الأساسيين #88، اكتشف مطورو Geth وجود سلسلة من المشكلات في PR الخاص بتنفيذ EIP-2537، وأشار المطورون إلى أنهم بحاجة إلى مزيد من الاختبارات والإصلاحات. في هذه الأثناء، يوجد في نظام Geth تنفيذان لـ EIP-2537، أحدهما يتضمن تحسينات تجميعية، بينما الآخر مكتوب بالكامل بلغة Go، وقد اقترح بعض المطورين استخدام النسخة المكتوبة بلغة Go مباشرة لتقليل صعوبة مراجعة الشيفرة.
في اجتماع مطوري إيثريوم الأساسيين رقم 89، حدثت مشكلة أكثر خطورة، حيث ظهرت بعض المشكلات في اختبار YOLO، واشتبه المطورون في أن المشكلة ناتجة عن توقيع BLS، لكن مطوري EIP2537 ردوا على ذلك، معتبرين أن مشكلة الشبكة الاختبارية ليست ناتجة عن توقيع BLS. الخبر الجيد بالنسبة لـ EIP-2537 هو أن عقد الإيداع القائم على EIP-2537 قد اكتمل تطويره بشكل أساسي، والعقد في انتظار تدقيق العقد.
في اجتماع مطوري Ethereum Core Devs Meeting #90内，这次会议锁定了 7 月份上线 Berlin 升级的 DDL。当然，这次会议另一个有趣的论点是客户端多样性问题，在此次会议中，开发者主要讨论了 Geth 占据主导地位的情况，并且有开发者提议冻结当前 EIP 实现来降低其他客户端的开发成本。更加有趣的是，在 #91، اقترح أحد المطورين استخدام خطة معيارية لتقليل تكلفة التطوير لزيادة تنوع العملاء. إذا كان القارئ مهتمًا بتنوع عملاء Ethereum، يمكنه قراءة سجلات هذين الاجتماعين.
في اجتماع مطوري إيثيريوم الأساسيين رقم 92، تم التأكيد مرة أخرى على أن 2537 هو EIP المطلوب لترقية برلين.
في اجتماع مطوري Ethereum Core رقم 96، تم إدراج EIP-2537 و EIP-2539 في ترقية الشبكة الصلبة الخاصة بهم على أساس Celo، لذلك تأمل Matter Labs في إجراء اختبار لـ EIP-2539 المقترح مع EIP-2537 أيضًا على شبكة اختبار YOLO v2 ودخوله في ترقية Berlin. ومع ذلك، عارض مطورو Geth، معتبرين أن EIP-2537 الحالي لم يتم اختباره بالكامل داخل Geth بعد. وفي النهاية، قررت الاجتماع عدم إضافة 2696 في ترقية Berlin، وتركه للنقاش في المستقبل.
في اجتماع مطوري إثيريوم الأساسيين رقم 99، تم اتخاذ قرار بإخراج EIP-2537 من شبكة اختبار YOLO v3 وترقية برلين، والسبب الرئيسي هو أن EIP-2537 أهدر الكثير من وقت المطورين الأساسيين، مما أدى إلى عرقلة تطوير EIPs الأخرى في ترقية برلين. أما العوامل الثانوية فهي أن مؤسسة إيثيريوم اقترحت EVM384 كبديل لـ EIP-2537، حيث يوفر EVM 384 حلاً أكثر عمومية لحسابات المنحنيات البيضاوية. ومع ذلك، أعرب المطورون الأساسيون خلال مناقشة الاجتماع عن مخاوفهم بشأن مسائل الأمان.
المحتوى المذكور أعلاه هو المسار المبكر لـ EIP-2537، يمكننا أن نرى أن EIP-2537 كان واحدًا من أهم EIPs في ترقية برلين في بدايته، ولكن بسبب مشكلات التنفيذ تم التخلي عنه في النهاية. أخيرًا، في أبريل 2021، أكملت إثريوم ترقية برلين، ولم تكن العمليات الفعلية لـ EIP-2565 وغيرها من EIPs الأساسية في الترقية معقدة، يبدو أن ترقية برلين كانت ضعيفة بعض الشيء، وذلك لأن EIP-2537 الأكثر تعقيدًا تم استبعاده من ترقية برلين.
التطورات المستقبلية
من المعروف أن كل ترقية لإيثريوم تأتي مع اقتراح أساسي، مثل ترقية برلين التي تلتها ترقية لندن التي أدت إلى تقديم اقتراح رسوم المعاملات الأكثر أهمية في تاريخ إيثريوم EIP-1559. بالنسبة لـ EIP-2537 الذي كان اقتراحًا أساسيًا في السابق، كانت الترقيات اللاحقة صعبة في تضمين هذا الاقتراح.
في ترقية لندن بعد برلين، قام المطورون في issues#369曾考虑在 London 升级中增加 EIP-2537。在Ethereum Core Devs Meeting #109 بمزامنة حالة تطوير EIP-2537 الحالية، وفي ذلك الوقت، نظرًا لاستخدام مكتبات أخرى لتنفيذ EIP-2537، تم إدخال مناقشة حول استخدام الغاز في EIP-2537. بينما اقترح بعض المطورين استبدال EIP-2537 بـ EVM384. ولكن في اجتماع مطوري Ethereum Core #111 في أبريل 2021، تم استبعاد EIP-2537 من ترقية لندن بسبب تعقيده. تكمن التعقيدات الأساسية في أن التنفيذ القياسي لـ EIP-2537 قد غير المكتبات المعتمدة، مما أدى إلى احتمال حدوث تغييرات في تسعير الغاز، وأن تنفيذات العملاء المختلفة تحتاج إلى وقت كافٍ لإعادة تقييم استهلاك الغاز.
في يونيو 2021، تم طرح إدراج EIP-2537 في ترقية شنغهاي بشكل رسمي في القضايا#343. ومع ذلك، من المهم ملاحظة أنه بعد ترقية لندن، استحوذت ترقية Pairs، المعروفة أيضًا باسم الاندماج، على وقت كبير من المطورين، حيث كان يحتاج مطورو طبقة التنفيذ إلى كتابة كمية كبيرة من التعليمات البرمجية لتنفيذ ترقية PoS. في سبتمبر 2022، اكتملت ترقية Pairs، وأخيرًا حصل مطورو طبقة التنفيذ على فرصة لمواصلة مناقشة بعض أهداف ترقية شنغهاي.
في نوفمبر 2022، تمت مناقشة موجزة حول إدراج EIP-2537 في ترقية شانغهاي خلال اجتماع مطوري إيثريوم الأساسي #150، لكن المطورين اعتبروا أن EIP-2537 يحتاج إلى تأجيل، حيث أن جوهر ترقية شانغهاي هو دعم سحب PoS. في النهاية، لم يتم إدراج EIP-2537 في ترقية شانغهاي التي تركز على وظيفة السحب.
أسوأ من ذلك هو أن ترقية كانكون لم تناقش أبداً EIP-2537، لأن جوهر ترقية كانكون هو دعم عقد الطبقة التنفيذية لـ EIP-4844. يوفر EIP-4844 Blob للطبقة الثانية من إيثريوم لتسهيل استخدام الطبقة الثانية لإيثريوم كطبقة بيانات متاحة.
أخيراً، في اجتماع مطوري إيثريوم الأساسيين #181 في فبراير 2024، ناقش المطورون تضمين EIP-2537 في ترقية Pectra، وفي هذا الوقت اعتقد المطورون أن تنفيذ EIP-2537 لم يعد مشكلة، فقط بعض المشكلات تتعلق بتسعير استهلاك الغاز.
في اجتماع مطوري Ethereum Core في 19 ديسمبر 2024 #202内，Nethermind 开发者最终确定了 EIP-2537 的定价模型。是的，作为 EIP-2537 的最初提案者 Matter Labs 此时已经近乎退出了讨论。在随后的，2025 年 1 月的Ethereum Core Devs Meeting #203، ناقش المطورون إعادة تسعير BLS المسبق، واقترح مطور Geth جاريد وازينجر رفع تكلفة الغاز بنسبة 20%، وقد حصل ذلك على دعم من فريق Besu في الاختبارات المرجعية.
ملخص
| التاريخ | الحدث |
| --- | --- |
| فبراير 2020 | تم تقديم EIP-1962 رسميًا EIP-2537 |
| أبريل 2020 - أكتوبر 2020 | تم مناقشة مشكلات تنفيذ EIP-2537 في عدة اجتماعات للمطورين، وفي النهاية تم التخلي عنه بسبب عدم القدرة على تنفيذه في ترقية برلين |
| مارس 2021 - أبريل 2021 | ناقشت اجتماعات المطورين مشكلة تكلفة الغاز EIP-2537، وفي النهاية تم التخلي عنها بسبب تعقيدها في ترقية لندن |
| نوفمبر 2022 | اجتماع المطورين لمناقشة ما إذا كان يجب تضمين ترقية شنغهاي، دون جدوى |
| فبراير 2024 | يعتقد المطورون أن EIP-2537 ليس لديه أي مشاكل في التنفيذ، ولكن لا يزال هناك بعض مشاكل تكاليف الغاز، ويعتقد أنه يمكن تضمينه في ترقية Pectra |
| ديسمبر 2024 - يناير 2025 | مناقشة نموذج حساب التكلفة المحدد في مؤتمر المطورين، وحل مشكلة تكلفة EIP-2537 بشكل رسمي |
من الواضح أن ما إذا كانت EIP ستدرج في ترقية الإيثيريوم "بالطبع يعتمد على الكفاح الذاتي، ولكن يجب أيضًا أخذ مسار التاريخ في الاعتبار". كل ترقية للإيثيريوم لها موضوع خاص بها، تمامًا كما كانت EIP-2537 ذات يوم أهم EIP في ترقية برلين، ولكن تم التخلي عنها بسبب صعوبة تنفيذها وتعقيدها. بعد ذلك، دخل الإيثيريوم في مسار تاريخ PoS، حيث لم تحظى EIPs المعقدة التي تركز فقط على طبقة التنفيذ بالاهتمام، بينما تم اعتبار العديد من EIPs التنفيذية المرتبطة بـ PoS أهداف ترقية أساسية، مما أدى إلى عدم قبول EIP-2537 لفترة طويلة.
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
إثيريوم حكم المراقبة: مسار التجميع المسبق EIP-2537
المؤلف: shew
نظرة عامة
EIP-2537 هو أحدث تعليمات تجميع مسبق لـ EVM التي تم تحديدها للإضافة في ترقية الانقسام Pectra. تضيف هذه التعليمات مجموعة متنوعة من وظائف الحساب لمنحنى BLS12-381 لـ EVM، مثل حساب الاقتران على مجال المنحنى وغيرها.
تم تقديم EIP-2573 لأول مرة في عام 2020، ولم يتم تأكيد إضافته إلى ترقية الإيثيريوم حتى عام 2025. يركز هذا المقال بشكل أساسي على تاريخ حوكمة EIP-2537، ويستكشف لماذا استغرق الأمر 5 سنوات لإدراج هذا الاقتراح في الترقية.
خلفية الاقتراح
في يناير 2017، قدم فيتاليك بوتيرين في Exploring Elliptic Curve Pairings خوارزمية الاقتران ومنحنى
alt_bn128. ثم في فبراير 2017، اقترح فيتاليك بوتيرين وكريستيان ريتفيسنر مقترحي EIP-196 وEIP-197، وكان محتوى الاقتراح هو إضافة دعم حساب منحنىalt_bn128إلى EVM.في ترقية بيزانتيوم في أكتوبر 2017، تم تضمين منحنى
alt_bn128رسميًا. ببساطة، حققalt_bn128لأول مرة حسابات زوجية على مجال المنحنى داخل EVM، مما جعل التحقق من إثباتات ZK-Snarks ممكنًا داخل EVM.لكن مع تطور علم التشفير، في نوفمبر 2017، قدم فريق تطوير zcash في BLS12-381: New zk-SNARK Elliptic Curve Construction لأول مرة منحنى
BLS12-381. بالمقارنة معalt_bn128، فإنBLS12-381يتمتع بأمان أعلى وأداء أفضل. استخدمت العديد من بروتوكولات البلوكشين بعد ذلك منحنىBLS12-381وتخلت عن منحنىalt_bn128.في مايو 2018 ، نشر جاستن دريك مقالة تجميع التوقيع العملي مع BLS في ethresear ، مشيرا إلى أن ترقيات PoS و shard المستقبلية على Ethereum يمكن أن تستخدم خوارزمية BLS multisig بناء على منحنى "BLS12-381". في ذلك الوقت ، أراد باحثو Ethereum استخدام EIP-1011 لحل مشكلة طبقة الإجماع ، لكن مخطط EIP-1011 يمكن أن يستوعب ما يصل إلى 900 مدقق ، لذلك تم تعيين حجم حصة ضخم يبلغ 1,500 ETH لكل مدقق. مع إدخال مخطط BLS multisig ، انسحب EIP-1011 من مرحلة التاريخ. كما اتضح ، انتهت ترقيات ETH2 اللاحقة أيضا باستخدام منحنى "BLS12-381".
مع تطوير ETH2، تم الدعوة إلى إدخال طبقة تنفيذ ETH باستخدام
BLS12-381المستخدمة في ETH2. في فبراير 2020، اقترح بعض الباحثين EIP-2537، وكانوا يأملون أن يتم قبول هذا الاقتراح للاختبار مع شبكة اختبار ETH2. دعا مؤلف EIP-2537 أليكس ستوكز في مقال "ما تحتاجه eth2 من eth1 خلال الستة أشهر القادمة" إلى إدراج EIP-2537 في الانقسام الصلب في برلين.من المثير للاهتمام أن مؤلف EIP-2537 هو أيضًا أحد مؤسسي Matter Labs، والتي تُعرف بأشهر منتجاتها ZKSync.
برلين الاضطرابات
قبل أن نقدم المحتوى التالي، نحتاج أولاً إلى تقديم EIP-1962. EIP-1962 هو الاقتراح الأول الذي قدمته Matter Labs في أبريل 2019 بشأن تجميع مسبق لمطابقة المجال المنحني البيضاوي، ويدعم هذا الاقتراح ثلاث منحنيات، وهي:
يستعد هذا EIP لزيادة 10 تعليمات تجميع مسبقة بشكل مرة واحدة لمعالجة منحنيات مختلفة. ومع ذلك، بعد ولادة هذا الاقتراح، تساءل عدد كبير من المطورين عن مدى تعقيد الاقتراح، مما يجعل من الصعب على المطورين تنفيذه. وبالإضافة إلى ذلك، فإن EIP1962، بفضل عموميته العالية، يعتبر أمرًا مزعجًا للمهندسين الذين يعملون على العقود الذكية عند استدعائه. بالطبع، بصفتها مقدمة EIP-1962، أكملت Matter Labs فعليًا العمل على تطوير خوارزمية منحنى بيضاوي، وقدمت تنفيذات مرجعية بـ Rust و Go و C++.
لحل مشكلة EIP-1962، قدمت Matter Labs عدة EIPs لتقسيم EIP-1962 في فبراير 2020، حيث أن هذه EIPs ورثت جزئيًا واجهة EIP-1962. تشمل هذه EIPs:
فيما يتعلق بهذه EIPs، فإن الأهم هو EIP-2537، لأن طبقة الإجماع تستخدم أيضًا منحنى BLS12-381. الهدف الأساسي من كل من EIP-1962 و EIP-2537 هو تحقيق التحقق من توقيع BLS في طبقة الإجماع على الشبكة الرئيسية. في ذلك الوقت، كانت ETH2 تعمل على تصميم عقد الإيداع لطبقة الإجماع. عند التصميم الأولي لعقد الإيداع، نظرًا لعدم احتواء طبقة التنفيذ على خوارزمية التحقق من BLS، فلن يتحقق عقد الإيداع من التوقيع، وسيتم التحقق من توقيع BLS بعد إيداع المستخدم من قبل طبقة الإجماع، وإذا تم اكتشاف عدم الصحة (بالنسبة للمحققين الجدد)، سيفشل الإيداع، وسيتم فقدان ETH الذي أودعه المستخدم.
في هذا السياق، يأمل المطورون الأساسيون في إدخال BLS12-381 في العقد الذكي للإيداع لتنفيذ التحقق من التوقيع، لتجنب الخسائر المحتملة لمستخدمي ETH2. وكان هذا أيضًا السبب وراء اهتمام العديد من المطورين بـ EIP-1962 و EIP-2537 في ذلك الوقت.
عندما تم اقتراح EIP-2537 للتو، اكتشف فيتالك على الفور سلسلة من المشكلات الموجودة في EIP:
تركزت هذه الشكوك فقط على محتوى وثيقة EIP، ثم رد مؤلفو EIP على ذلك ونوقش. بعد ذلك، في 6 مارس 2020، تم مناقشة EIP-2537 في اجتماع مطوري Ethereum Core Devs Meeting #82. في هذا الاجتماع، اعتبر فيتاليك أن EIP-2537 وغيرها من EIPs فعالة جداً لإثباتات SNARK التكرارية، وأنها على المدى الطويل لن تضر Ethereum. في الوقت نفسه، أكدت الاجتماع على أولوية EIP-2537، ووافق جميع العملاء على تنفيذ EIP-2537 في أقرب وقت ممكن والتخطيط لإكمال جميع التطويرات قبل ترقية برلين.
بعد ذلك، أصبحت EIP-2537 مهمة ذات أولوية عالية. في 20 مارس 2020، تم مناقشة EIP-2537 كأول اقتراح في اجتماع مطوري Ethereum Core Devs Meeting #83. أكدت هذه الاجتماع أن EIP-2537 ستحل محل EIP-1962 لتصبح الاقتراح الأساسي لـ BLS وتصبح جزءًا من قائمة EIP المسبقة للترقية إلى برلين ( أي Eligibility for Inclusion ( EFI ) ).
في اجتماع مطوري Ethereum الأساسي رقم 84 في أبريل 2020، تم إدراج EIP-2537 رسميًا في ترقية الشوكة الصلبة برلين، وتم تحديد الجدول الزمني لترقية برلين لتحقيقها في أبريل وإجراء الاختبارات في شهري مايو ويونيو. ومن الجدير بالذكر أنه خلال هذا النقاش، تم تصنيف EIP-2537 كأولوية قصوى.
بعد ذلك، دخل EIP-2537 في مرحلة كبيرة من التطوير والاختبار، حيث تم مناقشة EIP-2537 في كل اجتماع من الاجتماعات الرئيسية للمطورين التي عقدت تقريباً 20 مرة لاحقة. بعد ذلك، يمكننا أن نلقي نظرة على المشكلات المتعلقة بـ EIP-2537 التي تم مناقشتها في كل اجتماع.
في اجتماع مطوري الإيثريوم الأساسيين رقم 85، ناقش دانو وآسيك مشكلة ترميز ABI لـ EIP-2537. بعد ذلك، قام المطورون الأساسيون بتحديث حالة التنفيذ الحالية، حيث أن المقترح لـ EIP-2537 Matter Labs قد أكمل بالفعل تنفيذ النسخة بلغة Rust، لذلك أعلن عميل Besu أنه قد نفذ تقريباً وظائف EIP-2537، لكن فريق Geth أشار إلى أنه لا يوجد أحد يعمل حالياً على تنفيذ EIP-2537.
في اجتماع مطوري Ethereum Core #86، تم تحديث تنفيذ EIP-2537 بين تنفيذات عقد Ethereum المختلفة، حيث أفادت Geth بأنها أكملت جزءًا من العمل، لكن لا يزال هناك الكثير من العمل ينتظر الإنجاز.
في الاجتماع رقم 87 لمطوري إيثريوم الأساسيين، كانت النقطة الأكثر أهمية في هذا الاجتماع هي مشكلة تنفيذ EIP-2537. أشار مطورو Geth إلى أنه يوجد حاليًا طلب سحب مكون من 16000 سطر لتنفيذ EIP-2537، ولكن مطوري Geth غير قادرين على تحديد ما إذا كان الطلب آمنًا وفعالًا في تنفيذ EIP-2537، لذلك يمكن للمطورين فقط الاعتماد على اختبارات الضبابية البسيطة لتقييم حالة الكود.
قال مطور Geth: "لذا فإن رد فعلي الأولي هو أنه لا يوجد فرصة أن يكون Geth جاهزًا مع عمليات منحنى BLS لإطلاق الشبكة الرئيسية في يوليو."، مما يعني أن Geth من المرجح جدًا ألا يكمل تطوير EIP-2537 المتعلق قبل الوقت المحدد في برلين.
اقترح هادسون جيمسون البحث عن مهندسين تشفير للمساعدة في مراجعة PR لـ Geth، واقترح أيضًا استخدام شبكة الاختبار لاختبار أمان تنفيذ EIP-2537. نظرًا لأن فريق تطوير ETH2 كان يعمل أيضًا على تنفيذ التحقق من توقيع BLS، فإن فريق ETH2 يمكنه المشاركة في الاختبار.
في هنا، نحتاج إلى إضافة بعض المعرفة الخلفية، وهي أنه تم تنفيذ PR لـ EIP-2537 الخاص بـ Geth لضمان الكفاءة، واستخدمت بشكل كبير تعليمات التجميع، وهذه التعليمات التجميعية صعبة القراءة والفهم للغاية. لذلك اقترح أليكس فلاسوف إزالة تحسينات التجميع المعقدة من داخل PR لتقليل صعوبة المراجعة.
لقد قدمنا في النص السابق أحد الأهداف الأساسية لـ EIP-2537 وهو مساعدة عقد إيداع ETH2، ولكن في الاجتماع الحالي، صرح مطورو عقد الإيداع بعدم استخدام عقد الإيداع EIP-2537 الذي تم تدقيقه، لذلك اقترح بعض المطورين أنه من الأفضل عدم إطلاق عقد إيداع يستخدم EIP-2537.
في النهاية، قررت الاجتماع زيادة شبكة اختبار YOLO، حيث أن جوهر هذه الشبكة هو اختبار EIP-2537. في الواقع، يمكننا أن نرى في هذا الاجتماع أن أهمية EIP-2537 قد انخفضت بشكل كبير مع الانتهاء من عقد الودائع، بينما اعتبر مطورو Geth أن هذه EIP من المحتمل للغاية ألا يتم تنفيذها قبل ترقية برلين. يبدو أن عدم قبول EIP-2537 في ترقية برلين قد أصبح حتميًا.
في اجتماع مطوري إيثريوم الأساسيين #88، اكتشف مطورو Geth وجود سلسلة من المشكلات في PR الخاص بتنفيذ EIP-2537، وأشار المطورون إلى أنهم بحاجة إلى مزيد من الاختبارات والإصلاحات. في هذه الأثناء، يوجد في نظام Geth تنفيذان لـ EIP-2537، أحدهما يتضمن تحسينات تجميعية، بينما الآخر مكتوب بالكامل بلغة Go، وقد اقترح بعض المطورين استخدام النسخة المكتوبة بلغة Go مباشرة لتقليل صعوبة مراجعة الشيفرة.
في اجتماع مطوري إيثريوم الأساسيين رقم 89، حدثت مشكلة أكثر خطورة، حيث ظهرت بعض المشكلات في اختبار YOLO، واشتبه المطورون في أن المشكلة ناتجة عن توقيع BLS، لكن مطوري EIP2537 ردوا على ذلك، معتبرين أن مشكلة الشبكة الاختبارية ليست ناتجة عن توقيع BLS. الخبر الجيد بالنسبة لـ EIP-2537 هو أن عقد الإيداع القائم على EIP-2537 قد اكتمل تطويره بشكل أساسي، والعقد في انتظار تدقيق العقد.
في اجتماع مطوري Ethereum Core Devs Meeting #90内，这次会议锁定了 7 月份上线 Berlin 升级的 DDL。当然，这次会议另一个有趣的论点是客户端多样性问题，在此次会议中，开发者主要讨论了 Geth 占据主导地位的情况，并且有开发者提议冻结当前 EIP 实现来降低其他客户端的开发成本。更加有趣的是，在 #91، اقترح أحد المطورين استخدام خطة معيارية لتقليل تكلفة التطوير لزيادة تنوع العملاء. إذا كان القارئ مهتمًا بتنوع عملاء Ethereum، يمكنه قراءة سجلات هذين الاجتماعين.
في اجتماع مطوري إيثيريوم الأساسيين رقم 92، تم التأكيد مرة أخرى على أن 2537 هو EIP المطلوب لترقية برلين.
في اجتماع مطوري Ethereum Core رقم 96، تم إدراج EIP-2537 و EIP-2539 في ترقية الشبكة الصلبة الخاصة بهم على أساس Celo، لذلك تأمل Matter Labs في إجراء اختبار لـ EIP-2539 المقترح مع EIP-2537 أيضًا على شبكة اختبار YOLO v2 ودخوله في ترقية Berlin. ومع ذلك، عارض مطورو Geth، معتبرين أن EIP-2537 الحالي لم يتم اختباره بالكامل داخل Geth بعد. وفي النهاية، قررت الاجتماع عدم إضافة 2696 في ترقية Berlin، وتركه للنقاش في المستقبل.
في اجتماع مطوري إثيريوم الأساسيين رقم 99، تم اتخاذ قرار بإخراج EIP-2537 من شبكة اختبار YOLO v3 وترقية برلين، والسبب الرئيسي هو أن EIP-2537 أهدر الكثير من وقت المطورين الأساسيين، مما أدى إلى عرقلة تطوير EIPs الأخرى في ترقية برلين. أما العوامل الثانوية فهي أن مؤسسة إيثيريوم اقترحت EVM384 كبديل لـ EIP-2537، حيث يوفر EVM 384 حلاً أكثر عمومية لحسابات المنحنيات البيضاوية. ومع ذلك، أعرب المطورون الأساسيون خلال مناقشة الاجتماع عن مخاوفهم بشأن مسائل الأمان.
المحتوى المذكور أعلاه هو المسار المبكر لـ EIP-2537، يمكننا أن نرى أن EIP-2537 كان واحدًا من أهم EIPs في ترقية برلين في بدايته، ولكن بسبب مشكلات التنفيذ تم التخلي عنه في النهاية. أخيرًا، في أبريل 2021، أكملت إثريوم ترقية برلين، ولم تكن العمليات الفعلية لـ EIP-2565 وغيرها من EIPs الأساسية في الترقية معقدة، يبدو أن ترقية برلين كانت ضعيفة بعض الشيء، وذلك لأن EIP-2537 الأكثر تعقيدًا تم استبعاده من ترقية برلين.
التطورات المستقبلية
من المعروف أن كل ترقية لإيثريوم تأتي مع اقتراح أساسي، مثل ترقية برلين التي تلتها ترقية لندن التي أدت إلى تقديم اقتراح رسوم المعاملات الأكثر أهمية في تاريخ إيثريوم EIP-1559. بالنسبة لـ EIP-2537 الذي كان اقتراحًا أساسيًا في السابق، كانت الترقيات اللاحقة صعبة في تضمين هذا الاقتراح.
في ترقية لندن بعد برلين، قام المطورون في issues#369曾考虑在 London 升级中增加 EIP-2537。在Ethereum Core Devs Meeting #109 بمزامنة حالة تطوير EIP-2537 الحالية، وفي ذلك الوقت، نظرًا لاستخدام مكتبات أخرى لتنفيذ EIP-2537، تم إدخال مناقشة حول استخدام الغاز في EIP-2537. بينما اقترح بعض المطورين استبدال EIP-2537 بـ EVM384. ولكن في اجتماع مطوري Ethereum Core #111 في أبريل 2021، تم استبعاد EIP-2537 من ترقية لندن بسبب تعقيده. تكمن التعقيدات الأساسية في أن التنفيذ القياسي لـ EIP-2537 قد غير المكتبات المعتمدة، مما أدى إلى احتمال حدوث تغييرات في تسعير الغاز، وأن تنفيذات العملاء المختلفة تحتاج إلى وقت كافٍ لإعادة تقييم استهلاك الغاز.
في يونيو 2021، تم طرح إدراج EIP-2537 في ترقية شنغهاي بشكل رسمي في القضايا#343. ومع ذلك، من المهم ملاحظة أنه بعد ترقية لندن، استحوذت ترقية Pairs، المعروفة أيضًا باسم الاندماج، على وقت كبير من المطورين، حيث كان يحتاج مطورو طبقة التنفيذ إلى كتابة كمية كبيرة من التعليمات البرمجية لتنفيذ ترقية PoS. في سبتمبر 2022، اكتملت ترقية Pairs، وأخيرًا حصل مطورو طبقة التنفيذ على فرصة لمواصلة مناقشة بعض أهداف ترقية شنغهاي.
في نوفمبر 2022، تمت مناقشة موجزة حول إدراج EIP-2537 في ترقية شانغهاي خلال اجتماع مطوري إيثريوم الأساسي #150، لكن المطورين اعتبروا أن EIP-2537 يحتاج إلى تأجيل، حيث أن جوهر ترقية شانغهاي هو دعم سحب PoS. في النهاية، لم يتم إدراج EIP-2537 في ترقية شانغهاي التي تركز على وظيفة السحب.
أسوأ من ذلك هو أن ترقية كانكون لم تناقش أبداً EIP-2537، لأن جوهر ترقية كانكون هو دعم عقد الطبقة التنفيذية لـ EIP-4844. يوفر EIP-4844 Blob للطبقة الثانية من إيثريوم لتسهيل استخدام الطبقة الثانية لإيثريوم كطبقة بيانات متاحة.
أخيراً، في اجتماع مطوري إيثريوم الأساسيين #181 في فبراير 2024، ناقش المطورون تضمين EIP-2537 في ترقية Pectra، وفي هذا الوقت اعتقد المطورون أن تنفيذ EIP-2537 لم يعد مشكلة، فقط بعض المشكلات تتعلق بتسعير استهلاك الغاز.
في اجتماع مطوري Ethereum Core في 19 ديسمبر 2024 #202内，Nethermind 开发者最终确定了 EIP-2537 的定价模型。是的，作为 EIP-2537 的最初提案者 Matter Labs 此时已经近乎退出了讨论。在随后的，2025 年 1 月的Ethereum Core Devs Meeting #203، ناقش المطورون إعادة تسعير BLS المسبق، واقترح مطور Geth جاريد وازينجر رفع تكلفة الغاز بنسبة 20%، وقد حصل ذلك على دعم من فريق Besu في الاختبارات المرجعية.
ملخص
| التاريخ | الحدث | | --- | --- | | فبراير 2020 | تم تقديم EIP-1962 رسميًا EIP-2537 | | أبريل 2020 - أكتوبر 2020 | تم مناقشة مشكلات تنفيذ EIP-2537 في عدة اجتماعات للمطورين، وفي النهاية تم التخلي عنه بسبب عدم القدرة على تنفيذه في ترقية برلين | | مارس 2021 - أبريل 2021 | ناقشت اجتماعات المطورين مشكلة تكلفة الغاز EIP-2537، وفي النهاية تم التخلي عنها بسبب تعقيدها في ترقية لندن | | نوفمبر 2022 | اجتماع المطورين لمناقشة ما إذا كان يجب تضمين ترقية شنغهاي، دون جدوى | | فبراير 2024 | يعتقد المطورون أن EIP-2537 ليس لديه أي مشاكل في التنفيذ، ولكن لا يزال هناك بعض مشاكل تكاليف الغاز، ويعتقد أنه يمكن تضمينه في ترقية Pectra | | ديسمبر 2024 - يناير 2025 | مناقشة نموذج حساب التكلفة المحدد في مؤتمر المطورين، وحل مشكلة تكلفة EIP-2537 بشكل رسمي |
من الواضح أن ما إذا كانت EIP ستدرج في ترقية الإيثيريوم "بالطبع يعتمد على الكفاح الذاتي، ولكن يجب أيضًا أخذ مسار التاريخ في الاعتبار". كل ترقية للإيثيريوم لها موضوع خاص بها، تمامًا كما كانت EIP-2537 ذات يوم أهم EIP في ترقية برلين، ولكن تم التخلي عنها بسبب صعوبة تنفيذها وتعقيدها. بعد ذلك، دخل الإيثيريوم في مسار تاريخ PoS، حيث لم تحظى EIPs المعقدة التي تركز فقط على طبقة التنفيذ بالاهتمام، بينما تم اعتبار العديد من EIPs التنفيذية المرتبطة بـ PoS أهداف ترقية أساسية، مما أدى إلى عدم قبول EIP-2537 لفترة طويلة.