اشتكى أحد الأصدقاء من أن zkSync معطل دائمًا. في الواقع ، وصفه بـ "وقت التعطل" هو نوع من المبالغة. على وجه الدقة ، هذا يعني "إنشاء كتلة غير مستقر". في الأساس ، الوقت النهائي الذي تم التحقق منه للمعاملة المقدمة من Sequencer غير مستقر ، لكن تصور المستخدم ليس واضحًا في النهاية التفاعلية ، لأن تصميم التحقق من zkSync به تأخير في التأكيد. سيتم تخفيف عدم الاستقرار في مرحلة اللامركزية المستقبلية. لقد رسمت سير عمل لمناقشته معك.
قد يكون السبب وراء إدراك المستخدمين "لوقت التوقف عن العمل" هو فشل المعاملة بسبب بعض DApps والتوافق الأساسي للسلسلة.بعد كل شيء ، يعد تطوير DApps على zkSync نفسه تحديًا كبيرًا. يستغرق الأمر حوالي 30 دقيقة - ساعة واحدة لملاحظة تغيير الحالة من الالتزام إلى التحقق من المتصفح الرسمي ، ولا يتأثر تطبيق DApp التفاعلي من جانب المستخدم بهذا. تركز هذه المقالة على المنطق الأساسي لتكنولوجيا zkSync العلمية الشائعة ، لتزويدك بفهم واضح لـ zkSync.
كما هو موضح في سير العمل ، يتم تشغيل zkSync في الخطوات التالية:
يرسل المستخدم حركات دفعية إلى فارز جهاز التسلسل من خلال إعادة توجيه الترحيل ؛
Sequencer مسؤول عن فرز المعاملات وتجميع الدفعات وتعبئتها في أشجار Merkle ؛
يولد zkPorter برهان zk-SNARK من شجرة Merkle ؛
يثبت zk-SNARK أن المرحل يولد تجزئة التزام إلى مدقق L2 وسلسلة رئيسية L1 على التوالي
المدقق مسؤول عن التحقق من صحة إثبات zk-SNARK ، وتقديمه إلى العقد الذكي L1 لإنشاء تجزئة تحقق بعد أن تكون صحيحة ؛ 6) يتحقق عقد zkSync الذكي على L1 من مطابقة Commit Hash والتحقق من التجزئة ؛ 7) إنشاء تم التحقق منه بعد المطابقة الناجحة يتم تحميل معاملة المعاملة أخيرًا إلى السلسلة ؛ 8) إذا فشلت المطابقة ، فسيتم إبطال تجزئة الالتزام الأصلية ، وسيقوم جهاز التسلسل بإعادة إرسال الدُفعة ومتابعة العملية مرة أخرى .
يجب التأكيد هنا على أن zkSync تتبنى "التزام على مرحلتين (2PC)" ، وتحدد أخيرًا دفعة المعاملة القانونية من خلال التحقق من التجزئة لمرحلتي Commit Hash و Verify Hash. من ناحية أخرى ، يمكن أن يضمن ذلك اتساق البيانات وأمانها في عملية تشغيل النظام. في فهمي الشخصي ، يعد هذا أيضًا مظهرًا من مظاهر فكرة اللامركزية التي تقيد مكوني النظام ، التسلسل والتحقق ، وهي جديرة من الثناء.
يحتوي سير العمل في zkSync بشكل أساسي على أربعة أدوار: Relay و Sequencer و zkPorter و Validator. سيكون هناك العديد من "العوامل غير المستقرة" في العمل التنسيقي. يمكن تلخيصها على أنها استقرار وظائف العقدة ، واستقرار تعاون العقدة ، وتعقيد الخوارزميات والبروتوكولات الأساسية. قد يتسبب أي خطأ في أي ارتباط في تأخير الحظر. تعتبر الأعطال الفنية الشائعة لـ Arbitrum Sequencer نموذجية ، وسيواجه zkSync المزيد من التحديات فقط.
بالنسبة لتعقيد الخوارزمية ، هذا هو مصير سلسلة zkSync ، ويحتاج المطورون البيئيون إلى العمل الجاد للتغلب عليها. بالنسبة لاستقرار استخبارات العقدة والتعاون ، أعتقد أنه بعد مجيء مرحلة اللامركزية في المستقبل ، سيتم تحسينها بشكل فعال. المنطق بسيط أيضًا:
يمكن أن تتجنب العقد متعددة التوزيع عدم استقرار الشبكة الناجم عن نقطة واحدة من الفشل ، والتي ترجع إلى قوة النظام ؛
يمكن أن توفر آلية حوافز الرمز الموزع للمطورين مصدرًا للتحفيز للحفاظ على استقرار العقدة.
بالتفكير من منظور آخر ، فإن الوقت الطويل من التحقق لا يمثل مشكلة في المرحلة المبكرة من البيئة ، حيث يمكن أن يحسن بشكل فعال أمن السلسلة ويمنع بعض العقد في النظام من فعل الشر. باختصار ، إذا أوضحت عملية تشغيل zkSync بالكامل ، وفهمت بشكل أكبر التعقيد التقني للطبقة 2 والآلية "الخاصة" المصممة للأمان ، يمكنك تعزيز ثقتك في المسار الفني L2. نرحب بالجميع لإعادة التوجيه والمشاركة ، DM لي في أي وقت ، ودعنا نجري تبادلًا معمقًا ودراسة zkSync.
شاهد النسخة الأصلية
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
لماذا zkSync دائما "تعطل"؟ مقالة تناقش سير عمل zkSync
اشتكى أحد الأصدقاء من أن zkSync معطل دائمًا. في الواقع ، وصفه بـ "وقت التعطل" هو نوع من المبالغة. على وجه الدقة ، هذا يعني "إنشاء كتلة غير مستقر". في الأساس ، الوقت النهائي الذي تم التحقق منه للمعاملة المقدمة من Sequencer غير مستقر ، لكن تصور المستخدم ليس واضحًا في النهاية التفاعلية ، لأن تصميم التحقق من zkSync به تأخير في التأكيد. سيتم تخفيف عدم الاستقرار في مرحلة اللامركزية المستقبلية. لقد رسمت سير عمل لمناقشته معك.
قد يكون السبب وراء إدراك المستخدمين "لوقت التوقف عن العمل" هو فشل المعاملة بسبب بعض DApps والتوافق الأساسي للسلسلة.بعد كل شيء ، يعد تطوير DApps على zkSync نفسه تحديًا كبيرًا. يستغرق الأمر حوالي 30 دقيقة - ساعة واحدة لملاحظة تغيير الحالة من الالتزام إلى التحقق من المتصفح الرسمي ، ولا يتأثر تطبيق DApp التفاعلي من جانب المستخدم بهذا. تركز هذه المقالة على المنطق الأساسي لتكنولوجيا zkSync العلمية الشائعة ، لتزويدك بفهم واضح لـ zkSync.
كما هو موضح في سير العمل ، يتم تشغيل zkSync في الخطوات التالية:
يرسل المستخدم حركات دفعية إلى فارز جهاز التسلسل من خلال إعادة توجيه الترحيل ؛
Sequencer مسؤول عن فرز المعاملات وتجميع الدفعات وتعبئتها في أشجار Merkle ؛
يولد zkPorter برهان zk-SNARK من شجرة Merkle ؛
يثبت zk-SNARK أن المرحل يولد تجزئة التزام إلى مدقق L2 وسلسلة رئيسية L1 على التوالي
المدقق مسؤول عن التحقق من صحة إثبات zk-SNARK ، وتقديمه إلى العقد الذكي L1 لإنشاء تجزئة تحقق بعد أن تكون صحيحة ؛ 6) يتحقق عقد zkSync الذكي على L1 من مطابقة Commit Hash والتحقق من التجزئة ؛ 7) إنشاء تم التحقق منه بعد المطابقة الناجحة يتم تحميل معاملة المعاملة أخيرًا إلى السلسلة ؛ 8) إذا فشلت المطابقة ، فسيتم إبطال تجزئة الالتزام الأصلية ، وسيقوم جهاز التسلسل بإعادة إرسال الدُفعة ومتابعة العملية مرة أخرى .
يجب التأكيد هنا على أن zkSync تتبنى "التزام على مرحلتين (2PC)" ، وتحدد أخيرًا دفعة المعاملة القانونية من خلال التحقق من التجزئة لمرحلتي Commit Hash و Verify Hash. من ناحية أخرى ، يمكن أن يضمن ذلك اتساق البيانات وأمانها في عملية تشغيل النظام. في فهمي الشخصي ، يعد هذا أيضًا مظهرًا من مظاهر فكرة اللامركزية التي تقيد مكوني النظام ، التسلسل والتحقق ، وهي جديرة من الثناء.
يحتوي سير العمل في zkSync بشكل أساسي على أربعة أدوار: Relay و Sequencer و zkPorter و Validator. سيكون هناك العديد من "العوامل غير المستقرة" في العمل التنسيقي. يمكن تلخيصها على أنها استقرار وظائف العقدة ، واستقرار تعاون العقدة ، وتعقيد الخوارزميات والبروتوكولات الأساسية. قد يتسبب أي خطأ في أي ارتباط في تأخير الحظر. تعتبر الأعطال الفنية الشائعة لـ Arbitrum Sequencer نموذجية ، وسيواجه zkSync المزيد من التحديات فقط.
بالنسبة لتعقيد الخوارزمية ، هذا هو مصير سلسلة zkSync ، ويحتاج المطورون البيئيون إلى العمل الجاد للتغلب عليها. بالنسبة لاستقرار استخبارات العقدة والتعاون ، أعتقد أنه بعد مجيء مرحلة اللامركزية في المستقبل ، سيتم تحسينها بشكل فعال. المنطق بسيط أيضًا:
يمكن أن تتجنب العقد متعددة التوزيع عدم استقرار الشبكة الناجم عن نقطة واحدة من الفشل ، والتي ترجع إلى قوة النظام ؛
يمكن أن توفر آلية حوافز الرمز الموزع للمطورين مصدرًا للتحفيز للحفاظ على استقرار العقدة.
بالتفكير من منظور آخر ، فإن الوقت الطويل من التحقق لا يمثل مشكلة في المرحلة المبكرة من البيئة ، حيث يمكن أن يحسن بشكل فعال أمن السلسلة ويمنع بعض العقد في النظام من فعل الشر. باختصار ، إذا أوضحت عملية تشغيل zkSync بالكامل ، وفهمت بشكل أكبر التعقيد التقني للطبقة 2 والآلية "الخاصة" المصممة للأمان ، يمكنك تعزيز ثقتك في المسار الفني L2. نرحب بالجميع لإعادة التوجيه والمشاركة ، DM لي في أي وقت ، ودعنا نجري تبادلًا معمقًا ودراسة zkSync.