EIP-2537 هو أمر تجميع مسبق لـ EVM تم تحديده للإضافة في ترقية الانقسام الأخيرة لـ Pectra. يضيف هذا الأمر العديد من وظائف الحساب على منحنى BLS12-381 إلى EVM، بما في ذلك حساب الاقترانات على مجال المنحنى.
تم تقديم EIP-2573 في الأصل في عام 2020، وحتى عام 2025 لم يتم تأكيد إدراجه في ترقية إثيريوم. ستقدم هذه المقالة تاريخ حوكمة EIP-2537، وتناقش لماذا استغرق الأمر 5 سنوات لإدراج هذا الاقتراح في الترقية.
خلفية الاقتراح
في يناير 2017، قدم فيتاليك بوتيرين لأول مرة خوارزمية الاقتران ومنحنى alt_bn128. بعد ذلك، اقترح فيتاليك وكريستيان ريتفيسنر EIP-196 وEIP-197، لإضافة دعم حساب منحنى alt_bn128 إلى EVM. في ترقية بيزنطية في أكتوبر 2017، تم دمج منحنى alt_bn128 رسميًا، مما حقق حساب الاقتران في مجال المنحنى داخل EVM، مما جعل التحقق من إثبات ZK-Snarks ممكنًا داخل EVM.
في نوفمبر 2017، قدم فريق zcash منحنى BLS12-381، والذي يتمتع بأمان وأداء أعلى مقارنةً بمنحنى alt_bn128. وقد اعتمدت العديد من بروتوكولات blockchain لاحقًا منحنى BLS12-381، متخليةً عن منحنى alt_bn128.
في مايو 2018، أشار جاستين دريك إلى أن ترقية PoS والتقسيم المستقبلية للإيثريوم يمكن أن تستخدم خوارزمية BLS المتعددة التوقيع المستندة إلى منحنى BLS12-381. وقد أدى ذلك إلى خروج خطة EIP-1011 السابقة من المسرح، واعتمدت ترقية ETH2 اللاحقة أخيرًا على منحنى BLS12-381.
مع تطوير ETH2، تزايدت الدعوات لإدخال BLS12-381 إلى طبقة تنفيذ ETH. في فبراير 2020، اقترح بعض الباحثين EIP-2537، على أمل اختباره مع شبكة اختبار ETH2. دعا مؤلف EIP-2537، أليكس ستوكز، إلى تضمينه في الانقسام الصلب برلين.
من المثير للاهتمام أن مؤلف EIP-2537 هو أيضًا أحد مؤسسي Matter Labs، وأشهر منتج لـ Matter Labs هو ZKSync.
قبل تقديم المحتوى اللاحق، يجب أن نذكر EIP-1962. هذا هو أول اقتراح مسبق للتجميع (precompile) لمجال منحنى بيضاوي تم تقديمه من قبل Matter Labs في أبريل 2019، ويدعم ثلاثة منحنيات: BLS12 و BN و MNT4/6. يخطط هذا EIP لزيادة 10 تعليمات مسبقة لمعالجة منحنيات مختلفة دفعة واحدة. لكن العديد من المطورين يشكون من أن الاقتراح معقد للغاية وصعب التنفيذ، كما أنه غير مريح لمهندسي العقود الذكية. بصفتها الجهة المقدمة للاقتراح، أكملت Matter Labs تطوير خوارزمية منحنى بيضاوي، وقدمت تنفيذات مرجعية متعددة اللغات.
لحل مشكلة EIP-1962، اقترحت Matter Labs في فبراير 2020 تقسيم عدة EIPs من EIP-1962، مع بعض الوراثة من واجهته:
EIP-2537 يوفر دعم BLS12-381
EIP-2539 يوفر دعم BLS12-377
PR#2541 يوفر دعم منحنى BLS12-377(Zexe )، لكن لم يحصل على رقم EIP.
من بين جميعها، يعتبر EIP-2537 الأكثر أهمية، لأنه يستخدم أيضًا منحنى BLS12-381 في طبقة الإجماع. الهدف الرئيسي من EIP-1962 و EIP-2537 هو تحقيق تحقق من توقيع BLS في طبقة الإجماع على الشبكة الرئيسية. في ذلك الوقت، كانت ETH2 تقوم بتطوير عقد الإيداع، ولكن نظرًا لافتقار طبقة التنفيذ إلى خوارزمية تحقق BLS، لم يتحقق عقد الإيداع من التوقيع كما كان مصممًا في الأصل، بل كان يتم التحقق منه بواسطة طبقة الإجماع، وإذا تم اكتشاف عدم صحة، فقد يؤدي ذلك إلى خسارة أموال المستخدم.
في هذا السياق، يأمل المطورون الرئيسيون في إدخال BLS12-381 كودًا مسبقًا للتحقق من التوقيعات داخل عقد الإيداع، لتجنب خسارة أموال المستخدمين المحتملة. كانت هذه هي الأسباب التي جعلت عددًا كبيرًا من المطورين مهتمين بـ EIP-1962 و EIP-2537.
عندما تم اقتراح EIP-2537 لأول مرة، أشار فيتاليك إلى وجود مجموعة من المشاكل، تركزت بشكل رئيسي على محتوى وثيقة EIP. بعد ذلك، قام المؤلف بالرد ومناقشة الأمر. في اجتماع مطوري النواة في 6 مارس 2020، اعتقد فيتاليك أن EIP-2537 وما شابهها فعالة للغاية في إثبات SNARK التكراري، على المدى الطويل لن تضر إثيريوم. أكد الاجتماع على أولوية EIP-2537، واتفقت جميع العملاء على تنفيذها في أقرب وقت ممكن، وتم التخطيط لإكمال التطوير قبل ترقية برلين.
بعد ذلك أصبحت EIP-2537 مهمة ذات أولوية عالية. أكدت اجتماع 20 مارس أن EIP-2537 ستستبدل EIP-1962 لتصبح الاقتراح الأساسي ل BLS وتدخل قائمة الترشيحات لترقية Berlin. أكد اجتماع أبريل رسميًا إدراج EIP-2537 في ترقية الانقسام الصلب Berlin، وحددت الجدول الزمني للتنفيذ في أبريل والاختبار في مايو - يونيو، وأدرجته كمسألة ذات أولوية قصوى.
بعد ذلك، دخل EIP-2537 مرحلة تطوير واختبار مكثفة، حيث كانت هناك مناقشات ذات صلة في كل اجتماع تقريبًا لمطوري النواة في حوالي 20 مناسبة لاحقة. تشمل المحتويات الرئيسية:
مناقشة مشكلة ترميز ABI
تزامن تقدم التنفيذ عبر العملاء
تنفيذ Geth PR يحتوي على 16000 سطر من الشيفرة، مما يجعل من الصعب تحديد السلامة والفعالية
المطورون يذكرون أن Geth من الصعب أن يكتمل تطوير EIP-2537 قبل يوليو
اقتراح البحث عن مهندسي التشفير لمساعدة في مراجعة PR، واستخدام شبكة الاختبار لاختبار الأمان
مناقشة ما إذا كان يجب إزالة تحسينات التجميع المعقدة لتقليل صعوبة المراجعة
قال مطور عقد الإيداع إنه تم الانتهاء من تدقيق النسخة التي لا تستخدم EIP-2537، ويفكرون في عدم إصدار النسخة التي تستخدم EIP-2537.
قررت زيادة شبكة اختبار YOLO لاختبار EIP-2537 بشكل خاص
من هنا يمكن أن نرى أن أهمية EIP-2537 قد انخفضت بشكل كبير بعد إكمال عقد الإيداع، ويعتقد مطورو Geth أنه من الصعب تحقيق ذلك قبل برلين. يبدو أن عدم قبول EIP-2537 في برلين قد أصبح واقعًا.
ظهرت المزيد من المشكلات في الاجتماعات اللاحقة:
Geth اكتشف وجود مشكلة في تنفيذ PR لـ EIP-2537، يحتاج إلى مزيد من الاختبارات والإصلاح.
ظهرت مشكلة في شبكة اختبار YOLO، ويشتبه في أنها مرتبطة بتوقيع BLS
مناقشة مشكلة تنوع العملاء، والنظر في تجميد تنفيذ EIP الحالي لتقليل تكاليف تطوير العملاء الآخرين.
تأمل Matter Labs في تضمين EIP-2539 في الاختبار، لكن واجهت معارضة من مطوري Geth.
في الاجتماع الأخير للمطورين الأساسيين رقم 99، تم اتخاذ قرار بإخراج EIP-2537 من شبكة اختبار YOLO v3 وترقية برلين. السبب الرئيسي هو أن EIP-2537 استهلك الكثير من وقت المطورين الأساسيين، مما أدى إلى عرقلة تطوير EIPs الأخرى. العامل الثانوي هو أن مؤسسة إيثريوم اقترحت EVM384 كبديل.
في أبريل 2021، أكملت إثيريوم ترقية برلين، حيث لم تكن التنفيذات الأساسية مثل EIP-2565 معقدة، وكانت الترقية تبدو ضعيفة قليلاً، وذلك لأن EIP-2537 الأكثر تعقيدًا تم استبعاده.
! [مراقبة حوكمة Ethereum: رحلة ما قبل التجميع EIP-2537](https://img-cdn.gateio.im/webp-social/moments-3198079b11f21298df05682606409838.webp019283746574839201
التطورات اللاحقة
تحديث لندن بعد برلين، حيث كان المطورون يفكرون في إضافة EIP-2537، لكن بسبب تغيير المكتبات المعتمدة قد يتغير تسعير الغاز، وفي النهاية تم التخلي عنها مرة أخرى بسبب التعقيد.
في يونيو 2021، تم اقتراح رسميًا إدراج EIP-2537 في ترقية شنغهاي. لكن ترقية الدمج استغرقت الكثير من وقت المطورين. بعد الانتهاء من الدمج في سبتمبر 2022، حصل المطورون أخيرًا على الفرصة لمواصلة مناقشة أهداف شنغهاي.
في نوفمبر 2022، اعتقد المطورون أن EIP-2537 يحتاج إلى تأجيل، والترقية في شنغهاي تركز على دعم سحب PoS. لم يتم مناقشة ترقية كانكون بسبب التركيز على EIP-4844 أيضًا.
حتى فبراير 2024، ناقش المطورون تضمين EIP-2537 في ترقية Pectra، مشيرين إلى أن التنفيذ لم يعد مشكلة، ولكن توجد فقط بعض مشكلات تسعير استهلاك الغاز. من ديسمبر 2024 إلى يناير 2025، ناقش المطورون نموذج حساب التكلفة المحدد، وحلوا في النهاية مشكلة تكلفة EIP-2537.
! [مراقبة حوكمة Ethereum: رحلة ما قبل التجميع EIP-2537])https://img-cdn.gateio.im/webp-social/moments-75338d7a495f20ef25a70cca21a48381.webp(
ملخص
تم اقتراح EIP-2537 في فبراير 2020 وتحديده نهائياً في يناير 2025، مما استغرق ما يقرب من 5 سنوات. خلال هذه الفترة، تم تأجيله عدة مرات بسبب تعقيد التنفيذ أو عدم توافقه مع موضوع الترقية. وهذا يشير إلى أن ما إذا كان يمكن دمج EIP في ترقية إثيريوم يعتمد ليس فقط على قيمته الذاتية، ولكن أيضًا على عوامل التاريخ. كل ترقية لإثيريوم لها موضوعها الخاص، ورغم أن EIP-2537 كان في السابق أهم EIP في ترقية برلين، إلا أنه تم التخلي عنه بسبب الصعوبة. بعد ذلك، دخل إثيريوم في عملية تاريخية من PoS، حيث لم يتم التركيز على EIPs الخاصة بطبقة التنفيذ، مما أدى إلى عدم قبول EIP-2537 لفترة طويلة.
![إثيريوم حكم المراقبة: مسار التجميع المسبق EIP-2537])https://img-cdn.gateio.im/webp-social/moments-55d3bb1142078f459d3a41ead42cd599.webp(
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 17
أعجبني
17
7
إعادة النشر
مشاركة
تعليق
0/400
BakedCatFanboy
· 08-09 07:22
انتظرت ثماني سنوات وأخيراً جاء
شاهد النسخة الأصليةرد0
rugpull_ptsd
· 08-06 22:13
استغرق الأمر خمس سنوات حتى يتم إدخالها على السلسلة، هل يمكن الانتظار حقًا؟
شاهد النسخة الأصليةرد0
MetaverseHermit
· 08-06 08:26
استغرق الأمر خمس سنوات لإكمال الترقية، حقًا إنه لأمر مزعج.
شاهد النسخة الأصليةرد0
CoconutWaterBoy
· 08-06 08:25
ترقية بعد خمس سنوات، إنه حقاً مستقر.
شاهد النسخة الأصليةرد0
SignatureVerifier
· 08-06 08:24
من الناحية الفنية، يحتاج هذا التنفيذ لـ bls إلى اختبارات اختراق جدية، لقد رأينا هذه المكونات المسبقة غير المكتملة من قبل...
EIP-2537 الطريق الطويل: من رفض ترقية Berlin إلى قبول Pectra أخيرًا
EIP-2537: الطريق الطويل لحساب منحنيات إثيريوم
EIP-2537 هو أمر تجميع مسبق لـ EVM تم تحديده للإضافة في ترقية الانقسام الأخيرة لـ Pectra. يضيف هذا الأمر العديد من وظائف الحساب على منحنى BLS12-381 إلى EVM، بما في ذلك حساب الاقترانات على مجال المنحنى.
تم تقديم EIP-2573 في الأصل في عام 2020، وحتى عام 2025 لم يتم تأكيد إدراجه في ترقية إثيريوم. ستقدم هذه المقالة تاريخ حوكمة EIP-2537، وتناقش لماذا استغرق الأمر 5 سنوات لإدراج هذا الاقتراح في الترقية.
خلفية الاقتراح
في يناير 2017، قدم فيتاليك بوتيرين لأول مرة خوارزمية الاقتران ومنحنى alt_bn128. بعد ذلك، اقترح فيتاليك وكريستيان ريتفيسنر EIP-196 وEIP-197، لإضافة دعم حساب منحنى alt_bn128 إلى EVM. في ترقية بيزنطية في أكتوبر 2017، تم دمج منحنى alt_bn128 رسميًا، مما حقق حساب الاقتران في مجال المنحنى داخل EVM، مما جعل التحقق من إثبات ZK-Snarks ممكنًا داخل EVM.
في نوفمبر 2017، قدم فريق zcash منحنى BLS12-381، والذي يتمتع بأمان وأداء أعلى مقارنةً بمنحنى alt_bn128. وقد اعتمدت العديد من بروتوكولات blockchain لاحقًا منحنى BLS12-381، متخليةً عن منحنى alt_bn128.
في مايو 2018، أشار جاستين دريك إلى أن ترقية PoS والتقسيم المستقبلية للإيثريوم يمكن أن تستخدم خوارزمية BLS المتعددة التوقيع المستندة إلى منحنى BLS12-381. وقد أدى ذلك إلى خروج خطة EIP-1011 السابقة من المسرح، واعتمدت ترقية ETH2 اللاحقة أخيرًا على منحنى BLS12-381.
مع تطوير ETH2، تزايدت الدعوات لإدخال BLS12-381 إلى طبقة تنفيذ ETH. في فبراير 2020، اقترح بعض الباحثين EIP-2537، على أمل اختباره مع شبكة اختبار ETH2. دعا مؤلف EIP-2537، أليكس ستوكز، إلى تضمينه في الانقسام الصلب برلين.
من المثير للاهتمام أن مؤلف EIP-2537 هو أيضًا أحد مؤسسي Matter Labs، وأشهر منتج لـ Matter Labs هو ZKSync.
! مراقبة حوكمة Ethereum: رحلة ما قبل التجميع EIP-2537
برلين المضطربة
قبل تقديم المحتوى اللاحق، يجب أن نذكر EIP-1962. هذا هو أول اقتراح مسبق للتجميع (precompile) لمجال منحنى بيضاوي تم تقديمه من قبل Matter Labs في أبريل 2019، ويدعم ثلاثة منحنيات: BLS12 و BN و MNT4/6. يخطط هذا EIP لزيادة 10 تعليمات مسبقة لمعالجة منحنيات مختلفة دفعة واحدة. لكن العديد من المطورين يشكون من أن الاقتراح معقد للغاية وصعب التنفيذ، كما أنه غير مريح لمهندسي العقود الذكية. بصفتها الجهة المقدمة للاقتراح، أكملت Matter Labs تطوير خوارزمية منحنى بيضاوي، وقدمت تنفيذات مرجعية متعددة اللغات.
لحل مشكلة EIP-1962، اقترحت Matter Labs في فبراير 2020 تقسيم عدة EIPs من EIP-1962، مع بعض الوراثة من واجهته:
من بين جميعها، يعتبر EIP-2537 الأكثر أهمية، لأنه يستخدم أيضًا منحنى BLS12-381 في طبقة الإجماع. الهدف الرئيسي من EIP-1962 و EIP-2537 هو تحقيق تحقق من توقيع BLS في طبقة الإجماع على الشبكة الرئيسية. في ذلك الوقت، كانت ETH2 تقوم بتطوير عقد الإيداع، ولكن نظرًا لافتقار طبقة التنفيذ إلى خوارزمية تحقق BLS، لم يتحقق عقد الإيداع من التوقيع كما كان مصممًا في الأصل، بل كان يتم التحقق منه بواسطة طبقة الإجماع، وإذا تم اكتشاف عدم صحة، فقد يؤدي ذلك إلى خسارة أموال المستخدم.
في هذا السياق، يأمل المطورون الرئيسيون في إدخال BLS12-381 كودًا مسبقًا للتحقق من التوقيعات داخل عقد الإيداع، لتجنب خسارة أموال المستخدمين المحتملة. كانت هذه هي الأسباب التي جعلت عددًا كبيرًا من المطورين مهتمين بـ EIP-1962 و EIP-2537.
عندما تم اقتراح EIP-2537 لأول مرة، أشار فيتاليك إلى وجود مجموعة من المشاكل، تركزت بشكل رئيسي على محتوى وثيقة EIP. بعد ذلك، قام المؤلف بالرد ومناقشة الأمر. في اجتماع مطوري النواة في 6 مارس 2020، اعتقد فيتاليك أن EIP-2537 وما شابهها فعالة للغاية في إثبات SNARK التكراري، على المدى الطويل لن تضر إثيريوم. أكد الاجتماع على أولوية EIP-2537، واتفقت جميع العملاء على تنفيذها في أقرب وقت ممكن، وتم التخطيط لإكمال التطوير قبل ترقية برلين.
بعد ذلك أصبحت EIP-2537 مهمة ذات أولوية عالية. أكدت اجتماع 20 مارس أن EIP-2537 ستستبدل EIP-1962 لتصبح الاقتراح الأساسي ل BLS وتدخل قائمة الترشيحات لترقية Berlin. أكد اجتماع أبريل رسميًا إدراج EIP-2537 في ترقية الانقسام الصلب Berlin، وحددت الجدول الزمني للتنفيذ في أبريل والاختبار في مايو - يونيو، وأدرجته كمسألة ذات أولوية قصوى.
بعد ذلك، دخل EIP-2537 مرحلة تطوير واختبار مكثفة، حيث كانت هناك مناقشات ذات صلة في كل اجتماع تقريبًا لمطوري النواة في حوالي 20 مناسبة لاحقة. تشمل المحتويات الرئيسية:
من هنا يمكن أن نرى أن أهمية EIP-2537 قد انخفضت بشكل كبير بعد إكمال عقد الإيداع، ويعتقد مطورو Geth أنه من الصعب تحقيق ذلك قبل برلين. يبدو أن عدم قبول EIP-2537 في برلين قد أصبح واقعًا.
ظهرت المزيد من المشكلات في الاجتماعات اللاحقة:
في الاجتماع الأخير للمطورين الأساسيين رقم 99، تم اتخاذ قرار بإخراج EIP-2537 من شبكة اختبار YOLO v3 وترقية برلين. السبب الرئيسي هو أن EIP-2537 استهلك الكثير من وقت المطورين الأساسيين، مما أدى إلى عرقلة تطوير EIPs الأخرى. العامل الثانوي هو أن مؤسسة إيثريوم اقترحت EVM384 كبديل.
في أبريل 2021، أكملت إثيريوم ترقية برلين، حيث لم تكن التنفيذات الأساسية مثل EIP-2565 معقدة، وكانت الترقية تبدو ضعيفة قليلاً، وذلك لأن EIP-2537 الأكثر تعقيدًا تم استبعاده.
! [مراقبة حوكمة Ethereum: رحلة ما قبل التجميع EIP-2537](https://img-cdn.gateio.im/webp-social/moments-3198079b11f21298df05682606409838.webp019283746574839201
التطورات اللاحقة
تحديث لندن بعد برلين، حيث كان المطورون يفكرون في إضافة EIP-2537، لكن بسبب تغيير المكتبات المعتمدة قد يتغير تسعير الغاز، وفي النهاية تم التخلي عنها مرة أخرى بسبب التعقيد.
في يونيو 2021، تم اقتراح رسميًا إدراج EIP-2537 في ترقية شنغهاي. لكن ترقية الدمج استغرقت الكثير من وقت المطورين. بعد الانتهاء من الدمج في سبتمبر 2022، حصل المطورون أخيرًا على الفرصة لمواصلة مناقشة أهداف شنغهاي.
في نوفمبر 2022، اعتقد المطورون أن EIP-2537 يحتاج إلى تأجيل، والترقية في شنغهاي تركز على دعم سحب PoS. لم يتم مناقشة ترقية كانكون بسبب التركيز على EIP-4844 أيضًا.
حتى فبراير 2024، ناقش المطورون تضمين EIP-2537 في ترقية Pectra، مشيرين إلى أن التنفيذ لم يعد مشكلة، ولكن توجد فقط بعض مشكلات تسعير استهلاك الغاز. من ديسمبر 2024 إلى يناير 2025، ناقش المطورون نموذج حساب التكلفة المحدد، وحلوا في النهاية مشكلة تكلفة EIP-2537.
! [مراقبة حوكمة Ethereum: رحلة ما قبل التجميع EIP-2537])https://img-cdn.gateio.im/webp-social/moments-75338d7a495f20ef25a70cca21a48381.webp(
ملخص
تم اقتراح EIP-2537 في فبراير 2020 وتحديده نهائياً في يناير 2025، مما استغرق ما يقرب من 5 سنوات. خلال هذه الفترة، تم تأجيله عدة مرات بسبب تعقيد التنفيذ أو عدم توافقه مع موضوع الترقية. وهذا يشير إلى أن ما إذا كان يمكن دمج EIP في ترقية إثيريوم يعتمد ليس فقط على قيمته الذاتية، ولكن أيضًا على عوامل التاريخ. كل ترقية لإثيريوم لها موضوعها الخاص، ورغم أن EIP-2537 كان في السابق أهم EIP في ترقية برلين، إلا أنه تم التخلي عنه بسبب الصعوبة. بعد ذلك، دخل إثيريوم في عملية تاريخية من PoS، حيث لم يتم التركيز على EIPs الخاصة بطبقة التنفيذ، مما أدى إلى عدم قبول EIP-2537 لفترة طويلة.
![إثيريوم حكم المراقبة: مسار التجميع المسبق EIP-2537])https://img-cdn.gateio.im/webp-social/moments-55d3bb1142078f459d3a41ead42cd599.webp(