تقوم StarkNet بتخفيض الرسوم 100 مرة بعد EIP-4844، لكن الأمور ليست بهذه البساطة

المؤلف: 0xSamo المصدر: LXDAO

01مقدمة

EIP-4844، باعتباره أكبر ترقية لـ Ethereum بعد The Merge، قد اجتذب اهتمامًا كافيًا من الشبكة بأكملها. مساحة التخزين المؤقتة لـ Blob المقدمة في هذه الترقية تعادل إضافة عربة مثبتة على الجانب إلى قطار Ethereum، مما يوفر مساحة أرخص لتوافر البيانات دون التأثير على حالة التشغيل الأصلية للقطار.

دعمت شبكات الطبقة الثانية مثل Optimism وStarkNet وArbitrum جميعها EIP-4844 في فترة زمنية قصيرة وحققت تأثيرات كبيرة في خفض التكلفة، وفيما يلي LXDAO في المعاملة التي دفعت فيها الخزانة الأجور للمساهمين في Optimism، كانت رسوم الغاز قبل وبعدها مختلفة في الواقع 100 مرة.

لكن بينما كنا متفاجئين بسرور، اكتشفنا أن StarkNet، كممثل لشركة ZK Rollup، حققت أيضًا تأثيرًا مذهلاً في خفض التكلفة. من المستوى السابق لاستهلاك الغاز الذي تجاوز بسهولة 1 دولار، انخفض أيضًا إلى 0.01 $.

إذا كنت تريد معرفة المزيد من المبادئ التقنية التفصيلية، فنحن نرحب بك للدخول إلى MyFirstLayer2 للتعلم.

02 لماذا يعد تخفيض رسوم StarkNet مفاجئًا؟

الفرق في متطلبات مساحة التخزين ذات المستوى الواحد بين OP Rollup وZK Rollup

لأن OP Rollup وZK Rollup لهما اعتماد مختلف على رسوم DA (توفر البيانات: توفر البيانات، بما في ذلك خدمات تخزين البيانات وتوزيعها، حتى تتمكن الأطراف الثالثة من الحصول على البيانات التي يريدون الحصول عليها).

سيقوم OP Rollup بتعبئة وضغط جميع تفاصيل المعاملات الأخيرة، بما في ذلك توقيعات المستخدم والمعلومات الأخرى، وتحميلها إلى شبكة المستوى الأول. لا يتطلب الأمر الكثير من مهام التحقق على شبكة المستوى الأول، وتقع جميع التكاليف تقريبًا في مساحة التخزين الخاصة بشبكة المستوى الأول.

في المقابل، يتمتع ZK Rollup بمعدل ضغط أعلى للبيانات. على سبيل المثال، يمكنها التخلي عن بيانات توقيع المستخدم والاعتماد على إثبات المعرفة الصفرية للتأكد من أن المعاملات قانونية، ولا تحتاج إلى حزم جميع تفاصيل المعاملة، فقط يتم حزم التغييرات في الحالة وتحميلها.

على سبيل المثال، على شبكة الطبقة الثانية، قام 100 مستخدم بالتداول على زوج تداول USDC/USDT، حيث يمتلك كل مستخدم للمعاملة وعقد المبادلة كلاً من USDC و سوف تتغير أرصدة USDC. بالنسبة لـ OP Rollup، فهي عبارة عن 100 معاملة و400 تغيير في الرصيد لـ 200 حساب؛ بالنسبة إلى ZK Rollup، لا يوجد فرق كبير فيما يتعلق بالتغييرات في أرصدة المستخدمين، ولكن بالنسبة لعقد المبادلة، يمكن ضغط أرصدة USDC وUSDT بإجمالي 200 تغيير. إلى تغييرين في الرصيد النهائي، مما يقلل بشكل كبير من حجم البيانات.

يتحقق ZK Rollup من الغاز الإضافي الذي يستهلكه ZK Proof

بعد فهم الفرق بين الاثنين، قد يكون انطباعك الأول هو أن رسوم الغاز الخاصة بـ ZK Rollup أقل بشكل عام، ومع ذلك، يجب على الطلاب الذين مارسوها أن يعلموا جميعًا أن تكلفة L2 من ZK Rollup مثل StarkNet وZkSync غالبًا ما تكون باهظة الثمن. وهو أعلى بكثير من OP Rollup، وخاصة مسار تقنية STARK الخاص بـ StarkNet، وهو أكبر من ZK Proof لمسارات SNARK الأخرى، وغالبًا ما يكون في أسفل تصنيفات رسوم نقل L2.

كل جدول رسوم المستوى الثاني في وقت معين في عام 2023

السبب وراء عدم تفوق ZK Rollup على OP Rollup على الأرض بمجرد اتصاله بالإنترنت هو بسيطة للغاية، على الرغم من أنها تتمتع بمعدل ضغط أعلى لبيانات المعاملات وتوفر تكلفة نقل البيانات إلى الطبقة، إلا أنها تحتاج إلى التحقق من شرعية إثبات المعرفة الصفرية على طبقة الشبكة، مما يزيد من تكلفة الحساب.

يمكن لـ Blob تقليل تكلفة جزء التخزين فقط، ولكنه لا يساعد جزء الحساب، لذلك، فإن الفوائد التي يمكن أن يحصل عليها ZK Rollup من EIP-4844 هي المزيد هناك عدد قليل، لذلك من الصعب ألا نتفاجأ برؤية StarkNet تتقدم من أسفل "المتفوقين" إلى نفس مستوى المركزين الأول والثاني في الفصل.

03 استكشاف رسوم StarkNet

يجب أن أقول إن آلية ZK Rollup أكثر تعقيدًا بكثير من آلية OP Rollup. على سبيل المثال، من خلال عقد Optimism: Batcher، من حيث تكلفة تعبئة البيانات إلى الشبكة الرئيسية قبل وبعد عند الترقية، يمكن لأي شخص أن يفهم تمامًا سبب انخفاض رسوم المعاملات بمقدار أمرين.

معرفة المزيد:

لمسة أخيرة قبل ترقية الدفعة:

https://etherscan.io/tx/0x8d8a21aeb64a62c66bc1848c2f37c4ca266edc5d122dd287270bc6aa2c24f445

https://etherscan.io/tx/0xa3e36193ab5ca4e6e98848640b1896def4c419ce203e7bd8e876dd2d5eb77e6c

الرسوم لـ 6 نقاط (إجمالي 0.00078 إيثريوم):

https://blobscan.com/tx/0xaec6d2e65705632f869c02b9baf063822153e058c0da75723733b78b99242f35

ومع ذلك، أثناء عملية استكشاف تكلفة غاز StarkNet، واجه المؤلف صعوبات كبيرة، بل وواجه انعكاسات متعددة في عملية الاستكشاف نفسها هو أيضًا مفيد جدًا، دعنا نراجعه مع المقالة.

L1DA المختفي

بسبب استكشاف التفاؤل بناءً على تجربة Fei Mi، اعتقدنا بطبيعة الحال أن كل ما يتعين علينا القيام به هو العثور على العقد الذي قدمت فيه StarkNet البيانات إلى الشبكة الرئيسية، ويجب أن يكون هذا العقد المهم مدرجًا في قائمة استهلاك الغاز لدى Etherscan في وقت ما، ولا ينبغي أن يكون الأمر صعبًا للعثور على Scroll، الذي لم يتم تكييفه بعد مع Blob، لا يزال من بين الأفضل ويقف في القمة المبهرة.

عندما نبحث عن الكلمات الرئيسية لـ StarkNet، سنجد 3 عقود مرتبطة: المشغل، والعقد الأساسي، وسجل حقائق صفحة الذاكرة. ومع ذلك، فإن العقد الثالث الذي يبدو أنه مرتبط بمساحة التخزين قد تم إيقافه منذ ما يقرب من عامين. .

لذلك لا يمكننا إلا أن نرى أن المشغل يتفاعل باستمرار مع العقد الأساسي ويقوم بتحديث الحالة الأخيرة باستمرار.

وإذا انتقلنا إلى الجزء الأمامي والخلفي من كائن التكيف الثنائي الكبير، نجد أن معاملة حالة تحديث المشغل قد تمت ترقيتها بالفعل، ولكنها مجرد تجزئة تشير إلى حزمة بيانات أخرى. حتى التحديث الأخيرStateKzgDA يستهلك المزيد من الغاز، وهو ما لا يمكن أن يفسر سبب تخفيض رسوم StarkNet على الإطلاق.

هذا التحديث الأخير هو مجرد التزام متعدد الحدود KZG، يستخدم لإثبات أن البيانات الموجودة في Blob والدفعة المقابلة لها هي البيانات الحزمة مطابقة وهي مجرد "جذر الحالة". يتوافق جذر الحالة هذا مع "دفتر الأستاذ الصغير" الذي يسجل جميع حالات جميع العقود الموجودة على شبكة المستوى الثاني. وهذا الدفتر الصغير موجود نظريًا أيضًا على شبكة المستوى الأول.

السؤال إذن هو لماذا لم يتبق سوى جذر واحد؟ أين ذهب هذا الدفتر الصغير السميك؟

التحليل بعد الفشل الأول

على الرغم من أن الأول كان الاستكشاف أقل نجاحًا، لكننا مازلنا قادرين على الحصول على بعض الاستنتاجات والتخمينات. يجب أن يعلم الأصدقاء الذين شاهدوا MyFirstLayer2 أن المشكلة الأساسية التي ناقشتها Rollup هي مشكلة DA (توفر البيانات)، والحلول التي يعتمدونها هي تحميل البيانات الأساسية إلى الشبكة الرئيسية لحل مشكلة توفر البيانات، حتى يتمكن الجميع من الوصول إليها بسهولة انها تتطلب البيانات.

1. OP Rollup هو في الواقع طريقة بسيطة وبسيطة لضغط كل معاملة وتعبئتها وتحميلها إلى طبقة من الشبكة، ثم يمكن للآخرين الحصول على الصورة الكاملة لدفتر الأستاذ الصغير للطبقة الثانية عن طريق فك ضغط كل معاملة وإعادة تشغيلها للتحقق مما إذا تم تنفيذ المعاملة بشكل صحيح.

2. لا يحتاج ZK Rollup إلى تحميل جميع تفاصيل المعاملة، فقط فرق الحالة (جزء تغيير الحالة في كل دفعة) يحتاج إلى تحميل سيتم تحميلها. نعم، يتم استخدام إثبات المعرفة الصفرية لضمان تنفيذ جميع المعاملات بشكل صحيح على الطبقة الثانية. يمكن للآخرين استعادة الصورة الكاملة لدفتر الأستاذ الصغير للطبقة الثانية من خلال إعادة عرض نتائج تغييرات الحالة المتعددة.

ونعلم أن البيانات الموجودة في Blob هي مجرد سلسلة من النص الثنائي لطبقة واحدة، والطبقة الأولى فقط يحمي البيانات الموجودة في Blob، ولا يمكن التحقق من دقة ZK Proof دون التحقق من شرعيتها، ولا يمكن للعقد الذكي لطبقة واحدة قراءة محتويات Blob والتحقق منها، لذلك، إذا كان لا يزال يتم التحقق من ZK Proof بواسطة الطبقة الأولى ، لا يمكن وضع إثبات ZK نفسه في Blob، لذلك StarkNet لتحقيق تأثير معين لخفض التكلفة، يجب وضع اختلاف الحالة لكل دفعة في Blob.

لذا من الواضح أن مهمتنا التالية هي معرفة أين تضع StarkNet فرق الحالة؟ أين تم وضعها في الماضي وهل يتم وضعها في النقطة الآن؟

بالإضافة إلى ذلك، فإن حقيقة إمكانية العثور على جذر حالة واحد فقط تجعل الناس يتساءلون عما إذا كانت StarkNet قد قامت بتحميل بيانات تغيير الحالة بهدوء إلى الشبكة الرئيسية منذ وقت طويل. تم تغييرها لتكون مسؤولية DAC (لجنة توفر البيانات) الخاصة بها. إذا كان هذا هو الحال بالفعل، فإن الرسوم المرتفعة السابقة التي فرضتها StarkNet غير معقولة على الإطلاق ولا يمكن تفسيرها إلا على أنها...

الروابط ذات الصلة:

https://layer2.myfirst.io/zh#2.4-rollup

نظام SHARP

لحسن الحظ، بعد المناقشة مع @0xYandhii ، جديد في فجر عام 2018، StarkNet قبل إطلاق الشبكة الرئيسية العالمية، كان المنتج الأول في الواقع StarkEX، بما في ذلك بورصة المشتقات اللامركزية DYDX، والتي كانت أيضًا منتجًا لتلك الفترة. بعد أن أصبحت الشبكة الرئيسية متصلة بالإنترنت، لم يتم التخلي عن المنتج الأصلي، ولكن بدلاً من ذلك تمت مشاركة نظام التحقق مع الشبكة الرئيسية.

أي SHARP: نظام إثبات وتحقق مشترك، ثم وجدنا العقود ذات الصلة مثل SHARP Blockchain Writer وStarkware: SHARP Verifier.

افتح متصفح الكتلة للاستعلام عن المعاملات ذات الصلة، يمكنك أن تجد أن SHARP Blockchain Writer قام بتنفيذ الأنواع الأربعة التالية من العمليات:

1. التحقق من Merkle: التحقق من شجرة Merkle

2. Verify FRI: Fast Reed-Solomon Interactive Oracle Proof of Proximity، يُستخدم للتأكد من أن البيانات المقدمة أو نتائج الحساب تتبع قواعد أو قيود محددة دون الكشف عن محتوى البيانات نفسها.

3. تسجيل صفحة الذاكرة المستمرة: تم تحميلها أكثر من مائة مرة في الدورة، وتسجيل مساحة ذاكرة مستمرة، يشتبه في أنها طبقة جزء من الشبكة حيث يتم كتابة البيانات.

4. التحقق من الإثبات والتسجيل: مرة واحدة في الدورة، بسرعة تصل إلى عشر دقائق، وبسرعة تصل إلى ساعة أو ساعتين، يجب أن تكون يتم التحقق من المعاملات المتعددة في دفعة واحدة.

ليس من الصعب أن نرى أن الخطوات 1 و2 و4 هي خطوات تتعلق بإثبات المعرفة الصفرية، وأن الخطوة الثالثة هي التسجيل. من الواضح أن مساحة الذاكرة هي خطوة كتابة البيانات إلى طبقة الشبكة، وهي المكان الأكثر احتمالاً لتخزين اختلافات الحالة.

من المعقول التكهن بأن تكاليف خطوات التحقق الثلاثة لم تتغير بشكل كبير قبل وبعد ترقية Blob، ويجب أن تكون تكلفة الخطوة الثالثة قادر على شرح خطوتين لتأثير تخفيض رسوم StarkNet.

فتابع المؤلف تصفح متصفح الكتلة، ووجد الإصدار القديم قبل الأخير قبل EIP-4844، والإصدار الأول قبل الأخير، والأحدث إصدار 3 التي تم ترقيتها قم بإجراء دورة تحقق واحدة لكل فترة، وقم بحساب الغاز المستهلك في الخطوات الأربع.

النتائج كالتالي مما يجعل الناس في حيرة من أمرهم.

انخفضت تكاليف الذاكرة بمقدار النصف، ولكن انطلاقًا من نسبة التكاليف في عملية التحقق من ZK Proof بأكملها، فإن هذا المستوى من انخفاض DA لا يفسر أي مشاكل.

لقد وصل الاستكشاف إلى نهايته تقريبًا عند هذه النقطة. يشعر المؤلف وكأنه فيزيائي يجلس أمام مصادم الجسيمات الكبير في عالم الأجسام الثلاثة. كل خلية دماغية تصرخ: هذا غير منطقي، حتى أنني ذهبت إلى مجتمع StarkNet لنشر منشور لأطرحه، ولكن ربما لأن السؤال معقد للغاية، لم يستجب أحد في المجتمع الإنجليزي.

روابط ذات صلة:

كاتب SHARP Blockchain:

https://etherscan.io/address/0x16d5783a96ab20c9157d7933ac236646b29589a4

Starkware: SHARP Verifier:

https://etherscan.io/address/0x47312450b3ac8b5b8e247a6bb6d523e7605bdb60

استكشاف نظام SHARP GasUsed< /strong>

في هذه المرحلة، لدينا الحيلة الصغيرة الأخيرة المتبقية في ملف CSV لبيانات المعاملة التي تم تنزيلها من قبل، لا يوجد سوى ETH التي تستهلكها رسوم الغاز. ولا توجد معلومات مثل Gaslimit، لذلك لا يمكن استبعاد تأثير تقلبات أسعار وحدة الغاز على الإحصائيات. لذلك كتب المؤلف نصًا لحساب الغاز المستخدم (الجزء المستخدم من Gaslimit) الذي تم استهلاكه فعليًا في كل معاملة معنية.

أخيرًا، ظهر الضوء! يمكن ملاحظة أنه قبل الترقية، تم إرسال معاملات تسجيل مساحة الذاكرة فعليًا في مجموعات مكونة من 2. كانت تكلفة الغاز الواحدة 50000 كحد أدنى، بينما كانت تكلفة الأخرى بشكل عام حوالي 300000 غاز.

بعد الترقية، أصبحت جميع معاملات الذاكرة المسجلة تقريبًا معاملات منخفضة التكلفة تبلغ 50000.

الاستنتاج الغريب في المرة الأخيرة هو على الأرجح أننا أخذنا عددًا قليلاً جدًا من العينات. وحدث أن دورة التحقق بعد الترقية استحوذت على فترة كبيرة من زيادة الغاز في الشبكة الرئيسية، مما جعلها تستمر لفترة طويلة، مئات المرات. سجل تكلف معاملات صفحة الذاكرة المستمرة غازًا أعلى، مما يؤدي إلى تحريف النتائج الإحصائية.

وفقًا لهذه الفكرة، قمنا بإعادة تنظيم بيانات GasUsed لثلاث لحظات، وهو أمر أكثر منطقية هذه المرة. في هذه المرحلة، يمكن التأكد من أن حجم صفحة الذاكرة قد تم بالفعل تقليله بشكل كبير بعد الترقية. يجب أن يكون هذا هو المكان الذي يتم فيه تخزين بيانات تغيير حالة اختلاف الحالة. بعد الترقية، تم نقل هذا الجزء من البيانات إلى النقطة.

وبعد ذلك وجدنا الرسم التخطيطي الفني لـ StarkNet على l2beat.com ووجدنا أن اختلاف الحالة مخزن بالفعل في صفحة الذاكرة كما توقعنا.

في النهاية، واستنادًا إلى حساباتنا المستندة إلى عدد الغازات المستخدمة (تقدير واسع يعتمد على حجم العينة الصغيرة المختارة عشوائيًا حاليًا)، فإن التكلفة الفعلية لـ L1DA لـ StarkNet قد انخفضت بحوالي 4 إلى 10 مرات، وهو ما يعادل أقل قليلا من أمر من حيث الحجم. يتوافق هذا أيضًا مع الاستنتاج النظري: في ترقية EIP-4844، لا يحصل ZK Rollup على فائدة كبيرة مثل OP Rollup.

04 الملخص

بعد الاستكشاف أعلاه، قمنا أخيرًا بتوضيح أسباب ومدى تخفيض رسوم StarNet، ولا تزال النتيجة مثيرة للاهتمام إلى حد ما.

انخفضت رسوم L1DA بشكل ملحوظ، لكن هذا لا يمكن أن يفسر الانخفاض بمقدار درجتين

من الواضح أن StarNet كانت تكتب بيانات كل دفعة من تغييرات الحالة في طبقة من الشبكة. والآن تضع هذا الجزء من البيانات في Blob، وذلك أثناء عملية تسجيل مساحة الذاكرة ، يمكن أن يكون أقل قليلاً من تأثير تخفيض الرسوم من حيث الحجم.

ومع ذلك، ارتفع StarkNet من المركز الأخير أو الثاني إلى مستوى الطلاب المتفوقين في قسم OP من حيث التقدم النسبي، حتى أنه هزم مجموعة OP بأكملها، وهو أمر مستحيل بشكل واضح.

إذن التفسير الوحيد المعقول هو أن الدخل "ذو القلب الأسود" كان بالفعل مرتفعًا جدًا من قبل. قبل إصدار رموز STRK، كانت جميع حوافز التطوير والمجتمع الخاصة بـ StarkNet تتطلب أموالاً، بالإضافة إلى حرق أموال المستثمرين، قد يكون تحديد فرق أعلى في سعر غاز L2 L1 إحدى طرقهم للحفاظ على التطوير، مما تسبب في إحراج StarNet السابق. حالة الفاتورة.

الآن بعد أن جلب إصدار الرمز المميز STRK لهم ما يكفي من السيولة والحوافز البيئية، فقد حان الوقت لإعادة الغاز إلى مستوى معقول مع هذه الموجة من ترقيات Blob. تمت إزالة أكياس الرمل المربوطة بالقدمين، وقد فاجأ تأثير خفض التكلفة الكثير من الناس حقًا.

OPization لـ ZK

OP التراكمي بعد الترقية، بعد عند نقل البيانات المخزنة في الأصل في Calldata لشبكة Ethereum الرئيسية إلى منطقة التخزين المؤقتة، يتم التضحية بالقليل من الأمان بالفعل.

في السابق، تم تخزين البيانات الموجودة في مساحة Calldata بشكل دائم، مما يعني أنه يمكن لأي شخص الحصول على بيانات كافية من شبكة Ethereum الرئيسية لاستعادة جميع الحالات الحالية .

ولكن بعد الترقية، ستنتهي صلاحية بيانات Blob إذا لم يقم أي كيان في الشبكة بأكملها بحفظ بيانات Blob السابقة، فقد تكون سجلات المعاملات التاريخية لـ OP L2. ضائع. على الرغم من أنه لا يزال من الممكن حماية أحدث حالة لشبكة الطبقة الثانية - نظرًا لأن فترة تخزين النقطة الثنائية تتجاوز فترة التحدي البالغة 7-14 يومًا الخاصة بـ OP، لذلك قبل أن تنتهي صلاحية كل فقاعة كبيرة، تظل حالة الطبقة الثانية المقابلة لها ذات مصداقية، في هذه الأيام العشرة الأخيرة من سجلات المعاملات تحافظ على أمان OP L2 على أساس متجدد.

ZK Rollup إذا كنت ترغب في الاستمتاع بمزايا Blob، فأنت بحاجة أيضًا إلى نقل بيانات حالة الطبقة الثانية المهمة من مساحة Calldata الدائمة إلى مساحة Blob. وهذا يعني أنه بعد فترة من الوقت، لم يعد بإمكاننا الاعتماد على البيانات المقدمة من شبكة المستوى الأول لإعادة عرض حالة شبكة المستوى الثاني كما كانت من قبل.

ربما يصبح هذا أمرًا طبيعيًا جديدًا في المستقبل، ستعتمد جميع شبكات الطبقة الثانية على Blob للحفاظ على أحدث حالة من الأمان، وكل L2 أيضًا يحتاج إلى طرق إضافية خاصة به لمعالجة مدى توفر بيانات المعاملات التاريخية لتحقيق توازن أفضل بين الأمان والكفاءة.

اتجاه التكامل بين OP وZK

الماضي، لا، تم إطلاق الجيل الأول من OP Rollup أولاً، لكن الجيل الأول من ZK Rollup لم يقدم رسوم غاز أكثر تنافسية بعد أن أصبح متاحًا عبر الإنترنت. مع اتجاه النمطية اللاحق الناتج عن ظهور OP Stack وPolygon SDK، تخطط OP Stack لإدخال تقنية ZK في المستقبل لتقليل فترة التحدي.

يشير هذا بلا شك إلى حقيقة أن المسارين الفنيين لـ OP وZK ليسا منافسة حياة أو موت، بل سيتعلمان من بعضهما البعض وسيكون لهما الميل إلى التكامل، ولكن هذا هو الوقت الذي تعلم فيه ZK "النبيل" من OP "البسيط والفج".

من الصعب أن نتخيل أن تكنولوجيا شبكة الطبقة الثانية قد تطورت إلى هذا الحد خلال عامين أو ثلاثة أعوام فقط عالم البلوكشين.