ZKsync الذي أشاد به Vitalik قد يكون فعلاً مُقوَّماً بأقل من قيمته الحقيقية

بالنسبة لوحدة GPU واحدة فقط، فإن Airbender ليس فقط الأسرع في التحقق، بل هو أيضًا الأقل تكلفة.

الكاتب: Eric، Foresight News

في 1 نوفمبر، قام Vitalik بإعادة نشر تغريدة لمؤسس ZKsync حول ترقية ZKsync Atlas، وأشاد بأن ZKsync قام بالكثير من "الأعمال التي تم التقليل من شأنها ولكنها ذات قيمة كبيرة لنظام Ethereum البيئي".

استجاب السوق بسرعة لكلمات Vitalik، حيث ارتفع سعر ZK خلال عطلة نهاية الأسبوع إلى أكثر من 2.5 ضعف، كما شهدت رموز ZK البيئية، بما في ذلك ALT (AltLayer)، STRK (Starknet)، SCR (Scroll)، MINA (Mina) وغيرها، زيادات ملحوظة.

بعد فهم ترقية ZKsync Altas، اكتشفنا أن ما قامت به ZKsync قد تم التقليل من شأنه بالفعل.

ZKP السريع والصغير لكنه مكلف

منذ وقت مبكر، كان Ethereum Foundation يدفع باتجاه ZKP (إثبات المعرفة الصفرية) في جوهره لحل مشكلتي بطء التحقق وكبر حجم البيانات المطلوب التحقق منها.

ZKP في جوهره هو مسألة احتمالية رياضية، وسأضرب مثالاً غير دقيق تمامًا لتوضيح مبدئه: لنفترض أن شخصًا ما يدعي أنه حل "مشكلة الألوان الأربعة"، فكيف يمكن التأكد من أنه حلها بالفعل دون الكشف الكامل عن حله؟ حل إثبات المعرفة الصفرية هو اختيار بعض الأجزاء من الرسم البياني وإثبات أنه في هذه الأجزاء لا يوجد منطقتان متجاورتان لهما نفس اللون، وعندما يصل عدد الأجزاء المختارة إلى قيمة معينة، يمكن إثبات أن احتمال حل هذا الشخص لمشكلة الألوان الأربعة قد وصل إلى 99.99...%. في هذه الحالة، نكون قد أثبتنا "أنه حل مشكلة الألوان الأربعة" دون معرفة التفاصيل الكاملة.

هذا هو ما يسمعه الجميع غالبًا، "إثبات أنك فعلت شيئًا ما دون معرفة كيف فعلته" في إثبات المعرفة الصفرية. أما لماذا يتم دفع ZKP بقوة في نظام Ethereum البيئي، فذلك لأن الحد الأقصى النظري لسرعة ZKP أسرع بكثير من إثبات كل معاملة على حدة، وحجم البيانات الناتجة عن الإثبات نفسه صغير جدًا.

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

أما لماذا لا يتم استخدام هذه التقنية التي تبدو كلها مزايا على نطاق واسع، فذلك لأنها مكلفة جدًا.

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

لذلك، فإن العديد من مشاريع ZK المفاهيمية أو المطورين المفتوحين المصدر في نظام Ethereum البيئي يركزون بشكل أساسي على الجمع بين ZKP وEthereum: إنشاء إثباتات ZK بسرعة أعلى وبتكلفة أقل. في الفترة الأخيرة، تمكن فريق Brevis من إثبات كتلة Ethereum في متوسط 6.9 ثانية (99.6% من وقت الإثبات أقل من متوسط وقت إنتاج الكتلة الحالي في Ethereum: أقل من 12 ثانية) باستخدام نصف تكلفة خطة SP1 Hypercube فقط (64 وحدة GPU من نوع RTX 5090)، وهذا هو السبب في أن مجتمع Ethereum أشاد بذلك.

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

ترقية Altas تحقق نهائية ZK في ثانية واحدة

ربما لا يعرف الكثيرون أن zkVM مفتوح المصدر ZKsync Airbender الذي أطلقته ZKsync هو zkVM الأسرع في التحقق باستخدام وحدة GPU واحدة. وفقًا لبيانات Ethproofs، يبلغ متوسط وقت التحقق باستخدام ZKsync Airbender على بطاقة 4090 واحدة 51 ثانية، والتكلفة أقل من سنت واحد، وكلاهما أفضل أداء بين zkVMs.

وفقًا للبيانات التي قدمتها ZKsync نفسها، باستثناء التكرار، يبلغ متوسط وقت التحقق من شبكة Ethereum الرئيسية باستخدام Airbender مع وحدة H100 واحدة ونموذج تخزين ZKsync OS حوالي 17 ثانية. حتى مع احتساب التكرار، يبلغ متوسط الوقت الإجمالي حوالي 35 ثانية فقط، وتعتقد ZKsync أن هذا أفضل بكثير من الحاجة إلى عشرات وحدات GPU لتحقيق التحقق في أقل من 12 ثانية. ومع ذلك، نظرًا لوجود بيانات فقط لوحدتي GPU بمتوسط 22.2 ثانية حاليًا، لم يتم تحديد الجودة الفعلية بعد.

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

في نهاية يونيو، أطلقت ZKsync Airbender، وفي اليوم قبل الأخير من عطلة العيد الوطني تم إطلاق ترقية Altas. هذه الترقية التي دمجت Airbender حسّنت بشكل كبير من قدرة ZKsync على المعالجة وسرعة التأكيد والتكلفة.

من حيث القدرة على المعالجة، قامت ZKsync بتحسين المُرتب من الناحية الهندسية: من خلال مكونات غير متزامنة مستقلة تم تقليل الاستهلاك الناتج عن التزامن إلى الحد الأدنى؛ كما تم فصل الحالة المطلوبة من قبل الجهاز الافتراضي، والحالة المطلوبة من قبل واجهة برمجة التطبيقات، والحالة المطلوبة لإنشاء إثبات المعرفة الصفرية أو التحقق من إثبات المعرفة الصفرية على طبقة L1، مما قلل من التكاليف غير الضرورية للمكونات.

وفقًا لاختبارات ZKsync الميدانية، وصلت TPS في تحديثات الأسعار عالية التردد، وتحويلات العملات المستقرة في سيناريوهات الدفع، وتحويلات ETH الأصلية إلى 23k و15k و43k على التوالي.

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

أي أنه في المعاملات المنفذة على ZKsync، يكفي تحقق ZKP لتأكيد صحة المعاملة بالكامل، ومع انخفاض التكلفة بشكل كبير، حققت ZKsync، بحسب قولهم، سيناريوهات تطبيقية لا يمكن تحقيقها إلا بواسطة Airbender:

أولاً، بطبيعة الحال، دفاتر الطلبات على السلسلة، أنظمة الدفع، البورصات وصناع السوق الآليين وغيرهم من التطبيقات. يسمح Airbender للنظام بالتحقق والتسوية بسرعة كبيرة، مما يقلل من مخاطر التراجع لهذه التطبيقات على السلسلة.

النقطة الثانية هي ما لا تستطيع العديد من L2s تحقيقه حاليًا، وهو دعم الأنظمة العامة والخاصة (مثل Prividiums من ZKsync) للتشغيل البيني دون الحاجة إلى طرف ثالث. Prividiums هو بنية تحتية أطلقتها ZKsync لمساعدة الشركات على بناء سلاسل خاصة. بالنسبة للشركات، فإن متطلباتها من البلوكشين هي التسوية السريعة والخصوصية. التسوية السريعة لا تحتاج إلى شرح، وخصوصية ZKP الطبيعية تمكن سلاسل الشركات الخاصة من التفاعل مع السلاسل العامة دون الكشف عن معلومات دفتر الحسابات الخاص بها مع الحفاظ على صحة المعاملة. الجمع بين الاثنين يلبي حتى متطلبات التسوية في الوقت المحدد للمعاملات المالية والأوراق المالية على السلسلة وفقًا للمتطلبات التنظيمية.

وربما هذا هو السبب في أن ZKsync أصبحت ثاني أكبر شبكة إصدار أصول RWA رمزية بعد Ethereum فقط.

وتفخر ZKsync أيضًا بالقول إن كل هذا لا يمكن تحقيقه إلا تحت ترقية Altas: يوفر المُرتب تجميع معاملات منخفض الكمون، وينشئ Airbender إثباتًا في ثانية واحدة، ثم يتحقق Gateway وينسق الرسائل عبر السلاسل.

ربط L1 و L2

كما في التغريدة التي أعاد Vitalik نشرها، يعتقد مؤسس ZKsync Alex أنه بعد ترقية Altas، حققت Zksync بالفعل ربطًا حقيقيًا مع شبكة Ethereum الرئيسية.

الآن، أصبح وقت التأكيد النهائي للمعاملات في ZKsync (حوالي ثانية واحدة) أقصر من وقت إنتاج الكتلة في شبكة Ethereum الرئيسية (متوسط 12 ثانية)، مما يعني أن المعاملات المؤسسية وRWA على ZKsync متطابقة جوهريًا مع تلك على شبكة Ethereum الرئيسية، فقط في انتظار تأكيد الشبكة الرئيسية. هذا يعني أن ZKsync لا يحتاج إلى إنشاء مركز سيولة متكرر على L2، بل يمكنه استخدام سيولة الشبكة الرئيسية مباشرة، لأن ZK Rollup نفسه لا يحتاج إلى فترة تحدي لمدة 7 أيام بينه وبين الشبكة الرئيسية كما في OP Rollup، وترقية Altas زادت من السرعة على هذا الأساس.

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

أتذكر عندما تم إطلاق ZKsync وScroll لأول مرة على الشبكة الرئيسية، كان وقت تأكيد المعاملة ورسوم Gas مماثلين أو حتى أعلى من الشبكة الرئيسية، وكان السبب الأساسي هو أنه لم تكن هناك تحسينات منهجية في خوارزميات وهندسة ZKP عند الإطلاق، مما أدى إلى بطء التحقق وارتفاع التكلفة، وأدى ذلك في ذلك الوقت إلى أزمة ثقة في ZK Rollup. حتى اليوم، كل من Optimism وArbitrum ينتقلان تدريجيًا من OP Rollup إلى ZK Rollup (أو مزيج بينهما)، والتحسينات الإضافية في التكلفة والسرعة في ZKsync وغيرها من ZK Rollup، بالإضافة إلى ZKP اللامركزي في Scroll، تحولت من "هراء" إلى نتائج تستحق التطلع إليها.

من الرفض الجماعي إلى التحول إلى المفضل، أشرقت شمس ZK. بعد تحقيق اللامركزية الكاملة في المُرتب والجسر متعدد التوقيعات، ربما يمكن تحقيق ما قاله Hasseb Qureshi الشريك الإداري في Dragonfly: "can't be evil".