إثيريوم بروتوكول التصميم يحتوي على العديد من "التفاصيل" التي تعتبر حاسمة لنجاحه. في الواقع، حوالي نصف المحتوى يتعلق بأنواع مختلفة من تحسينات EVM، بينما يتكون الباقي من مواضيع نادرة متنوعة، وهذا هو المعنى الحقيقي لـ"التعقيد".
الازدهار: الهدف الرئيسي
تحويل EVM إلى "الحالة النهائية" عالية الأداء ومستقرة
إدخال تجريد الحسابات في البروتوكول، مما يسمح لجميع المستخدمين بالتمتع بحسابات أكثر أمانًا وملاءمة
تحسين تكاليف التداول الاقتصادية، وزيادة قابلية التوسع مع تقليل المخاطر
استكشاف التشفير المتقدم، مما يحسن إثيريوم بشكل ملحوظ على المدى الطويل
تحسينات EVM
ماذا حل؟
حالياً، من الصعب إجراء تحليل ثابت لـ EVM، مما يجعل من الصعب إنشاء تنفيذ فعال، والتحقق الرسمي من الكود، وإجراء المزيد من التوسيع. بالإضافة إلى ذلك، فإن كفاءة EVM منخفضة، مما يجعل من الصعب تحقيق العديد من أشكال التشفير المتقدمة، إلا من خلال الدعم الضمني عبر التحويلات المسبقة.
ما هو ، كيف يعمل؟
الخطوة الأولى في خارطة طريق تحسين EVM الحالية هي تنسيق كائن EVM (EOF)، المخطط دمجه في الانقسام الصلب التالي. EOF هو مجموعة من EIP، تحدد إصدار جديد من كود EVM، مع العديد من الميزات الفريدة، والأكثر وضوحًا هو:
الكود ( قابل للتنفيذ، لكن لا يمكن قراءته من EVM ) والبيانات ( قابلة للقراءة، لكن لا يمكن تنفيذها بين ).
يمنع الانتقال الديناميكي، ويسمح فقط بالانتقال الثابت
لا يمكن مراقبة المعلومات المتعلقة بالوقود في كود EVM
تمت إضافة آلية جديدة للإجراءات الفرعية الصريحة
ستظل العقود القديمة موجودة ويمكن إنشاؤها، على الرغم من أنه قد يتم في النهاية الاستغناء عن العقود القديمة ( وقد يتم تحويلها قسريًا إلى كود EOF ). ستستفيد العقود الجديدة من تحسين الكفاءة الذي يجلبه EOF - أولاً من خلال تقليل طفيف في بايت كود بفضل ميزات الوظائف الفرعية، ثم من خلال وظائف جديدة محددة لـ EOF أو تقليل تكاليف الغاز.
بعد إدخال EOF، أصبحت الترقيات الإضافية أكثر سهولة، وأفضل تطور حاليًا هو توسيع العمليات الحسابية لوحدة EVM ( EVM-MAX ). أنشأ EVM-MAX مجموعة من العمليات الجديدة المخصصة لعمليات المودول، ووضعها في مساحة ذاكرة جديدة لا يمكن الوصول إليها من خلال رموز العمليات الأخرى، مما جعل استخدام تحسينات مثل ضرب مونتغومري ممكنًا.
فكرة جديدة نسبيًا هي دمج EVM-MAX مع خاصية التعليمات المتعددة البيانات (SIMD)، حيث أن SIMD كفكرة لإيثيريوم موجودة منذ فترة طويلة، وقد تم اقتراحها لأول مرة من قبل Greg Colvin في EIP-616. يمكن استخدام SIMD لتسريع العديد من أشكال التشفير، بما في ذلك دوال التجزئة، وSTARKs البالغ عرضها 32 بت، والتشفير القائم على الشبكات، إن دمج EVM-MAX وSIMD يجعل من هذين التوسيعين الموجهين نحو الأداء زوجًا طبيعيًا.
تصميم تقريبي لمجموعة EIP سيبدأ من EIP-6690، ثم:
يسمح (i) بأي عدد فردي أو (ii) أي قوة من 2 لا تتجاوز 2768 كعدد موديولوس
بالنسبة لكل رمز تشغيل EVM-MAX ( الجمع، الطرح، الضرب )، أضف إصدارًا، هذا الإصدار لا يستخدم 3 أعداد فورية x، y، z، بل يستخدم 7 أعداد فورية: x_start، x_skip، y_start، y_skip، z_start، z_skip، count. في كود بايثون، تعمل هذه الرموز بشكل مشابه لـ:
بايثون
بالنسبة لأنا في range(count):
mem[z_start + z_skip * العدد] = op(
mem [x_start + x_skip * عدد] ،
[y_start + y_skip * عدد]
)
في التنفيذ الفعلي، سيتم معالجة هذا بطريقة متوازية.
قد تتم إضافة XOR و AND و OR و NOT و SHIFT( بما في ذلك الحلقات وغير الحلقات)، على الأقل بالنسبة لعدد المودول 2. في الوقت نفسه، ستضيف ISZERO( دفع المخرجات إلى المكدس الرئيسي EVM)، مما سيكون قويًا بما يكفي لتحقيق التشفير باستخدام المنحنيات البيانية، والتشفير في المجالات الصغيرة( مثل Poseidon و Circle STARKs)، ودوال التجزئة التقليدية( مثل SHA256 و KECCAK و BLAKE) والتشفير القائم على الشبكات. قد يتم تنفيذ ترقيات EVM الأخرى أيضًا، ولكن حتى الآن كانت ذات تركيز أقل.
روابط الأبحاث الحالية
EOF:
EVM-MAX:
سيمد:
العمل المتبقي والموازنة
حالياً، تخطط EOF للإدراج في الانقسام الصلب القادم. على الرغم من أنه من الممكن دائماً إزالته في اللحظة الأخيرة - حيث تمت إزالة وظائف مؤقتاً في الانقسامات الصلبة السابقة، إلا أن القيام بذلك سيواجه تحديات كبيرة. إن إزالة EOF يعني أن أي ترقية مستقبلية لـ EVM يجب أن تتم دون وجود EOF، وعلى الرغم من أنه يمكن القيام بذلك، إلا أنه قد يكون أكثر صعوبة.
الاعتبار الرئيسي في EVM هو تعقيد L1 وتعقيد البنية التحتية، EOF هو كمية كبيرة من التعليمات البرمجية التي يجب إضافتها إلى تنفيذ EVM، كما أن فحص التعليمات البرمجية الثابتة معقد نسبيًا. ومع ذلك، كبديل، يمكننا تبسيط اللغات العليا، وتبسيط تنفيذ EVM وفوائد أخرى. يمكن القول إن إعطاء الأولوية لخريطة طريق التحسين المستمر لـ إثيريوم L1 ينبغي أن تشمل وتبني على EOF.
تتمثل إحدى المهام المهمة التي يجب القيام بها في تحقيق وظائف مشابهة لـ EVM-MAX مع SIMD، وإجراء اختبارات مرجعية لاستهلاك الغاز لمجموعة متنوعة من العمليات المشفرة.
كيف تتفاعل مع أجزاء أخرى من خارطة الطريق؟
تقوم L1 بتعديل EVM الخاص بها بحيث يمكن لـ L2 أيضًا إجراء التعديلات المناسبة بسهولة أكبر، وإذا لم يتم إجراء التعديلات المتزامنة بين الاثنين، فقد يؤدي ذلك إلى عدم التوافق، مما يسبب آثارًا سلبية. بالإضافة إلى ذلك، يمكن أن تقلل EVM-MAX و SIMD من تكاليف الغاز للعديد من أنظمة الإثبات، مما يجعل L2 أكثر كفاءة. كما أنه يجعل من الأسهل استبدال المزيد من الأكواد المسبقة التجهيز بكود EVM يمكنه تنفيذ نفس المهام، مما قد لا يؤثر بشكل كبير على الكفاءة.
تجريد الحساب
ما هي المشكلة التي تم حلها؟
حاليًا، يمكن التحقق من المعاملات بطريقة واحدة فقط: توقيع ECDSA. في البداية، كان الهدف من تجريد الحسابات هو تجاوز ذلك، مما يسمح لعملية التحقق من الحساب بأن تكون منطقًا عشوائيًا من كود EVM. يمكن أن يمكّن هذا مجموعة من التطبيقات:
التبديل إلى تشفير مقاوم للكم
تبديل المفتاح القديم ( يعتبر ممارسة أمان موصى بها على نطاق واسع )
محفظة متعددة التوقيعات ومحفظة استعادة اجتماعية
استخدم مفتاحًا واحدًا للعمليات ذات القيمة المنخفضة، واستخدم مفتاحًا آخر ( أو مجموعة من المفاتيح ) للعمليات ذات القيمة العالية
يسمح لبروتوكول الخصوصية بالعمل دون الحاجة إلى وسطاء، مما يقلل بشكل كبير من تعقيده ويزيل نقطة اعتماد مركزية رئيسية.
منذ تقديم مفهوم تجريد الحسابات في عام 2015، توسع هدفه ليشمل عددًا كبيرًا من "الأهداف المريحة"، على سبيل المثال، يمكن لحساب لا يمتلك ETH ولكنه يمتلك بعض ERC20 أن يدفع رسوم الغاز باستخدام ERC20.
MPC(الحساب المتعدد) هو تقنية عمرها 40 عامًا تُستخدم لتقسيم المفاتيح إلى أجزاء متعددة وتخزينها على أجهزة متعددة، مع الاستفادة من تقنيات التشفير لإنشاء التوقيعات، دون الحاجة إلى دمج هذه الأجزاء من المفاتيح مباشرة.
EIP-7702 هو اقتراح مخطط لإدخاله في الانقسام الصلب التالي، EIP-7702 هو نتيجة الوعي المتزايد بتوفير سهولة تجريد الحسابات لفائدة جميع المستخدمين ( بما في ذلك مستخدمي EOA )، ويهدف إلى تحسين تجربة جميع المستخدمين على المدى القصير وتجنب الانقسام إلى نظامين بيئيين.
بدأ هذا العمل في EIP-3074 ، وانتهى أخيرًا إلى EIP-7702. يوفر EIP-7702 "وظائف الراحة" التجريد الحسابي لجميع المستخدمين، بما في ذلك EOA( الخارجية التي يمتلكها اليوم، أي الحسابات التي يتم التحكم فيها بواسطة توقيع ECDSA ).
على الرغم من أن بعض التحديات (، وخاصة تحدي "الراحة" )، يمكن حلها من خلال تقنيات تدريجية مثل الحسابات متعددة الأطراف أو EIP-7702، إلا أن الهدف الأمني الرئيسي المقترح في البداية لاقتراح تجريد الحسابات يمكن تحقيقه فقط من خلال الرجوع وحل المشكلة الأصلية: السماح لشفرة العقود الذكية بالتحكم في تحقق المعاملات. السبب الذي لم يتحقق حتى الآن هو التنفيذ الآمن، وهو تحدٍ.
ما هو؟ كيف يعمل؟
جوهر التجريد الحسابي بسيط: يسمح للعقود الذكية ببدء المعاملات، وليس فقط EOA. تأتي كل التعقيدات من تنفيذ ذلك بطريقة تتسم بالودية تجاه الحفاظ على الشبكة اللامركزية، وللوقاية من هجمات حرمان الخدمة.
تحدي رئيسي نموذجي هو مشكلة الفشل المتعدد:
إذا كانت هناك 1000 دالة تحقق للحسابات تعتمد على قيمة واحدة فقط S، وكانت القيمة الحالية S تجعل المعاملات في بركة الذاكرة جميعها صالحة، فإن وجود معاملة واحدة فقط تعكس قيمة S قد يجعل جميع المعاملات الأخرى في بركة الذاكرة غير صالحة. وهذا يسمح للمهاجم بإرسال معاملات غير مفيدة إلى بركة الذاكرة بتكلفة منخفضة جدًا، مما يؤدي إلى انسداد موارد عقد الشبكة.
بعد سنوات من الجهود، والتي تهدف إلى توسيع الوظائف مع الحد من مخاطر رفض الخدمة (DoS)، توصلنا في النهاية إلى حل لتحقيق "تجريد الحساب المثالي": ERC-4337.
يعمل ERC-4337 على تقسيم معالجة عمليات المستخدم إلى مرحلتين: التحقق والتنفيذ. يتم معالجة جميع عمليات التحقق أولاً، ثم يتم معالجة جميع عمليات التنفيذ لاحقًا. في مجموعة الذاكرة، يتم قبول عمليات المستخدم فقط عندما تتعلق مرحلة التحقق بحساب المستخدم نفسه ولا تقرأ متغيرات البيئة. هذا يمكن أن يمنع هجمات الفشل المتعددة. بالإضافة إلى ذلك، يتم تطبيق حدود صارمة على الغاز في خطوة التحقق.
تم تصميم ERC-4337 كمعيار بروتوكول إضافي (ERC)، لأنه في ذلك الوقت كان مطورو عميل إثيريوم يركزون على الدمج (Merge)، ولم يكن لديهم طاقة إضافية لمعالجة ميزات أخرى. لهذا السبب استخدم ERC-4337 كائنًا يسمى العمليات المستخدمة، بدلاً من المعاملات العادية. ومع ذلك، أدركنا مؤخرًا الحاجة إلى كتابة جزء من المحتوى على الأقل في البروتوكول.
السببين الرئيسيين هما كما يلي:
EntryPoint ككفاءة داخلية للعقد: كل حزمة تحمل تكلفة ثابتة تبلغ حوالي 100,000 غاز، بالإضافة إلى آلاف من الغاز لكل عملية مستخدم.
التأكد من ضرورة خصائص إثيريوم: مثل القائمة التي تم إنشاؤها والتي تتطلب ضمانات تحتاج إلى نقلها إلى حساب المستخدم المجرد.
! [فيتاليك حول المستقبل المحتمل ل Ethereum (6): التفاخر](https://img-cdn.gateio.im/webp-social/moments-c0f722db75e53f4ff37ef40f5547dfc4.webp019283746574839201
بالإضافة إلى ذلك، قام ERC-4337 بتوسيع وظيفتين:
وكيل الدفع ) Paymasters (: يسمح لوكيل حساب واحد بالدفع من حساب آخر، وهو ما يتعارض مع القاعدة التي تنص على أنه يمكن الوصول فقط إلى حساب المرسل نفسه خلال مرحلة التحقق، لذلك تم إدخال معالجة خاصة لضمان أمان آلية وكيل الدفع.
المجمع ) Aggregators (: يدعم ميزات تجميع التوقيعات، مثل التجميع BLS أو التجميع القائم على SNARK. هذا ضروري لتحقيق أعلى كفاءة بيانات على Rollup.
) روابط الأبحاث الحالية
حديث عن تاريخ تجريد الحسابات:
ERC-4337:
EIP-7702:
رمز BLSWallet ### يستخدم وظيفة التجميع (:
EIP-7562) كتابة بروتوكول الحساب المجرد (:
EIP-7701) بروتوكول الكتابة القائم على EOF لحسابات التجريد (:
) العمل المتبقي والتوازن
الشيء الرئيسي الذي يحتاج إلى الحل حاليا هو كيفية إدخال التجريد الكامل للحسابات في البروتوكول. الاقتراح الشهير مؤخرا الذي يكتب بروتوكول تجريد الحسابات هو EIP-7701، والذي يحقق تجريد الحسابات على EOF. يمكن أن يمتلك الحساب جزءا منفصلا من الشيفرة للتحقق. إذا تم تعيين هذا الجزء من الشيفرة للحساب، فسيتم تنفيذ هذه الشيفرة في خطوة التحقق من المعاملات القادمة من ذلك الحساب.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 17
أعجبني
17
5
إعادة النشر
مشاركة
تعليق
0/400
GweiTooHigh
· 08-12 00:28
هل يمكن فعلاً أن تنتشر تجريد الحساب؟
شاهد النسخة الأصليةرد0
MEVictim
· 08-10 08:39
فقط هذه الأمور المتعلقة بـ EVM، لا تثير الحماس.
شاهد النسخة الأصليةرد0
BlockchainDecoder
· 08-10 08:39
استنادًا إلى بيانات ورقة RV2022 ، فإن كفاءة مكدس الهيكل الحالي لـ EVM لا تتجاوز 42% ، مما يتطلب تحسينًا عاجلاً.
شاهد النسخة الأصليةرد0
PessimisticOracle
· 08-10 08:39
تحدث طويلاً ولكن هل هو مجرد كلام؟ إذا تحقق هذا، سأعتبر نفسي خاسراً.
إثيريوم المستقبل: ترقية EVM وتجريد الحساب يقودان مرحلة جديدة من الازدهار
مستقبل بروتوكول إثيريوم المحتمل (6): الازدهار
إثيريوم بروتوكول التصميم يحتوي على العديد من "التفاصيل" التي تعتبر حاسمة لنجاحه. في الواقع، حوالي نصف المحتوى يتعلق بأنواع مختلفة من تحسينات EVM، بينما يتكون الباقي من مواضيع نادرة متنوعة، وهذا هو المعنى الحقيقي لـ"التعقيد".
الازدهار: الهدف الرئيسي
تحسينات EVM
ماذا حل؟
حالياً، من الصعب إجراء تحليل ثابت لـ EVM، مما يجعل من الصعب إنشاء تنفيذ فعال، والتحقق الرسمي من الكود، وإجراء المزيد من التوسيع. بالإضافة إلى ذلك، فإن كفاءة EVM منخفضة، مما يجعل من الصعب تحقيق العديد من أشكال التشفير المتقدمة، إلا من خلال الدعم الضمني عبر التحويلات المسبقة.
ما هو ، كيف يعمل؟
الخطوة الأولى في خارطة طريق تحسين EVM الحالية هي تنسيق كائن EVM (EOF)، المخطط دمجه في الانقسام الصلب التالي. EOF هو مجموعة من EIP، تحدد إصدار جديد من كود EVM، مع العديد من الميزات الفريدة، والأكثر وضوحًا هو:
ستظل العقود القديمة موجودة ويمكن إنشاؤها، على الرغم من أنه قد يتم في النهاية الاستغناء عن العقود القديمة ( وقد يتم تحويلها قسريًا إلى كود EOF ). ستستفيد العقود الجديدة من تحسين الكفاءة الذي يجلبه EOF - أولاً من خلال تقليل طفيف في بايت كود بفضل ميزات الوظائف الفرعية، ثم من خلال وظائف جديدة محددة لـ EOF أو تقليل تكاليف الغاز.
بعد إدخال EOF، أصبحت الترقيات الإضافية أكثر سهولة، وأفضل تطور حاليًا هو توسيع العمليات الحسابية لوحدة EVM ( EVM-MAX ). أنشأ EVM-MAX مجموعة من العمليات الجديدة المخصصة لعمليات المودول، ووضعها في مساحة ذاكرة جديدة لا يمكن الوصول إليها من خلال رموز العمليات الأخرى، مما جعل استخدام تحسينات مثل ضرب مونتغومري ممكنًا.
فكرة جديدة نسبيًا هي دمج EVM-MAX مع خاصية التعليمات المتعددة البيانات (SIMD)، حيث أن SIMD كفكرة لإيثيريوم موجودة منذ فترة طويلة، وقد تم اقتراحها لأول مرة من قبل Greg Colvin في EIP-616. يمكن استخدام SIMD لتسريع العديد من أشكال التشفير، بما في ذلك دوال التجزئة، وSTARKs البالغ عرضها 32 بت، والتشفير القائم على الشبكات، إن دمج EVM-MAX وSIMD يجعل من هذين التوسيعين الموجهين نحو الأداء زوجًا طبيعيًا.
تصميم تقريبي لمجموعة EIP سيبدأ من EIP-6690، ثم:
بايثون بالنسبة لأنا في range(count): mem[z_start + z_skip * العدد] = op( mem [x_start + x_skip * عدد] ، [y_start + y_skip * عدد] )
في التنفيذ الفعلي، سيتم معالجة هذا بطريقة متوازية.
روابط الأبحاث الحالية
العمل المتبقي والموازنة
حالياً، تخطط EOF للإدراج في الانقسام الصلب القادم. على الرغم من أنه من الممكن دائماً إزالته في اللحظة الأخيرة - حيث تمت إزالة وظائف مؤقتاً في الانقسامات الصلبة السابقة، إلا أن القيام بذلك سيواجه تحديات كبيرة. إن إزالة EOF يعني أن أي ترقية مستقبلية لـ EVM يجب أن تتم دون وجود EOF، وعلى الرغم من أنه يمكن القيام بذلك، إلا أنه قد يكون أكثر صعوبة.
الاعتبار الرئيسي في EVM هو تعقيد L1 وتعقيد البنية التحتية، EOF هو كمية كبيرة من التعليمات البرمجية التي يجب إضافتها إلى تنفيذ EVM، كما أن فحص التعليمات البرمجية الثابتة معقد نسبيًا. ومع ذلك، كبديل، يمكننا تبسيط اللغات العليا، وتبسيط تنفيذ EVM وفوائد أخرى. يمكن القول إن إعطاء الأولوية لخريطة طريق التحسين المستمر لـ إثيريوم L1 ينبغي أن تشمل وتبني على EOF.
تتمثل إحدى المهام المهمة التي يجب القيام بها في تحقيق وظائف مشابهة لـ EVM-MAX مع SIMD، وإجراء اختبارات مرجعية لاستهلاك الغاز لمجموعة متنوعة من العمليات المشفرة.
كيف تتفاعل مع أجزاء أخرى من خارطة الطريق؟
تقوم L1 بتعديل EVM الخاص بها بحيث يمكن لـ L2 أيضًا إجراء التعديلات المناسبة بسهولة أكبر، وإذا لم يتم إجراء التعديلات المتزامنة بين الاثنين، فقد يؤدي ذلك إلى عدم التوافق، مما يسبب آثارًا سلبية. بالإضافة إلى ذلك، يمكن أن تقلل EVM-MAX و SIMD من تكاليف الغاز للعديد من أنظمة الإثبات، مما يجعل L2 أكثر كفاءة. كما أنه يجعل من الأسهل استبدال المزيد من الأكواد المسبقة التجهيز بكود EVM يمكنه تنفيذ نفس المهام، مما قد لا يؤثر بشكل كبير على الكفاءة.
تجريد الحساب
ما هي المشكلة التي تم حلها؟
حاليًا، يمكن التحقق من المعاملات بطريقة واحدة فقط: توقيع ECDSA. في البداية، كان الهدف من تجريد الحسابات هو تجاوز ذلك، مما يسمح لعملية التحقق من الحساب بأن تكون منطقًا عشوائيًا من كود EVM. يمكن أن يمكّن هذا مجموعة من التطبيقات:
يسمح لبروتوكول الخصوصية بالعمل دون الحاجة إلى وسطاء، مما يقلل بشكل كبير من تعقيده ويزيل نقطة اعتماد مركزية رئيسية.
منذ تقديم مفهوم تجريد الحسابات في عام 2015، توسع هدفه ليشمل عددًا كبيرًا من "الأهداف المريحة"، على سبيل المثال، يمكن لحساب لا يمتلك ETH ولكنه يمتلك بعض ERC20 أن يدفع رسوم الغاز باستخدام ERC20.
MPC(الحساب المتعدد) هو تقنية عمرها 40 عامًا تُستخدم لتقسيم المفاتيح إلى أجزاء متعددة وتخزينها على أجهزة متعددة، مع الاستفادة من تقنيات التشفير لإنشاء التوقيعات، دون الحاجة إلى دمج هذه الأجزاء من المفاتيح مباشرة.
EIP-7702 هو اقتراح مخطط لإدخاله في الانقسام الصلب التالي، EIP-7702 هو نتيجة الوعي المتزايد بتوفير سهولة تجريد الحسابات لفائدة جميع المستخدمين ( بما في ذلك مستخدمي EOA )، ويهدف إلى تحسين تجربة جميع المستخدمين على المدى القصير وتجنب الانقسام إلى نظامين بيئيين.
بدأ هذا العمل في EIP-3074 ، وانتهى أخيرًا إلى EIP-7702. يوفر EIP-7702 "وظائف الراحة" التجريد الحسابي لجميع المستخدمين، بما في ذلك EOA( الخارجية التي يمتلكها اليوم، أي الحسابات التي يتم التحكم فيها بواسطة توقيع ECDSA ).
على الرغم من أن بعض التحديات (، وخاصة تحدي "الراحة" )، يمكن حلها من خلال تقنيات تدريجية مثل الحسابات متعددة الأطراف أو EIP-7702، إلا أن الهدف الأمني الرئيسي المقترح في البداية لاقتراح تجريد الحسابات يمكن تحقيقه فقط من خلال الرجوع وحل المشكلة الأصلية: السماح لشفرة العقود الذكية بالتحكم في تحقق المعاملات. السبب الذي لم يتحقق حتى الآن هو التنفيذ الآمن، وهو تحدٍ.
ما هو؟ كيف يعمل؟
جوهر التجريد الحسابي بسيط: يسمح للعقود الذكية ببدء المعاملات، وليس فقط EOA. تأتي كل التعقيدات من تنفيذ ذلك بطريقة تتسم بالودية تجاه الحفاظ على الشبكة اللامركزية، وللوقاية من هجمات حرمان الخدمة.
تحدي رئيسي نموذجي هو مشكلة الفشل المتعدد:
إذا كانت هناك 1000 دالة تحقق للحسابات تعتمد على قيمة واحدة فقط S، وكانت القيمة الحالية S تجعل المعاملات في بركة الذاكرة جميعها صالحة، فإن وجود معاملة واحدة فقط تعكس قيمة S قد يجعل جميع المعاملات الأخرى في بركة الذاكرة غير صالحة. وهذا يسمح للمهاجم بإرسال معاملات غير مفيدة إلى بركة الذاكرة بتكلفة منخفضة جدًا، مما يؤدي إلى انسداد موارد عقد الشبكة.
بعد سنوات من الجهود، والتي تهدف إلى توسيع الوظائف مع الحد من مخاطر رفض الخدمة (DoS)، توصلنا في النهاية إلى حل لتحقيق "تجريد الحساب المثالي": ERC-4337.
يعمل ERC-4337 على تقسيم معالجة عمليات المستخدم إلى مرحلتين: التحقق والتنفيذ. يتم معالجة جميع عمليات التحقق أولاً، ثم يتم معالجة جميع عمليات التنفيذ لاحقًا. في مجموعة الذاكرة، يتم قبول عمليات المستخدم فقط عندما تتعلق مرحلة التحقق بحساب المستخدم نفسه ولا تقرأ متغيرات البيئة. هذا يمكن أن يمنع هجمات الفشل المتعددة. بالإضافة إلى ذلك، يتم تطبيق حدود صارمة على الغاز في خطوة التحقق.
تم تصميم ERC-4337 كمعيار بروتوكول إضافي (ERC)، لأنه في ذلك الوقت كان مطورو عميل إثيريوم يركزون على الدمج (Merge)، ولم يكن لديهم طاقة إضافية لمعالجة ميزات أخرى. لهذا السبب استخدم ERC-4337 كائنًا يسمى العمليات المستخدمة، بدلاً من المعاملات العادية. ومع ذلك، أدركنا مؤخرًا الحاجة إلى كتابة جزء من المحتوى على الأقل في البروتوكول.
السببين الرئيسيين هما كما يلي:
! [فيتاليك حول المستقبل المحتمل ل Ethereum (6): التفاخر](https://img-cdn.gateio.im/webp-social/moments-c0f722db75e53f4ff37ef40f5547dfc4.webp019283746574839201
بالإضافة إلى ذلك، قام ERC-4337 بتوسيع وظيفتين:
) روابط الأبحاث الحالية
) العمل المتبقي والتوازن
الشيء الرئيسي الذي يحتاج إلى الحل حاليا هو كيفية إدخال التجريد الكامل للحسابات في البروتوكول. الاقتراح الشهير مؤخرا الذي يكتب بروتوكول تجريد الحسابات هو EIP-7701، والذي يحقق تجريد الحسابات على EOF. يمكن أن يمتلك الحساب جزءا منفصلا من الشيفرة للتحقق. إذا تم تعيين هذا الجزء من الشيفرة للحساب، فسيتم تنفيذ هذه الشيفرة في خطوة التحقق من المعاملات القادمة من ذلك الحساب.
هذه الطريقة ساحرة