ترقية zkSync: لماذا انشق لاعب SNARK إلى STARK؟

هل أعلن لاعب في SNARK أنه على قدم المساواة مع STARK؟ عصر STARK مع zksync هنا قريبًا جدًاStarknet يرتجف!

إذن ، ما هو الإصدار الجديد من Boojum الذي تمت ترقيته بواسطة zkSync؟ لماذا أعلن zkSync عن ترقية Stark بهذه السرعة؟ ما هو الفرق الجوهري بين سنارك وستارك؟ ما هو تأثير هذه الترقية على سوق L2؟

من منظور المناقشة الفنية ، دعنا نراجع ونناقش بسرعة.

1. Boojum هو الإصدار الانتقالي من zkSync من SNARK إلى نظام إثبات STARK. هذا يعني أن نظام إثبات Prover الخاص بـ zkSync سيكون لديه قدرة واجهة STARK ، لكنه سيظل يستخدم نظام SNARK المضاد لتلبية معظم الاحتياجات السائدة.

2. Boojum هو خيار لـ zkSync لتنفيذ استراتيجية zk Stack متعددة السلاسل. بالمقارنة مع SNARK ، فإن طريقة STARK المؤكدة لديها القدرة على التحقق غير التفاعلي وهي مناسبة للتحقق المعقد غير التكراري في بيئة عبر سلسلة.

3. يكمن الاختلاف الأساسي بين SNARK و STARK في طريقة التحقق. يعتمد SNARK على افتراضات رياضية وهو مناسب لإثباتات خصم zk استنادًا إلى نفس المفتاح العام في نفس النظام ؛ بينما تحتوي عملية إثبات STARK على معلومات زائدة وتتطلب موارد حوسبة عالية.

4. ستظل السلسلة الرئيسية zkSync تستخدم SNARK كنظام برهان رئيسي ، و STARK هي مجرد قدرة توسع لإستراتيجيتها متعددة السلاسل. هذا يختلف عن البعد الاستراتيجي لـ Starknet ، لكنه قد يجلب بعض الضغط التنافسي على حلول L2 الأخرى مثل Op Stark و Arbitrum Orbit و Polygon 2.0.

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