المؤلف: xpara، Four Pillars؛ translation: Jinse Finance xiaozou
النقاط الرئيسية:
تعمل Matterlabs ، وهي شركة تطوير zkSync ، على تطوير zkEVM الفريد وإنشاء منتجات رائعة.
حاليًا ، يُظهر عصر zkSync نموًا ، كما يتضح من مقاييسه الرائعة وعمليات نشر التطوير عبر المشاريع.
يمكننا فهم بنية zkSync من خلال ثلاث طبقات رئيسية من zkSync: طبقة التنفيذ وطبقة التسوية وطبقة توفر البيانات.
قد يكون لدى ZK-Stack (مصدر البرنامج الأساسي لـ zkSync) و OP-Stack فلسفات مماثلة. لا تزال هناك اختلافات واضحة يمكن رؤيتها من منظور مطوري dapp والمطورين الأساسيين ومشغلي الأعمال.
** 1 **** ، تطور zkSync **** التاريخ **
** 1.1 تاريخ موجز لـ zkSync **
بدأ تطوير zkSync في EthCC في عام 2019. في ذلك الوقت ، كان لا يزال فريقًا صغيرًا مكرسًا لتطوير ونشر Rollup بشكل مشترك مع zkSNARK. لقد أطلقوا دليلًا على المفهوم في يناير 2019 باستخدام zkSNARKs لتشغيل سلسلة جانبية في Ethereum. ومنذ ذلك الحين ، جعلوا اللامركزية مبدأً أساسياً. ركزوا على تخزين جميع بيانات المعاملات في Ethereum وعملوا على نموذج متعدد المشغلين للتعامل مع نموذج اللامركزية للفرز.
في يونيو 2020 ، حقق الفريق تقدمًا كبيرًا مع إطلاق zkSync v1 mainnet. يعد zkSync v1 معلمًا رئيسيًا في تطوير zkSync ، ويمثل التنفيذ الفعلي لمفهومه الأصلي على نطاق أوسع. بعد عام ، في يونيو 2021 ، حققوا تقدمًا إضافيًا وأطلقوا شبكة الاختبار zkSync 2.0 ، والمعروفة أيضًا باسم Era.
بحلول مارس 2023 ، تم إصدار الشبكة الرئيسية الكاملة لـ zkSync بنجاح ، مما يمثل إنجازًا كبيرًا للفريق. يوضح هذا التطور أن المنصة وصلت إلى مستوى عالٍ من النضج وهي جاهزة للتبني على نطاق أوسع. هذا هو إصدار أول mainnet zkEVM تم نشره في النظام البيئي Ethereum Rollup.
حاليًا ، يعمل الفريق على جعل zkSync مفتوح المصدر. سيؤدي ذلك إلى تمكين النشر المنفصل لسلاسل zk rollup من داخل ZK-Stack ، مما يتيح للفرق إطلاق مجموعات التحديثات المخصصة الخاصة بهم. ومن المتوقع الإعلان عن مزيد من التفاصيل حول هذا التطور المثير قريبًا.
*** **** *** '** *** **
جمع ماترلاب ، فريق التطوير المسؤول عن zkSync ، تمويلًا كبيرًا للمضي قدمًا في مهمته. مع أحدث جولة من سلسلة C في نوفمبر 2022 ، وصل إجمالي تمويلهم إلى 458 مليون دولار ، والتي اشتملت على جولات متعددة وصناديق مخصصة للنظام البيئي ، بما في ذلك على سبيل المثال صندوق منفصل مخصص للنظام الإيكولوجي بقيمة 200 مليون دولار ، و 200 مليون دولار أسترالي من السلسلة ج ، و 50 مليون دولار من السلسلة ب. بقيادة a16z ، وجولة أولية بقيمة 8 ملايين دولار.
· جولة البذور: في الجولة الأولية ، تلقت شركة Matterlabs تمويلًا بقيمة 2 مليون دولار من PlaceholderVC و Hashed ومستثمرين آخرين. قدم هذا الحافز المالي المبكر الأساس اللازم لعملهم لبدء مشروع zkSync.
السلسلة أ: بعد جولتها الأولية ، جمعت شركة Matterlabs مبلغًا إضافيًا قدره 6 ملايين دولار في تمويل السلسلة أ. يوفر هذا التدفق الجديد لرأس المال حافزًا للنهوض بالبحث والتطوير وتقريب zkSync من هدفه النهائي.
السلسلة B: تكتسب Matterlabs زخمًا حيث تمكنت من جمع 50 مليون دولار في جولة من السلسلة B بقيادة a16z بشكل أساسي.
· السلسلة C: جولة تمويل Matterlabs C تبلغ 200 مليون دولار.
أخيرًا ، بالإضافة إلى جولات الاستثمار المذكورة أعلاه ، أطلقت Matterlabs صندوقًا مخصصًا للنظام البيئي بقيمة 200 مليون دولار. هذا الصندوق مخصص لتعزيز نمو وتطوير نظام zkSync البيئي الأوسع.
توفر كل هذه الموارد لشركة Matterlabs الدعم المالي اللازم لتعزيز مهمة zkSync ، وتسريع وتيرة التنمية ، وتعزيز نمو النظام البيئي الأوسع. بشكل عام ، تمتلك Matterlabs قدرًا كبيرًا من التمويل في مشاريع blockchain المهمة.
على مر السنين ، حققت zkSync تقدمًا هامًا في التنمية. وصلت zkSync v1 ، الآن zkSync Lite ، إلى مرحلة تطوير بارزة في ديسمبر 2020 ، حيث تجاوزت مليون دولار في إجمالي القيمة المقفلة (TVL). منذ ذلك الحين ، نما TVL لنظام zkSync البيئي بشكل كبير. اعتبارًا من الآن ، تجاوز TVL الخاص بـ zkSync مبلغ 650 مليون دولار ، مما يجعله ثالث أكبر مجموعة L2 في النظام البيئي Ethereum.
بحلول شهر يونيو من هذا العام ، كان لدى zkSync بعض المقاييس الرئيسية المثيرة للإعجاب. على الرغم من أن zkSync كان أدنى قليلاً من Arbitrum في يونيو ، إلا أنه احتل المرتبة الأولى في TPS. لديها أسرع معدل نمو في TVL ويقود إجمالي مدفوعات الرسوم على المستوى 1.
بالإضافة إلى ذلك ، يتزايد عدد المحافظ الفريدة أيضًا ، مما يشير إلى زيادة اعتماد المستخدم. في الوقت نفسه ، تتزايد أيضًا كمية ETH الموصلة إلى zkSync.
Argent هي محفظة محمولة غير أمينة للعملات المشفرة المستندة إلى Ethereum ، مما يوفر تجربة آمنة وسهلة الاستخدام لإدارة الأصول الرقمية.
يتمتع Argent بتصميم فريد لوضع الأمان ، حتى في حالة فقد الهاتف المحمول للمستخدم أو سرقته ، يمكنه أيضًا حماية أصول المستخدم. يتضمن نموذج الأمان ميزات مثل المصادقة البيومترية ، والتعافي الاجتماعي ، ومحافظ العقود الذكية على السلسلة. قال V God ، مؤسس Ethereum ، أن Argent عبارة عن محفظة بها وظائف أمان واسترداد اجتماعية متعددة التوقيع.
SyncSwap هو أكبر بروتوكول DeFi في عصر zkSync. إنه DEX قائم على AMM يوفر العديد من الميزات المهمة في تصميم AMM. يوفر تجمع AMM للعديد من الرموز المميزة ، والخصائص المهمة هي كما يلي.
Stableswap: يسمح التجمع المتعدد لـ SyncSwap بتجميع عدة نماذج تجمع مختلفة ، لكل منها السيناريو الأمثل الخاص بها ، مما يجعل المعاملات فعالة. سيكون أول نموذج تجمع يتم تنفيذه هو Stable Pool. وبالمقارنة مع Classic Pool للأغراض العامة ، فإن Stable Pool يدعم معاملات العملات المستقرة الفعالة ، مما يتيح SyncSwap لدخول سوق العملات المستقرة على نطاق واسع.
· جهاز التوجيه الذكي: يعمل كمنصة لتجميع السيولة تجمع مختلف مجموعات السيولة ونماذج التجميع المختلفة لتوفير أفضل الأسعار دون عناء. يوفر قفزات متعددة وتقسيم المسار.
الرسوم الديناميكية: أدخل SyncSwap رسومًا ديناميكية على DEX الخاص به ، مما يسمح للمستخدمين بتخصيص رسوم المعاملات بناءً على ظروف السوق وتفضيلات المجتمع. بما في ذلك الرسوم المتغيرة والرسوم المستهدفة وخصومات الرسوم والتعهيد في الرسوم. توفر هذه الميزات للمستخدمين المرونة والقدرة على التكيف لتحسين استراتيجيات التداول الخاصة بهم والبقاء على اتصال مع الأسواق والمجتمعات المتغيرة باستمرار.
توفر بيئة الألعاب في Tevaera مزيجًا فريدًا من المغامرة والتكنولوجيا لعالم الألعاب. تقدم Teva Games ألعابًا عبر مجموعة متنوعة من الأنواع ، تقع في بيئات طبيعية ومتصلة بقصة مركزية لشخصيات Guardian. ستظهر أول لعبة متعددة اللاعبين مع إصدار Tevaera 2.0 ، وتقدم طريقة لعب مثيرة بما في ذلك ترقيات ذات طابع تشفير وأنماط لعب متعددة.
تعمل البنية التحتية للألعاب على السلسلة المكونة من Teva Core و Teva Chain و Teva Dex و Teva Market على تعزيز النظام البيئي بشكل أكبر.
· Teva Core هو إطار لعبة متعدد اللاعبين متقدم.
· Teva Chain عبارة عن سلسلة ألعاب عالية المستوى من الطبقة الثالثة تسهل الانتقال إلى سلسلة ألعاب كاملة.
· تساهم Teva DEX في اقتصاد اللعب المستدام من خلال لعبة dex التلقائية.
· سوق Teva يسمح بسك وتداول شخصيات NFT الفريدة.
** 3 **** ، هندسة zkSync **
zkSync Era هو بروتوكول L2 مصمم لحل مشكلة قابلية التوسع في Ethereum ، باستخدام بنية تراكمية صفرية المعرفة (ZK). تم تطويره بواسطة Matter Labs ، وهو عبارة عن منصة zk-rollup تركز على احتياجات المستخدم. تم تصميم النظام الأساسي ليكون متوافقًا على نطاق واسع مع جهاز Ethereum Virtual Machine (EVM) في جهاز افتراضي مخصص ، ومُحسَّن لأدلة عدم المعرفة.
يمكن تلخيص عملية zkSync التراكمية في المراحل التالية:
(1) في البداية ، يتم إنشاء المعاملات أو الإجراءات ذات الأولوية من قبل المستخدمين.
(2) بعد ذلك ، يتحمل المشغل مسؤولية معالجة طلب المستخدم. بعد المعالجة الناجحة ، يقوم المشغل بإنشاء عملية تجميع وإدراجها في الكتلة.
(3) بعد اكتمال الكتلة ، يرسلها المشغل إلى عقد zkSync الذكي في شكل إرسال كتلة. من الجدير بالذكر أن العقد الذكي يتحقق من جزء من المنطق الذي يتم تشغيل بعض التراكمية.
(4) أخيرًا ، يتم تقديم إثبات الكتلة إلى عقد zkSync الذكي ، وهذه الخطوة هي التحقق من الكتلة. إذا اعتبر عقد المدقق أن المصادقة ناجحة ، فإنه يتحقق من صحة الحالة الجديدة على أنها نهائية. هذه هي دورة الحياة التشغيلية لمجموعة zkSync.
سيتعمق هذا القسم في كيفية عمل zkSync ، مع التركيز على ثلاث طبقات أساسية:
(1) طبقة التنفيذ: تشير طبقة التنفيذ إلى العملية التي تؤدي إلى تغييرات أو انتقالات في حالة blockchain. ببساطة ، إنه المكان الذي يتم فيه تلقي المعاملات وتطبيقها على الحالة السابقة.
(2) طبقة التسوية: تستخدم طبقة التسوية نظام إثبات للتأكد من أن التغييرات التي تم إجراؤها أثناء مرحلة التنفيذ تعكس بدقة الحالة العامة للنظام.
(3) طبقة توافر البيانات: طبقة توافر البيانات هي جزء حفظ السجلات من النظام. إنه المكان الذي يتم فيه تخزين جميع بيانات المعاملات (المدخلات) وتحديثات النظام (المخرجات) والبراهين. والغرض من ذلك هو ضمان إمكانية إعادة إنشاء الحالة الحالية للنظام دائمًا من نقطة الصفر عند الحاجة.
** 3.1 طبقة التنفيذ **
** 3.1.1 طبقة تنفيذ على مستوى الآلة الافتراضية **
يتم تشغيله على type4 zkEVM ، مما يعني أنه يأخذ رمز عقد ذكي مكتوبًا بلغة عالية المستوى (مثل Solidity و Vyper) ثم يقوم بترجمته إلى لغة صديقة لـ zk-SNARK.
بالإضافة إلى ذلك ، فإن الميزة الفريدة لـ zkSync Era هي أنها تستخدم مترجمًا قائمًا على LLVM والذي سيسمح في النهاية للمطورين بكتابة عقود ذكية بلغات C ++ و Rust واللغات الشائعة الأخرى.
إطار عمل LLVM مترجم لبناء سلاسل أدوات لغة تعاقدية ذكية. يسمح التمثيل المتوسط عالي المستوى (IR) للمطورين بتصميم ونشر وتحسين ميزات لغة محددة مع الاستفادة في الوقت نفسه من نظام LLVM البيئي الواسع.
في سلسلة الأدوات المعمول بها ، تقوم LLVM بمعالجة LLVM IR ، وتقدم تحسينات كاملة ، وأخيراً تقوم بتمرير الأشعة تحت الحمراء المحسّنة إلى مولد كود الواجهة الخلفية zkEVM.
في zkSync ، يلعب التطبيق الأساسي (التطبيق الأساسي) دورًا رئيسيًا في إدارة طبقة التنفيذ.
تتمثل مسؤوليتها الأساسية في تتبع الودائع أو العمليات ذات الأولوية لعقود L1 الذكية. هذه الآلية ضرورية لضمان التكامل السلس لـ zkSync مع شبكة Ethereum ، حيث يجب مراقبة جميع التغييرات التي بدأت من شبكة Ethereum وانعكاسها في بيئة zkSync Layer 2 (L2).
التطبيق الأساسي مسؤول أيضًا عن إدارة تجمع الذاكرة (mempool) الذي يجمع المعاملات الواردة. ثم توضع مجموعة المعاملات هذه في قائمة انتظار لتتم معالجتها ، وتعمل بشكل فعال كمنطقة انتظار قبل تأكيد المعاملات وإضافتها إلى الكتلة.
تتضمن مسؤوليات Core App أيضًا جلب المعاملات من mempool ، وتنفيذها في جهاز افتراضي (VM) ، وضبط الحالة حسب الحاجة. تتكون العملية بشكل أساسي من الحصول على المعاملات ومعالجتها وعكس النتائج في النظام.
بعد تنفيذ المعاملة ، يقوم التطبيق الأساسي بإنشاء كتلة سلسلة. تتكون هذه الكتل من حزم المعاملات المنفذة والتحقق منها. ثم يرسل تطبيق Core هذه الكتل والأدلة إلى عقد L1 الذكي. تضمن هذه العملية أن تظل حالة سلسلة L1 Ethereum متزامنة مع سلسلة L2 zkSync.
لدعم التفاعل السلس بين التطبيقات المستندة إلى Ethereum ، فإنه يوفر واجهة برمجة تطبيقات web3 متوافقة مع Ethereum. هذا يجعل zkSync أكثر سهولة في الوصول إليه وسهل الاستخدام للمطورين والمستخدمين المهرة في النظام البيئي Ethereum.
** 3.2 طبقة التسوية **
طبقة التسوية مسؤولة عن ضمان سلامة انتقالات حالة zkSync. تتم عملية التحقق هذه في عقد ذكي يتم نشره على Ethereum. هناك نوعان من العقود الهامة في هذه العملية.
(1) عقد المنفذ: يحصل هذا العقد على بيانات الكتلة من المدققين وإثباتات zk لتحولات الحالة في zkSync.
(2) عقد المُحقق: هذا عقد منطقي يسمح للنظام بالتحقق من بيانات الكتلة وإثباتات zk التي يوفرها عقد المنفذ.
تلعب وظيفة provBlocks دورًا مركزيًا في ضمان سلامة وأمن نظام zkSync. تتمثل مسؤوليتها الرئيسية في التحقق من براهين zk-SNARK للكتل المقدمة. فيما يلي وصف موجز لكيفية عملها:
أولاً ، تضمن أداة proofBlocks التحقق من الكتل بالترتيب الصحيح. يقوم بذلك عن طريق التحقق مما إذا كانت الكتلة السابقة المستلمة هي الكتلة التالية في تسلسل blockchain التي يجب التحقق منها.
· بعد ذلك ، تبدأ الوظيفة في التكرار فوق كل كتلة مقدمة. يتحقق من أن تجزئة هذه الكتل تتطابق مع القيمة المتوقعة في موقع معين في blockchain. هذا يضمن أن الكتلة التي يتم التحقق منها هي بالفعل الكتلة الصحيحة.
تبدأ الوظيفة بعد ذلك في بناء مصفوفة proofPublicInput ، والتي تصبح قيمة الإدخال العام لعملية التحقق من إثبات zk-SNARK. يتم تضمين رقم الكتلة لكل كتلة ملتزمة في هذه المصفوفة.
بعد ذلك ، باستخدام مصفوفة proofPublicInput وبعض المعلمات المخزنة ، ستتحقق الوظيفة من إثبات zk-SNARK. إنه مشابه لحل اللغز ، يجب أن تتناسب جميع القطع معًا بشكل مثالي.
· إذا تم التحقق من الإثبات ، تقوم الوظيفة بتحديث النظام لتعكس أن الكتل قد تم التحقق منها الآن. إنه مثل وضع علامة بجانب عنصر في قائمة التحقق.
أخيرًا ، لكل كتلة تم التحقق منها ، تقوم الوظيفة بتشغيل حدث خاص يسمى BlockVerification. يشبه إرسال إشعار بأنه تم التحقق من رقم الحظر والتجزئة والالتزام.
باختصار ، تعمل وظيفة provBlocks مثل حارس البوابة اليقظ ، مما يضمن التحقق من الكتل بالترتيب الصحيح ، مما يضمن دقة أدلة zk-SNARK ، وتحديث حالة النظام وفقًا لذلك. هدفه هو منع تنفيذ الكتل غير الصالحة ، مما يضمن الأمان العام وسلامة نظام zkSync.
** 3.2.2 **** عقد المُحقق **
عقد المدقق هو المكان المناسب لتنفيذ منطق التحقق أعلاه. يعمل كحارس لـ zkSync عن طريق التحقق من براهين zk-SNARK للتحقق من البيانات الملتزمة. يتم استخدام عقد المدقق للتحقق مما إذا كانت البيانات المقدمة إلى zkSync صالحة.
يخزن عقد المدقق "مفتاح التحقق" ، والذي يستخدم للتحقق من براهين zk-SNARK. متى أراد zkSync الالتزام بتحديث ، فإنه ينشئ إثبات zk-SNARK ويقدمه إلى عقد المدقق عبر عقد المنفذ.
ثم يستخدم عقد المدقق مفتاح التحقق للتحقق من صحة الإثبات. إذا كان يعمل ، فأنت تعلم أن التحديث شرعي دون النظر إلى البيانات الفعلية. إذا كان غير صالح ، فسيتم رفض التحديث.
من خلال التحقق من هذه البراهين ، يضمن عقد المدقق تلقي البيانات الصحيحة والصحيحة فقط في zkSync. هذا أمر بالغ الأهمية للأمان ومنع تحديثات الحالة غير الصالحة.
** 3.3 طبقة إتاحة البيانات **
تعمل طبقة توفر البيانات في النظام كأرشيف ، وتخزن جميع معلومات المعاملة (المدخلات) ، وتغييرات النظام (المخرجات) والبراهين. يستخدم zkSync واجهة عقد ذكية لتعيين سياسة توفر البيانات (DA) الخاصة به. تخطط zkSync لتوفير خيارات متعددة لتوافر البيانات لتقليل التكاليف وحماية الخصوصية.
أطلقت zkSync حلاً لتوافر البيانات خارج السلسلة يسمى "zkPorter". تم تصميم الأداة للتكامل مع نظام تجميع zkSync ، مما يسهل التفاعلات بين الحسابات المجمعة وحسابات zkPorter. لضمان أمان البيانات داخل zkPorter ، يتم تمكين "الأوصياء" - الأفراد الذين يشاركون في رموز zkSync ويتحققون من توفر البيانات عن طريق توقيع الكتل.
يعمل zkPorter كبروتوكول إجماع داخلي ، مما يسهل إنتاجية المعاملات الهائلة. بالمقارنة ، فإن وضع ZK Rollup القياسي في zkSync 2.0 قادر على معالجة حوالي 1000 إلى 5000 معاملة في الثانية (TPS). يمكن لـ zkPorter إدارة 20،000 إلى 100،000 TPS ، اعتمادًا على مدى تعقيد المعاملة.
تتمثل مقايضة استخدام zkPorter في أنه يجب على المستخدمين الوثوق بآلية الإجماع الداخلي الخاصة بـ zkSync. هذا يؤدي إلى حل تراكم أقل لامركزية. يفكر المستخدم في الاختيار بين zkPorter (تكلفة أقل ولكن أقل أمانًا) أو وضع ZK-rollup (الأكثر أمانًا).
بالإضافة إلى ذلك ، يعمل zkSync 2.0 على تسهيل التشغيل البيني ، مما يسمح بالتبديل السلس بين حسابات ZK-rollup و zkPorter. يتمثل الاختلاف الأساسي بين zkPorter و Starkware Volition في تحديد مدى توفر البيانات: في zkPorter ، يتم اتخاذ هذا القرار على أساس الحساب ، بينما في Volition يتم اتخاذ هذا القرار على أساس معاملة فردية داخل حساب تم إجراؤه على.
** 4 **** 、 ZK stack و OP stack **
في الآونة الأخيرة ، أعلنت Matter Labs عن الإصدار القادم من ZK-Stack. ستوفر ZK-Stack برنامجًا مشابهًا لـ OP-Stack لتخصيص وتشغيل مجموعة التحديثات.
الميزات المشتركة لـ OP-Stack و ZK-Stack هي كما يلي:
مجاني ومفتوح المصدر: تم تطوير كلاهما بموجب ترخيص مفتوح المصدر ، مما يضمن الوصول المجاني. يشجعون المطورين على المساهمة من خلال البناء فوق البرنامج.
قابلية التشغيل البيني: يمكن توصيل مفهوم Hyperchain Hyperchain الخاص بـ ZK Stack بسهولة في شبكة غير موثوق بها مع زمن انتقال منخفض وسيولة مشتركة. بالإضافة إلى ذلك ، يتصور OP-Stack مفهوم Superchain لربط جميع السلاسل المستندة إلى OP-Stack.
· اللامركزية: من أجل تحقيق شبكة ومجتمع أكثر لامركزية ، اقترح كل من OP-Stack و ZK-Stack بوضوح خطة لامركزية في خارطة الطريق الأخيرة. لا تؤدي هذه الخطوة إلى زيادة مرونة الشبكة فحسب ، بل تضمن أيضًا توزيعًا أكثر عدلاً للسلطة والتحكم.
على الرغم من أوجه التشابه من منظور مفاهيمي ، هناك اختلافات من منظور فني وتجاري. سيبحث هذا القسم في الاختلافات بين المنظورات التالية.
(1) مطورو Dapp
(2) المطورين الأساسيين
(3) الأعمال
** 4.1 **** منظور مطور Dapp **
** 4.1.1 مكافئ EVM **
نشر EVM الخاص بـ OP-Stack: يتم تنفيذ EVM الخاص بـ OP-Stack من خلال إجراء تغييرات طفيفة على geth الخاص بـ Ethereum ، مما يجعل النظام متوافقًا بشكل كامل تقريبًا مع EVM. من ناحية أخرى ، يدمج ZK-Stack بعض التغييرات في أكواد تشغيل EVM ، وبعض أكواد التشغيل غير مدعومة حتى الآن. على الرغم من هذه التغييرات ، كان التأثير ضئيلًا ، وتم اختبار المشاريع بدقة والتحقق من صحتها في العالم الحقيقي.
ومع ذلك ، كانت هناك حوادث بسبب تكافؤ ZK-Stack غير EVM. مثال بارز هو 921 ETH محاصر في عقد ذكي لأن العقد يستخدم وظيفة النقل. تم حل هذه المشكلة بشكل فعال.
** 4.1.2 سحب الحساب الأصلي **
بخلاف ERC-4337 ، تشتمل بنية ZK-Stack على وظيفة تجريد الحساب الأصلية (AA). في نظام مثل ERC-4337 ، من الضروري وجود مجموعة ذاكرة منفصلة لـ UserOps للسماح باستخراج الحساب في الشبكة.
** 4.1.3 دعم الخصوصية **
باستخدام الصلاحية ، فإن تخزين البيانات في قاعدة بيانات سرية يضمن الخصوصية على أساس أن المشغل يحافظ على سرية بيانات الكتلة. هذه الميزة مفيدة بشكل خاص لمستخدمي المؤسسة.
** 4.2 منظور المطور **
** 4.2.1 تشغيل البنية التحتية: OP-Stack أكثر سهولة **
العملية: يستخدم كل من zkSync و OP-Stack جهاز التسلسل لتنسيق المعاملات وتخزين البيانات في Ethereum. ومع ذلك ، يتطلب zkSync مَثْلًا ليعمل. يعالج هذا التطبيق المُثبِف الكتل المُنشأة من الخادم والبيانات الوصفية المرتبطة بها لإنشاء براهين على صدق المعرفة الصفرية. في المقابل ، لا يتطلب OP-Stack بنية تحتية معقدة منفصلة للمشاركة في لعبة تحدي الإثبات.
** 4.2.2 بدائل VM: يتمتع ZK-Stack بإمكانيات أكبر لتوفير خيارات متنوعة **
يعمل zkSync مع مترجم LLVM ، والذي يترجم إلى zkEVM bytecode ، مما يُظهر إمكانية إنشاء بيئات تنفيذية باستخدام لغات أخرى ، مثل C ++.
** 4.2.3 توفر البيانات: توفر ZK-Stack خيارات متعددة **
تعتمد طبقة توفر البيانات في OP-Stack بشكل أساسي على Ethereum ، حيث يتم تخزين جميع معلومات المعاملات وجذور حالة الإخراج. هذا يؤدي إلى تكلفة عالية لتشغيل سلسلة OP-Stack. ومع ذلك ، كانت هناك محاولات لتعويض هذه التكلفة عن طريق تخزين بيانات المعاملات في Celestia DA.
تقوم ZK-Stack ببحث وتطوير بدائل لحلول توفر البيانات بشكل مكثف مثل zkPorter. يمكّن هذا الأسلوب المستخدمين من تحديد مدى توفر البيانات الخاصة بهم بناءً على تفضيلهم لمزيد من الأمان أو بتكلفة أقل. بالإضافة إلى ذلك ، يمكن للشركات التي ترغب في الحفاظ على خصوصية البيانات استخدام حلول مثل Validium التي تدعم تخزين البيانات الذي لا يتم اختراقه.
** 4.3 منظور الأعمال: التكاليف والفوائد **
اليوم ، يعد إطلاق مجموعات مستقلة خيارًا قابلاً للتطبيق ، خاصة وأن البرامج مفتوحة المصدر مثل ZK-Stack و OP-Stack يتم تطويرها وصيانتها بشكل عام. بالإضافة إلى ذلك ، تعمل منصات التراكم كخدمة (RaaS) مثل Caldera و Conduit على تبسيط العملية إلى حد كبير.
خارج منظور المطور ، من الأهمية بمكان إجراء تقييم واقعي للتكاليف والفوائد المحتملة المرتبطة بعمليات التجميع. ومع ذلك ، فإن التنبؤ بهذه المبالغ يمكن أن يكون معقدًا بسبب عدة متغيرات.
نظرًا لأنه يتم إجراء تحسينات كبيرة على قاعدة الشفرة بشكل منتظم ، كما هو موضح في ترقية Bedrock للتفاؤل الأخيرة ، فإن التكاليف المرتبطة بتشغيل مجموعات التحديثات تتناقص بسرعة. هذه الديناميكية تجعل من الصعب تقدير التكاليف والفوائد بدقة. أيضًا ، التكاليف المحددة المرتبطة بالخوادم والبنية التحتية غير معروفة على نطاق واسع نظرًا لأن كيانًا واحدًا يدير عادةً مجموعة التحديثات بالكامل. أخيرًا ، تضيف التقلبات في سعر الرمز الأساسي (مثل zkSync و Optimism's ETH) طبقة أخرى من عدم اليقين ، حيث يمكن أن تتقلب التكاليف بناءً على معنويات السوق.
فيما يلي بعض التكاليف والفوائد الرئيسية:
** 4.3.1 التكلفة **
· تكلفة الإصدار L1: تكلفة تخزين المعاملات وجذور الحالة وبيانات الإثبات. عادةً ما يكون إصدار مجموعة التحديثات المتفائلة أكثر تكلفة لأنه يتطلب تخزين بيانات المعاملات الأولية للتحقق من صحتها. تنشر بعض القوائم التجميعية اختلافات الحالة بدلاً من بيانات الحالة الكاملة لتجنب المزيد من التكاليف.
تكلفة تشغيل فارز L2.
تكلفة الإثبات: بالنسبة لـ zk ، إنها تكلفة إنشاء الإثبات والتحقق منه ؛ لإثبات الغش ، إنها تكلفة تحدي الإثبات.
** 4.3.2 الفوائد **
· رسوم المعاملات L2
ربما MEV ، ولكن لتجنب مشاكل المركزية ، فإن معظم أجهزة فرز L2 المعروفة لا تستخرج MEV.
5. الخلاصة
تعمل Matterlabs على تطوير zkEVM وحققت تقدمًا كبيرًا في ذلك. على الرغم من أنه ليس متوافقًا تمامًا مع EVM (Type4 EVM) ، يبدو أن استغلال LLVM ينطوي على إمكانات كبيرة. تتمثل المرحلة التالية من خطط Matterlabs في إطلاق ZK-Stack ، وهو قاعدة بيانات سيمكن المطورين من الاستفادة من قاعدة الكود الصلبة الخاصة بهم لإنشاء مجموعاتهم الخاصة. تعد الأداة بمزايا واضحة مقارنة بـ OP-Stack ، خاصة فيما يتعلق بحماية الخصوصية وقابلية التوسع.
ومع ذلك ، لا يزال كلا المشروعين في مراحلهما الأولى وهناك الكثير من العمل الذي يتعين القيام به. يعد التقييم الشامل لهيكل التكلفة والمزايا المرتبط بالنشر أمرًا بالغ الأهمية. بالإضافة إلى ذلك ، يكمن أحد التحديات المهمة في تنمية نظام إيكولوجي للمطورين حول قاعدتي الشفرات هذين. التحليل التفصيلي والتخطيط الاستراتيجي ضروريان لضمان التنمية المستدامة للمنصة والتقنيات المرتبطة بها.
آمل أن يزدهر كلا المشروعين وأن يصبح بناء المصدر المفتوح وخرائط الطريق المشتركة هي القاعدة في مساحة web3.
شاهد النسخة الأصلية
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
شرح مفصل لمعمارية zkSync وأوجه التشابه والاختلاف بينها وبين OP-Stack
المؤلف: xpara، Four Pillars؛ translation: Jinse Finance xiaozou
النقاط الرئيسية:
تعمل Matterlabs ، وهي شركة تطوير zkSync ، على تطوير zkEVM الفريد وإنشاء منتجات رائعة.
حاليًا ، يُظهر عصر zkSync نموًا ، كما يتضح من مقاييسه الرائعة وعمليات نشر التطوير عبر المشاريع.
يمكننا فهم بنية zkSync من خلال ثلاث طبقات رئيسية من zkSync: طبقة التنفيذ وطبقة التسوية وطبقة توفر البيانات.
قد يكون لدى ZK-Stack (مصدر البرنامج الأساسي لـ zkSync) و OP-Stack فلسفات مماثلة. لا تزال هناك اختلافات واضحة يمكن رؤيتها من منظور مطوري dapp والمطورين الأساسيين ومشغلي الأعمال.
** 1 **** ، تطور zkSync **** التاريخ **
** 1.1 تاريخ موجز لـ zkSync **
بدأ تطوير zkSync في EthCC في عام 2019. في ذلك الوقت ، كان لا يزال فريقًا صغيرًا مكرسًا لتطوير ونشر Rollup بشكل مشترك مع zkSNARK. لقد أطلقوا دليلًا على المفهوم في يناير 2019 باستخدام zkSNARKs لتشغيل سلسلة جانبية في Ethereum. ومنذ ذلك الحين ، جعلوا اللامركزية مبدأً أساسياً. ركزوا على تخزين جميع بيانات المعاملات في Ethereum وعملوا على نموذج متعدد المشغلين للتعامل مع نموذج اللامركزية للفرز.
في يونيو 2020 ، حقق الفريق تقدمًا كبيرًا مع إطلاق zkSync v1 mainnet. يعد zkSync v1 معلمًا رئيسيًا في تطوير zkSync ، ويمثل التنفيذ الفعلي لمفهومه الأصلي على نطاق أوسع. بعد عام ، في يونيو 2021 ، حققوا تقدمًا إضافيًا وأطلقوا شبكة الاختبار zkSync 2.0 ، والمعروفة أيضًا باسم Era.
بحلول مارس 2023 ، تم إصدار الشبكة الرئيسية الكاملة لـ zkSync بنجاح ، مما يمثل إنجازًا كبيرًا للفريق. يوضح هذا التطور أن المنصة وصلت إلى مستوى عالٍ من النضج وهي جاهزة للتبني على نطاق أوسع. هذا هو إصدار أول mainnet zkEVM تم نشره في النظام البيئي Ethereum Rollup.
حاليًا ، يعمل الفريق على جعل zkSync مفتوح المصدر. سيؤدي ذلك إلى تمكين النشر المنفصل لسلاسل zk rollup من داخل ZK-Stack ، مما يتيح للفرق إطلاق مجموعات التحديثات المخصصة الخاصة بهم. ومن المتوقع الإعلان عن مزيد من التفاصيل حول هذا التطور المثير قريبًا.
*** **** *** '** *** **
جمع ماترلاب ، فريق التطوير المسؤول عن zkSync ، تمويلًا كبيرًا للمضي قدمًا في مهمته. مع أحدث جولة من سلسلة C في نوفمبر 2022 ، وصل إجمالي تمويلهم إلى 458 مليون دولار ، والتي اشتملت على جولات متعددة وصناديق مخصصة للنظام البيئي ، بما في ذلك على سبيل المثال صندوق منفصل مخصص للنظام الإيكولوجي بقيمة 200 مليون دولار ، و 200 مليون دولار أسترالي من السلسلة ج ، و 50 مليون دولار من السلسلة ب. بقيادة a16z ، وجولة أولية بقيمة 8 ملايين دولار.
· جولة البذور: في الجولة الأولية ، تلقت شركة Matterlabs تمويلًا بقيمة 2 مليون دولار من PlaceholderVC و Hashed ومستثمرين آخرين. قدم هذا الحافز المالي المبكر الأساس اللازم لعملهم لبدء مشروع zkSync.
السلسلة أ: بعد جولتها الأولية ، جمعت شركة Matterlabs مبلغًا إضافيًا قدره 6 ملايين دولار في تمويل السلسلة أ. يوفر هذا التدفق الجديد لرأس المال حافزًا للنهوض بالبحث والتطوير وتقريب zkSync من هدفه النهائي.
السلسلة B: تكتسب Matterlabs زخمًا حيث تمكنت من جمع 50 مليون دولار في جولة من السلسلة B بقيادة a16z بشكل أساسي.
· السلسلة C: جولة تمويل Matterlabs C تبلغ 200 مليون دولار.
أخيرًا ، بالإضافة إلى جولات الاستثمار المذكورة أعلاه ، أطلقت Matterlabs صندوقًا مخصصًا للنظام البيئي بقيمة 200 مليون دولار. هذا الصندوق مخصص لتعزيز نمو وتطوير نظام zkSync البيئي الأوسع.
توفر كل هذه الموارد لشركة Matterlabs الدعم المالي اللازم لتعزيز مهمة zkSync ، وتسريع وتيرة التنمية ، وتعزيز نمو النظام البيئي الأوسع. بشكل عام ، تمتلك Matterlabs قدرًا كبيرًا من التمويل في مشاريع blockchain المهمة.
! [b87IKyfCk7OmuDe4Cnn5JS89LtQ0abfs4cY5zuo9.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-faa7cb4cf1-dd1a6f-76493e1 "70
** 2 **** 、 حالة النظام البيئي zkSync الحالية **
** 2.1 الحالة العامة **
على مر السنين ، حققت zkSync تقدمًا هامًا في التنمية. وصلت zkSync v1 ، الآن zkSync Lite ، إلى مرحلة تطوير بارزة في ديسمبر 2020 ، حيث تجاوزت مليون دولار في إجمالي القيمة المقفلة (TVL). منذ ذلك الحين ، نما TVL لنظام zkSync البيئي بشكل كبير. اعتبارًا من الآن ، تجاوز TVL الخاص بـ zkSync مبلغ 650 مليون دولار ، مما يجعله ثالث أكبر مجموعة L2 في النظام البيئي Ethereum.
! [8KshWyrLwm0gBTqahXhjFwjNAaqjbqrqxdixcdFr.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-a1f3856bd1-dd1a6f-7649e1 "7065604")
! [MxpS4q8Lbkif30a3Wo2Y8EgxQaPnM08xyC3PAuJo.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-10e8403e4c-dd1a6f-76495 "1 "7065
بحلول شهر يونيو من هذا العام ، كان لدى zkSync بعض المقاييس الرئيسية المثيرة للإعجاب. على الرغم من أن zkSync كان أدنى قليلاً من Arbitrum في يونيو ، إلا أنه احتل المرتبة الأولى في TPS. لديها أسرع معدل نمو في TVL ويقود إجمالي مدفوعات الرسوم على المستوى 1.
بالإضافة إلى ذلك ، يتزايد عدد المحافظ الفريدة أيضًا ، مما يشير إلى زيادة اعتماد المستخدم. في الوقت نفسه ، تتزايد أيضًا كمية ETH الموصلة إلى zkSync.
** 2.2 ** ** العناصر الرئيسية **
! [se5aFxpjDjeA9fVAc7BqapEaq4IBna46udjkVBQh.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-1dec1852b0-dd1a6f-7649e1 "7065606")
** 2.2.1 فضة **
! [iKPssWvuZyJLcOrTJUFrk22ruDSSe4UB8Hf8RTOC.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-0041879f2d-dd1a6f-7649e1 "7065607")
Argent هي محفظة محمولة غير أمينة للعملات المشفرة المستندة إلى Ethereum ، مما يوفر تجربة آمنة وسهلة الاستخدام لإدارة الأصول الرقمية.
يتمتع Argent بتصميم فريد لوضع الأمان ، حتى في حالة فقد الهاتف المحمول للمستخدم أو سرقته ، يمكنه أيضًا حماية أصول المستخدم. يتضمن نموذج الأمان ميزات مثل المصادقة البيومترية ، والتعافي الاجتماعي ، ومحافظ العقود الذكية على السلسلة. قال V God ، مؤسس Ethereum ، أن Argent عبارة عن محفظة بها وظائف أمان واسترداد اجتماعية متعددة التوقيع.
** 2.2.2 SyncSwap **
! [HIn8WtuoltJqHf9lVoAoYF7QTS1B8CdwR5QdMnlA.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-cbccfccab7-dd1a6f-76498 ") 706549e1"
SyncSwap هو أكبر بروتوكول DeFi في عصر zkSync. إنه DEX قائم على AMM يوفر العديد من الميزات المهمة في تصميم AMM. يوفر تجمع AMM للعديد من الرموز المميزة ، والخصائص المهمة هي كما يلي.
Stableswap: يسمح التجمع المتعدد لـ SyncSwap بتجميع عدة نماذج تجمع مختلفة ، لكل منها السيناريو الأمثل الخاص بها ، مما يجعل المعاملات فعالة. سيكون أول نموذج تجمع يتم تنفيذه هو Stable Pool. وبالمقارنة مع Classic Pool للأغراض العامة ، فإن Stable Pool يدعم معاملات العملات المستقرة الفعالة ، مما يتيح SyncSwap لدخول سوق العملات المستقرة على نطاق واسع.
· جهاز التوجيه الذكي: يعمل كمنصة لتجميع السيولة تجمع مختلف مجموعات السيولة ونماذج التجميع المختلفة لتوفير أفضل الأسعار دون عناء. يوفر قفزات متعددة وتقسيم المسار.
الرسوم الديناميكية: أدخل SyncSwap رسومًا ديناميكية على DEX الخاص به ، مما يسمح للمستخدمين بتخصيص رسوم المعاملات بناءً على ظروف السوق وتفضيلات المجتمع. بما في ذلك الرسوم المتغيرة والرسوم المستهدفة وخصومات الرسوم والتعهيد في الرسوم. توفر هذه الميزات للمستخدمين المرونة والقدرة على التكيف لتحسين استراتيجيات التداول الخاصة بهم والبقاء على اتصال مع الأسواق والمجتمعات المتغيرة باستمرار.
** 2.2.3 تيفيرا **
! [49S6TezpHmwF5ldt1YMUtJjfocuqFQbJoMQKmjPB.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-bea8c8008f-dd1a6f-7649e1) "7065619"
توفر بيئة الألعاب في Tevaera مزيجًا فريدًا من المغامرة والتكنولوجيا لعالم الألعاب. تقدم Teva Games ألعابًا عبر مجموعة متنوعة من الأنواع ، تقع في بيئات طبيعية ومتصلة بقصة مركزية لشخصيات Guardian. ستظهر أول لعبة متعددة اللاعبين مع إصدار Tevaera 2.0 ، وتقدم طريقة لعب مثيرة بما في ذلك ترقيات ذات طابع تشفير وأنماط لعب متعددة.
تعمل البنية التحتية للألعاب على السلسلة المكونة من Teva Core و Teva Chain و Teva Dex و Teva Market على تعزيز النظام البيئي بشكل أكبر.
· Teva Core هو إطار لعبة متعدد اللاعبين متقدم.
· Teva Chain عبارة عن سلسلة ألعاب عالية المستوى من الطبقة الثالثة تسهل الانتقال إلى سلسلة ألعاب كاملة.
· تساهم Teva DEX في اقتصاد اللعب المستدام من خلال لعبة dex التلقائية.
· سوق Teva يسمح بسك وتداول شخصيات NFT الفريدة.
** 3 **** ، هندسة zkSync **
zkSync Era هو بروتوكول L2 مصمم لحل مشكلة قابلية التوسع في Ethereum ، باستخدام بنية تراكمية صفرية المعرفة (ZK). تم تطويره بواسطة Matter Labs ، وهو عبارة عن منصة zk-rollup تركز على احتياجات المستخدم. تم تصميم النظام الأساسي ليكون متوافقًا على نطاق واسع مع جهاز Ethereum Virtual Machine (EVM) في جهاز افتراضي مخصص ، ومُحسَّن لأدلة عدم المعرفة.
! [z5NmH12o1DBvoJeNc3XX9Ma5HR5HR5XMNbMPaf0AOqs.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-54c6a7c4ef-dd1a6f-7649e1 "7065618")
يمكن تلخيص عملية zkSync التراكمية في المراحل التالية:
(1) في البداية ، يتم إنشاء المعاملات أو الإجراءات ذات الأولوية من قبل المستخدمين.
(2) بعد ذلك ، يتحمل المشغل مسؤولية معالجة طلب المستخدم. بعد المعالجة الناجحة ، يقوم المشغل بإنشاء عملية تجميع وإدراجها في الكتلة.
(3) بعد اكتمال الكتلة ، يرسلها المشغل إلى عقد zkSync الذكي في شكل إرسال كتلة. من الجدير بالذكر أن العقد الذكي يتحقق من جزء من المنطق الذي يتم تشغيل بعض التراكمية.
(4) أخيرًا ، يتم تقديم إثبات الكتلة إلى عقد zkSync الذكي ، وهذه الخطوة هي التحقق من الكتلة. إذا اعتبر عقد المدقق أن المصادقة ناجحة ، فإنه يتحقق من صحة الحالة الجديدة على أنها نهائية. هذه هي دورة الحياة التشغيلية لمجموعة zkSync.
سيتعمق هذا القسم في كيفية عمل zkSync ، مع التركيز على ثلاث طبقات أساسية:
(1) طبقة التنفيذ: تشير طبقة التنفيذ إلى العملية التي تؤدي إلى تغييرات أو انتقالات في حالة blockchain. ببساطة ، إنه المكان الذي يتم فيه تلقي المعاملات وتطبيقها على الحالة السابقة.
(2) طبقة التسوية: تستخدم طبقة التسوية نظام إثبات للتأكد من أن التغييرات التي تم إجراؤها أثناء مرحلة التنفيذ تعكس بدقة الحالة العامة للنظام.
(3) طبقة توافر البيانات: طبقة توافر البيانات هي جزء حفظ السجلات من النظام. إنه المكان الذي يتم فيه تخزين جميع بيانات المعاملات (المدخلات) وتحديثات النظام (المخرجات) والبراهين. والغرض من ذلك هو ضمان إمكانية إعادة إنشاء الحالة الحالية للنظام دائمًا من نقطة الصفر عند الحاجة.
** 3.1 طبقة التنفيذ **
** 3.1.1 طبقة تنفيذ على مستوى الآلة الافتراضية **
يتم تشغيله على type4 zkEVM ، مما يعني أنه يأخذ رمز عقد ذكي مكتوبًا بلغة عالية المستوى (مثل Solidity و Vyper) ثم يقوم بترجمته إلى لغة صديقة لـ zk-SNARK.
بالإضافة إلى ذلك ، فإن الميزة الفريدة لـ zkSync Era هي أنها تستخدم مترجمًا قائمًا على LLVM والذي سيسمح في النهاية للمطورين بكتابة عقود ذكية بلغات C ++ و Rust واللغات الشائعة الأخرى.
إطار عمل LLVM مترجم لبناء سلاسل أدوات لغة تعاقدية ذكية. يسمح التمثيل المتوسط عالي المستوى (IR) للمطورين بتصميم ونشر وتحسين ميزات لغة محددة مع الاستفادة في الوقت نفسه من نظام LLVM البيئي الواسع.
في سلسلة الأدوات المعمول بها ، تقوم LLVM بمعالجة LLVM IR ، وتقدم تحسينات كاملة ، وأخيراً تقوم بتمرير الأشعة تحت الحمراء المحسّنة إلى مولد كود الواجهة الخلفية zkEVM.
! [Ify7zSoasahtVHTEqE7KunV57LWBC46OiiWlLHpk.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-6744bd2dae-dd1a6f-7649e1 "7065616")
** 3.1.2 نظرة عامة على طبقة التنفيذ **
في zkSync ، يلعب التطبيق الأساسي (التطبيق الأساسي) دورًا رئيسيًا في إدارة طبقة التنفيذ.
تتمثل مسؤوليتها الأساسية في تتبع الودائع أو العمليات ذات الأولوية لعقود L1 الذكية. هذه الآلية ضرورية لضمان التكامل السلس لـ zkSync مع شبكة Ethereum ، حيث يجب مراقبة جميع التغييرات التي بدأت من شبكة Ethereum وانعكاسها في بيئة zkSync Layer 2 (L2).
التطبيق الأساسي مسؤول أيضًا عن إدارة تجمع الذاكرة (mempool) الذي يجمع المعاملات الواردة. ثم توضع مجموعة المعاملات هذه في قائمة انتظار لتتم معالجتها ، وتعمل بشكل فعال كمنطقة انتظار قبل تأكيد المعاملات وإضافتها إلى الكتلة.
تتضمن مسؤوليات Core App أيضًا جلب المعاملات من mempool ، وتنفيذها في جهاز افتراضي (VM) ، وضبط الحالة حسب الحاجة. تتكون العملية بشكل أساسي من الحصول على المعاملات ومعالجتها وعكس النتائج في النظام.
بعد تنفيذ المعاملة ، يقوم التطبيق الأساسي بإنشاء كتلة سلسلة. تتكون هذه الكتل من حزم المعاملات المنفذة والتحقق منها. ثم يرسل تطبيق Core هذه الكتل والأدلة إلى عقد L1 الذكي. تضمن هذه العملية أن تظل حالة سلسلة L1 Ethereum متزامنة مع سلسلة L2 zkSync.
لدعم التفاعل السلس بين التطبيقات المستندة إلى Ethereum ، فإنه يوفر واجهة برمجة تطبيقات web3 متوافقة مع Ethereum. هذا يجعل zkSync أكثر سهولة في الوصول إليه وسهل الاستخدام للمطورين والمستخدمين المهرة في النظام البيئي Ethereum.
** 3.2 طبقة التسوية **
طبقة التسوية مسؤولة عن ضمان سلامة انتقالات حالة zkSync. تتم عملية التحقق هذه في عقد ذكي يتم نشره على Ethereum. هناك نوعان من العقود الهامة في هذه العملية.
(1) عقد المنفذ: يحصل هذا العقد على بيانات الكتلة من المدققين وإثباتات zk لتحولات الحالة في zkSync.
(2) عقد المُحقق: هذا عقد منطقي يسمح للنظام بالتحقق من بيانات الكتلة وإثباتات zk التي يوفرها عقد المنفذ.
! [S7CnXAGaonzhzPzGug18KehNFpL3aMYZ7h4ndzxf.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-9fc58712f8-dd1a6f-7649e1 "7065615")
** 3.2.1 عقد المنفذ **
تلعب وظيفة provBlocks دورًا مركزيًا في ضمان سلامة وأمن نظام zkSync. تتمثل مسؤوليتها الرئيسية في التحقق من براهين zk-SNARK للكتل المقدمة. فيما يلي وصف موجز لكيفية عملها:
أولاً ، تضمن أداة proofBlocks التحقق من الكتل بالترتيب الصحيح. يقوم بذلك عن طريق التحقق مما إذا كانت الكتلة السابقة المستلمة هي الكتلة التالية في تسلسل blockchain التي يجب التحقق منها.
· بعد ذلك ، تبدأ الوظيفة في التكرار فوق كل كتلة مقدمة. يتحقق من أن تجزئة هذه الكتل تتطابق مع القيمة المتوقعة في موقع معين في blockchain. هذا يضمن أن الكتلة التي يتم التحقق منها هي بالفعل الكتلة الصحيحة.
تبدأ الوظيفة بعد ذلك في بناء مصفوفة proofPublicInput ، والتي تصبح قيمة الإدخال العام لعملية التحقق من إثبات zk-SNARK. يتم تضمين رقم الكتلة لكل كتلة ملتزمة في هذه المصفوفة.
بعد ذلك ، باستخدام مصفوفة proofPublicInput وبعض المعلمات المخزنة ، ستتحقق الوظيفة من إثبات zk-SNARK. إنه مشابه لحل اللغز ، يجب أن تتناسب جميع القطع معًا بشكل مثالي.
· إذا تم التحقق من الإثبات ، تقوم الوظيفة بتحديث النظام لتعكس أن الكتل قد تم التحقق منها الآن. إنه مثل وضع علامة بجانب عنصر في قائمة التحقق.
أخيرًا ، لكل كتلة تم التحقق منها ، تقوم الوظيفة بتشغيل حدث خاص يسمى BlockVerification. يشبه إرسال إشعار بأنه تم التحقق من رقم الحظر والتجزئة والالتزام.
باختصار ، تعمل وظيفة provBlocks مثل حارس البوابة اليقظ ، مما يضمن التحقق من الكتل بالترتيب الصحيح ، مما يضمن دقة أدلة zk-SNARK ، وتحديث حالة النظام وفقًا لذلك. هدفه هو منع تنفيذ الكتل غير الصالحة ، مما يضمن الأمان العام وسلامة نظام zkSync.
** 3.2.2 **** عقد المُحقق **
عقد المدقق هو المكان المناسب لتنفيذ منطق التحقق أعلاه. يعمل كحارس لـ zkSync عن طريق التحقق من براهين zk-SNARK للتحقق من البيانات الملتزمة. يتم استخدام عقد المدقق للتحقق مما إذا كانت البيانات المقدمة إلى zkSync صالحة.
يخزن عقد المدقق "مفتاح التحقق" ، والذي يستخدم للتحقق من براهين zk-SNARK. متى أراد zkSync الالتزام بتحديث ، فإنه ينشئ إثبات zk-SNARK ويقدمه إلى عقد المدقق عبر عقد المنفذ.
ثم يستخدم عقد المدقق مفتاح التحقق للتحقق من صحة الإثبات. إذا كان يعمل ، فأنت تعلم أن التحديث شرعي دون النظر إلى البيانات الفعلية. إذا كان غير صالح ، فسيتم رفض التحديث.
من خلال التحقق من هذه البراهين ، يضمن عقد المدقق تلقي البيانات الصحيحة والصحيحة فقط في zkSync. هذا أمر بالغ الأهمية للأمان ومنع تحديثات الحالة غير الصالحة.
** 3.3 طبقة إتاحة البيانات **
تعمل طبقة توفر البيانات في النظام كأرشيف ، وتخزن جميع معلومات المعاملة (المدخلات) ، وتغييرات النظام (المخرجات) والبراهين. يستخدم zkSync واجهة عقد ذكية لتعيين سياسة توفر البيانات (DA) الخاصة به. تخطط zkSync لتوفير خيارات متعددة لتوافر البيانات لتقليل التكاليف وحماية الخصوصية.
** 3.3.1 zkPorter **
! [wrFgH7asOYR9FuZfrF7Rf9SLMgAv11aCCJCeHfKN.png] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-cedd2a7d0a-dd1a6f-7614e1 "706514e1" 706514e1 "
أطلقت zkSync حلاً لتوافر البيانات خارج السلسلة يسمى "zkPorter". تم تصميم الأداة للتكامل مع نظام تجميع zkSync ، مما يسهل التفاعلات بين الحسابات المجمعة وحسابات zkPorter. لضمان أمان البيانات داخل zkPorter ، يتم تمكين "الأوصياء" - الأفراد الذين يشاركون في رموز zkSync ويتحققون من توفر البيانات عن طريق توقيع الكتل.
يعمل zkPorter كبروتوكول إجماع داخلي ، مما يسهل إنتاجية المعاملات الهائلة. بالمقارنة ، فإن وضع ZK Rollup القياسي في zkSync 2.0 قادر على معالجة حوالي 1000 إلى 5000 معاملة في الثانية (TPS). يمكن لـ zkPorter إدارة 20،000 إلى 100،000 TPS ، اعتمادًا على مدى تعقيد المعاملة.
تتمثل مقايضة استخدام zkPorter في أنه يجب على المستخدمين الوثوق بآلية الإجماع الداخلي الخاصة بـ zkSync. هذا يؤدي إلى حل تراكم أقل لامركزية. يفكر المستخدم في الاختيار بين zkPorter (تكلفة أقل ولكن أقل أمانًا) أو وضع ZK-rollup (الأكثر أمانًا).
بالإضافة إلى ذلك ، يعمل zkSync 2.0 على تسهيل التشغيل البيني ، مما يسمح بالتبديل السلس بين حسابات ZK-rollup و zkPorter. يتمثل الاختلاف الأساسي بين zkPorter و Starkware Volition في تحديد مدى توفر البيانات: في zkPorter ، يتم اتخاذ هذا القرار على أساس الحساب ، بينما في Volition يتم اتخاذ هذا القرار على أساس معاملة فردية داخل حساب تم إجراؤه على.
** 4 **** 、 ZK stack و OP stack **
في الآونة الأخيرة ، أعلنت Matter Labs عن الإصدار القادم من ZK-Stack. ستوفر ZK-Stack برنامجًا مشابهًا لـ OP-Stack لتخصيص وتشغيل مجموعة التحديثات.
الميزات المشتركة لـ OP-Stack و ZK-Stack هي كما يلي:
مجاني ومفتوح المصدر: تم تطوير كلاهما بموجب ترخيص مفتوح المصدر ، مما يضمن الوصول المجاني. يشجعون المطورين على المساهمة من خلال البناء فوق البرنامج.
قابلية التشغيل البيني: يمكن توصيل مفهوم Hyperchain Hyperchain الخاص بـ ZK Stack بسهولة في شبكة غير موثوق بها مع زمن انتقال منخفض وسيولة مشتركة. بالإضافة إلى ذلك ، يتصور OP-Stack مفهوم Superchain لربط جميع السلاسل المستندة إلى OP-Stack.
· اللامركزية: من أجل تحقيق شبكة ومجتمع أكثر لامركزية ، اقترح كل من OP-Stack و ZK-Stack بوضوح خطة لامركزية في خارطة الطريق الأخيرة. لا تؤدي هذه الخطوة إلى زيادة مرونة الشبكة فحسب ، بل تضمن أيضًا توزيعًا أكثر عدلاً للسلطة والتحكم.
على الرغم من أوجه التشابه من منظور مفاهيمي ، هناك اختلافات من منظور فني وتجاري. سيبحث هذا القسم في الاختلافات بين المنظورات التالية.
(1) مطورو Dapp
(2) المطورين الأساسيين
(3) الأعمال
** 4.1 **** منظور مطور Dapp **
** 4.1.1 مكافئ EVM **
نشر EVM الخاص بـ OP-Stack: يتم تنفيذ EVM الخاص بـ OP-Stack من خلال إجراء تغييرات طفيفة على geth الخاص بـ Ethereum ، مما يجعل النظام متوافقًا بشكل كامل تقريبًا مع EVM. من ناحية أخرى ، يدمج ZK-Stack بعض التغييرات في أكواد تشغيل EVM ، وبعض أكواد التشغيل غير مدعومة حتى الآن. على الرغم من هذه التغييرات ، كان التأثير ضئيلًا ، وتم اختبار المشاريع بدقة والتحقق من صحتها في العالم الحقيقي.
ومع ذلك ، كانت هناك حوادث بسبب تكافؤ ZK-Stack غير EVM. مثال بارز هو 921 ETH محاصر في عقد ذكي لأن العقد يستخدم وظيفة النقل. تم حل هذه المشكلة بشكل فعال.
** 4.1.2 سحب الحساب الأصلي **
بخلاف ERC-4337 ، تشتمل بنية ZK-Stack على وظيفة تجريد الحساب الأصلية (AA). في نظام مثل ERC-4337 ، من الضروري وجود مجموعة ذاكرة منفصلة لـ UserOps للسماح باستخراج الحساب في الشبكة.
** 4.1.3 دعم الخصوصية **
باستخدام الصلاحية ، فإن تخزين البيانات في قاعدة بيانات سرية يضمن الخصوصية على أساس أن المشغل يحافظ على سرية بيانات الكتلة. هذه الميزة مفيدة بشكل خاص لمستخدمي المؤسسة.
** 4.2 منظور المطور **
** 4.2.1 تشغيل البنية التحتية: OP-Stack أكثر سهولة **
العملية: يستخدم كل من zkSync و OP-Stack جهاز التسلسل لتنسيق المعاملات وتخزين البيانات في Ethereum. ومع ذلك ، يتطلب zkSync مَثْلًا ليعمل. يعالج هذا التطبيق المُثبِف الكتل المُنشأة من الخادم والبيانات الوصفية المرتبطة بها لإنشاء براهين على صدق المعرفة الصفرية. في المقابل ، لا يتطلب OP-Stack بنية تحتية معقدة منفصلة للمشاركة في لعبة تحدي الإثبات.
** 4.2.2 بدائل VM: يتمتع ZK-Stack بإمكانيات أكبر لتوفير خيارات متنوعة **
يعمل zkSync مع مترجم LLVM ، والذي يترجم إلى zkEVM bytecode ، مما يُظهر إمكانية إنشاء بيئات تنفيذية باستخدام لغات أخرى ، مثل C ++.
** 4.2.3 توفر البيانات: توفر ZK-Stack خيارات متعددة **
تعتمد طبقة توفر البيانات في OP-Stack بشكل أساسي على Ethereum ، حيث يتم تخزين جميع معلومات المعاملات وجذور حالة الإخراج. هذا يؤدي إلى تكلفة عالية لتشغيل سلسلة OP-Stack. ومع ذلك ، كانت هناك محاولات لتعويض هذه التكلفة عن طريق تخزين بيانات المعاملات في Celestia DA.
تقوم ZK-Stack ببحث وتطوير بدائل لحلول توفر البيانات بشكل مكثف مثل zkPorter. يمكّن هذا الأسلوب المستخدمين من تحديد مدى توفر البيانات الخاصة بهم بناءً على تفضيلهم لمزيد من الأمان أو بتكلفة أقل. بالإضافة إلى ذلك ، يمكن للشركات التي ترغب في الحفاظ على خصوصية البيانات استخدام حلول مثل Validium التي تدعم تخزين البيانات الذي لا يتم اختراقه.
** 4.3 منظور الأعمال: التكاليف والفوائد **
اليوم ، يعد إطلاق مجموعات مستقلة خيارًا قابلاً للتطبيق ، خاصة وأن البرامج مفتوحة المصدر مثل ZK-Stack و OP-Stack يتم تطويرها وصيانتها بشكل عام. بالإضافة إلى ذلك ، تعمل منصات التراكم كخدمة (RaaS) مثل Caldera و Conduit على تبسيط العملية إلى حد كبير.
خارج منظور المطور ، من الأهمية بمكان إجراء تقييم واقعي للتكاليف والفوائد المحتملة المرتبطة بعمليات التجميع. ومع ذلك ، فإن التنبؤ بهذه المبالغ يمكن أن يكون معقدًا بسبب عدة متغيرات.
نظرًا لأنه يتم إجراء تحسينات كبيرة على قاعدة الشفرة بشكل منتظم ، كما هو موضح في ترقية Bedrock للتفاؤل الأخيرة ، فإن التكاليف المرتبطة بتشغيل مجموعات التحديثات تتناقص بسرعة. هذه الديناميكية تجعل من الصعب تقدير التكاليف والفوائد بدقة. أيضًا ، التكاليف المحددة المرتبطة بالخوادم والبنية التحتية غير معروفة على نطاق واسع نظرًا لأن كيانًا واحدًا يدير عادةً مجموعة التحديثات بالكامل. أخيرًا ، تضيف التقلبات في سعر الرمز الأساسي (مثل zkSync و Optimism's ETH) طبقة أخرى من عدم اليقين ، حيث يمكن أن تتقلب التكاليف بناءً على معنويات السوق.
فيما يلي بعض التكاليف والفوائد الرئيسية:
** 4.3.1 التكلفة **
· تكلفة الإصدار L1: تكلفة تخزين المعاملات وجذور الحالة وبيانات الإثبات. عادةً ما يكون إصدار مجموعة التحديثات المتفائلة أكثر تكلفة لأنه يتطلب تخزين بيانات المعاملات الأولية للتحقق من صحتها. تنشر بعض القوائم التجميعية اختلافات الحالة بدلاً من بيانات الحالة الكاملة لتجنب المزيد من التكاليف.
تكلفة تشغيل فارز L2.
تكلفة الإثبات: بالنسبة لـ zk ، إنها تكلفة إنشاء الإثبات والتحقق منه ؛ لإثبات الغش ، إنها تكلفة تحدي الإثبات.
** 4.3.2 الفوائد **
· رسوم المعاملات L2
ربما MEV ، ولكن لتجنب مشاكل المركزية ، فإن معظم أجهزة فرز L2 المعروفة لا تستخرج MEV.
5. الخلاصة
تعمل Matterlabs على تطوير zkEVM وحققت تقدمًا كبيرًا في ذلك. على الرغم من أنه ليس متوافقًا تمامًا مع EVM (Type4 EVM) ، يبدو أن استغلال LLVM ينطوي على إمكانات كبيرة. تتمثل المرحلة التالية من خطط Matterlabs في إطلاق ZK-Stack ، وهو قاعدة بيانات سيمكن المطورين من الاستفادة من قاعدة الكود الصلبة الخاصة بهم لإنشاء مجموعاتهم الخاصة. تعد الأداة بمزايا واضحة مقارنة بـ OP-Stack ، خاصة فيما يتعلق بحماية الخصوصية وقابلية التوسع.
ومع ذلك ، لا يزال كلا المشروعين في مراحلهما الأولى وهناك الكثير من العمل الذي يتعين القيام به. يعد التقييم الشامل لهيكل التكلفة والمزايا المرتبط بالنشر أمرًا بالغ الأهمية. بالإضافة إلى ذلك ، يكمن أحد التحديات المهمة في تنمية نظام إيكولوجي للمطورين حول قاعدتي الشفرات هذين. التحليل التفصيلي والتخطيط الاستراتيجي ضروريان لضمان التنمية المستدامة للمنصة والتقنيات المرتبطة بها.
آمل أن يزدهر كلا المشروعين وأن يصبح بناء المصدر المفتوح وخرائط الطريق المشتركة هي القاعدة في مساحة web3.