كشف المستقبل: تحليل تجريد الحسابات متعددة السلاسل

من 8 إلى 11 يوليو، عقد مؤتمر مجتمع إيثيريوم في بروكسل، وهو أكبر حدث سنوي لإيثيريوم في أوروبا، يركز على التقنية والمجتمع.

حضر هذا المؤتمر أكثر من 350 من قادة الرأي في صناعة البلوكشين، بما في ذلك حديث بعنوان "الكشف عن المستقبل: تحليل تجريد الحسابات المتعددة".

نقاط الخطاب:

• تجريد الحساب(AA) نقطتين رئيسيتين: تجريد التوقيع وتجريد الدفع. يسمح تجريد التوقيع للمستخدمين باختيار أي آلية تحقق، بينما يدعم تجريد الدفع خيارات دفع متعددة للمعاملات. تعزز هذه المرونة من الأمان وتجربة المستخدم.

• دالة نقطة الدخول في مرحلة "التحقق" لـ ERC-4337 و AA الأصلية ثابتة، بينما في مرحلة "التنفيذ"، فإن نقطة الدخول لـ AA الأصلية فقط هي الثابتة. تختلف قيود التحقق من المعاملات وخطوات تنفيذ المعاملات في التنفيذات المختلفة.

• عند تنفيذ ERC-4337 على سلسلة متوافقة مع EVM، فإن اختلافات البروتوكول في تصميم Rollup واختلاف طرق حساب العناوين هما اختلافان رئيسيان، مما يؤدي إلى ظهور بعض التفاصيل الدقيقة في التطوير عند تنفيذ ERC-4337 بين L1 و L2.

以下 هو النص الكامل للخطاب:

مرحبًا بالجميع، اليوم سأقدم مفهوم ERC-4337 وAA الأصلية، وسأناقش الفروق بينها، وسأركز على التحليل الرئيسي للاختلافات بين معايير 4337 في L1 وL2.

تجريد الحساب介绍

1. تجريد الحساب تعريف

تجريد الحساب(AA) تشمل نقطتين رئيسيتين: تجريد التوقيع وتجريد الدفع.

• تجريد التوقيع: يمكن للمستخدم اختيار أي آلية تحقق يفضلها، وليست مقتصرة على بعض خوارزميات التوقيع الرقمي (مثل ECDSA).
• تجريد الدفع: يمكن للمستخدمين استخدام مجموعة متنوعة من خيارات الدفع للتجارة، مثل استخدام أصول ERC-20 بدلاً من الأصول الأصلية للدفع، أو السماح لطرف ثالث برعاية الصفقة.

تقدم هذه المرونة تجربة مستخدم أكثر أمانًا وأفضل. الهدف من تجريد الحساب هو تحقيق هذين النقطتين الرئيسيتين بعدة طرق.

2. مقدمة في ERC-4337

حاليًا، توجد بعض القيود على الحسابات الخارجية المملوكة (EOA) في بروتوكول الإيثيريوم، مثل طريقة التوقيع الثابت وتصميم الدفع. تعالج ERC-4337 هذه المشكلات من خلال تقديم طرق إدارة الحسابات ومعالجة المعاملات أكثر مرونة.

• هيكل userOp: في ERC-4337، يقوم المستخدم بإرسال هيكل userOp إلى Bundler. يقوم Bundler بجمع عدة userOp، ثم يرسلها إلى عقد EntryPoint عن طريق استدعاء دالة handleOps.
• عقد EntryPoint: يعالج هذا العقد المعاملات مثل نظام التشغيل، وتتمثل الوظائف الرئيسية في:
  • استدعاء دالة validate في عقد الحساب، لضمان حصول userOp على تفويض من مالك الحساب.
  • تحصيل الرسوم.
  • استدعاء دالة execute في عقد الحساب، لتنفيذ العملية المستهدفة لـ userOp.

3. مقدمة عن AA الأصلي

في الإيثريوم، تنقسم الحسابات إلى حسابات EO و حسابات العقود. ومع ذلك، في AA الأصلية، كل حساب هو عقد، وآلية معالجة المعاملات مضمنة مباشرة في بروتوكول blockchain.

تصميم AA في الشبكات المختلفة للبلوك تشين:

• تجريد حساب ERC-4337: Ethereum ، Arbitrum ، التفاؤل ، القاعدة ، Linea ، التمرير ، Polygon PoS
• تجريد الحساب الأصلي يتبع ERC-4337: عصر StarkNet و zkSync
• حساب تجريدي أصلي مصمم للخصوصية: Aztec

الفرق بين ERC-4337 و AA الأصلي

1. دور نظام التشغيل

AA OS بحاجة إلى حل المشاكل التالية:

• المتخذون لأسعار الغاز
• صانع قرار ترتيب المعاملات وموقع ذاكرة التخزين المؤقت
• مُشَغِّل دالة نقطة الدخول
• عوامل تحديد عملية معالجة المعاملات

في ERC-4337، يتم تنفيذ هذه الأدوار بالتعاون بين Bundler وEntryPoint Contract.

في AA الأصلية، يقوم المستخدم بإرسال userOps الخاص به إلى مشغل/منظم الخادم الرسمي، بدلاً من Bundler و EntryPoint Contract.

في StarkNet، يتولى Sequencer معالجة جميع هذه المهام.

في zkSync، يكمن الاختلاف الرئيسي بين Era وغيرها من تنفيذات AA في أن الـ Operator يحتاج إلى العمل مع الـ bootloader (عقد النظام). يقوم الـ bootloader بفتح كتل جديدة، وتحديد معاييرها (بما في ذلك معايير الكتل ومعايير الغاز الأخرى)، ويستقبل المعاملات من الـ Operator للتحقق منها.

2. واجهة العقد

نظرًا لوجود ثلاث خطوات ، فإن واجهة عقد الحساب متشابهة في تنفيذات مختلفة ، ولا يمكن استدعاء هذه الدوال المدخلة إلا بواسطة AA OS:

• ERC-4337: التحقق من عمليات المستخدم
• zkSync: التحقق من المعاملات، دفع المعاملات، تنفيذ المعاملات
• StarkNet: تنفيذ، تحقق، تحقق_إعلان، تحقق_نشر

في ERC-4337 و AA الأصلية، فإن وظيفة نقطة الدخول في مرحلة "التحقق" ثابتة، بينما في مرحلة "التنفيذ"، فإن نقطة الدخول ثابتة فقط في AA الأصلية.

3. قيود خطوات التحقق

نظرًا لعدم وجود قيود على تكلفة التحقق من المعاملات (في جوهرها، تعتبر عمليات التحقق من المعاملات استدعاء لدالة العرض)، يمكن للمهاجمين تنفيذ هجمات DoS على مجموعة الذاكرة، مما يؤدي إلى إفساد المجمع (EIP-4337) أو المشغل/الترتيب (AA الأصلي).

EIP-4337 يحدد العمليات التي يجب حظرها وكيفية تقييد الوصول إلى التخزين. zkSync Era خففت من بعض استخدامات OpCode:

• منطق العقد يمكنه فقط الوصول إلى فتحة التخزين الخاصة به. إذا كان عنوان عقد الحساب هو العنوان A، فإنه يمكنه الوصول إلى:

  • فتحة التخزين التابعة للعنوان A
  • خزانة التخزين التي تنتمي إلى أي عنوان آخر A
  • تخزين الخزانة keccak256 (A || X): هذا يعني استخدام العنوان مباشرة كمفتاح في الخريطة (على سبيل المثال، mapping (address => value))، وهو ما يعادل الوصول إلى الخزانة keccak256 (A || X). على سبيل المثال، رصيد الأصول في عقد ERC-20.

• منطق العقد الذكي لا يمكنه الوصول إلى المتغيرات العالمية، مثل رقم الكتلة. كما أن StarkNet لا يسمح باستدعاء العقود الخارجية.

4. قيود خطوات التنفيذ

في zkSync، يتطلب تنفيذ استدعاءات النظام التأكيد على وجود علامات النظام. على سبيل المثال، الطريقة الوحيدة لزيادة nonce هي التفاعل مع NonceHolder، بينما يتطلب نشر العقد التفاعل مع ContractDeployer. تضمن علامات النظام أن مطوري الحسابات يتفاعلون بوعي مع عقود النظام.

لا توجد قيود خاصة في مرحلة التنفيذ في ERC-4337 و StarkNet.

5. رقم عشوائي

• في ERC-4337، يميز تصميم عدد النقاط المدخلة بين قيمة مفتاح مكونة من 192 بت وقيمة عشوائية مكونة من 64 بت.
• في zkSync، تدير عقد نظام NonceHolder nonce، مما يضمن زيادة صارمة، أي زيادة الرقم العشوائي بمقدار 1.
• في StarkNet، nonce أيضًا يتزايد بشكل صارم، ولكن لا يوجد nonce تجريدي يتم إدارته بواسطة عقد محدد.

6. استخدام المعاملة الأولى للتوزيع

• تحتوي بنية userOp في ERC-4337 على حقل initcode لنشر المرسل (عقد الحساب) في أول userOp له.
• في StarkNet و zkSync، يجب على المستخدمين إرسال المعاملة الأولى إلى المشغل / المنظم لنشر عقد الحساب.

7. التصميم الخاص في zkSync

إذا قمت بنقل ETH مباشرة من EOA الإيثريوم إلى zkSync دون الحاجة إلى نشر عقد حساب مخصص، فسوف تتلقى حسابًا افتراضيًا بنفس العنوان. يمكن أن يعمل هذا الحساب مثل EOA الإيثريوم، ويتم التحكم فيه أيضًا بواسطة مفتاح خاص لـ EOA الإيثريوم المعني.

هذا النوع من الحسابات هو الإصدار None وليس الإصدار 1. لا يمكنك استدعاء دالة DefaultAccount لأنها لم تقم بنشر أي شفرة في مساحة النواة.

الفرق بين 4337 في L1 و 4337 في L2

هناك اختلافان رئيسيان في تنفيذ ERC-4337 على السلاسل المتوافقة مع EVM: اختلافات في البروتوكول واختلافات في الحساب.

1. اختلاف البروتوكول

في تصميم Rollup، يحتاج L2 إلى رفع البيانات إلى L1 من أجل الأمان والتسوية. في سياق ERC-4337، يجب أن تشمل التكاليف المتعلقة بعملية الرفع هذه، مثل رسوم أمان L1 ورسوم blob، في غاز التحقق المسبق. تحديد التكاليف المناسبة للرفع في غاز التحقق المسبق هو تحدٍ كبير.

2. اختلاف العنوان

طريقة ترميز العناوين في دالة create لـ zkSync ERA تختلف عن تلك المستخدمة في Ethereum و OP. بالإضافة إلى ذلك، تستخدم StarkNet دالة تجزئة فريدة لحساب العناوين. في سياق ERC-4337 على سلاسل متوافقة مع EVM، نفترض عادةً أن حساب العناوين متسق عبر السلاسل. ومع ذلك، هناك تفاصيل يصعب ملاحظتها قد تؤدي إلى اختلاف عناوين عقود الحساب بين تنفيذ ERC-4337 في Ethereum و L2.

المسألة الرئيسية هي إضافة تعليمات جديدة في الانقسام الصلب. على سبيل المثال، إذا كانت سلسلة L2 لا تدعم الانقسام الصلب في شانغهاي، ولم يتم تحديد إصدار EVM أثناء الترجمة، فإن إدخال push0 سيؤدي إلى تغيير في الشيفرة البايتية، حتى لو كانت شيفرة Solidity هي نفسها.

الخاتمة

以上 هو بعض المعلومات حول تجريد الحساب. إذا كان لديك أي استفسارات، فلا تتردد في الاتصال بي على تويتر.