من صراخ الجميع والضرب إلى التحول إلى طعام معطر ، بشرت ZK بالفجر. تحقق ترقية ZKsync Atlas نهائية ZK في ثانية واحدة ، مما يفتح L1 و L2. (ملخص: تم اختراق ZKSync “قام المهاجم بسك 100 مليون رمز zk”!) تخلص المتسلل من البورصة Bithumb وعمليات الإزالة الطارئة الأخرى) (ملحق الخلفية: خسرت ZKsync 99٪ من إيراداتها بعد الإسقاط الجوي ، و 60٪ في شهرين $ZK ، L2 معطلة حقا؟ استشهد فيتاليك بتغريدات مؤسسي ZKsync حول ترقية ZKsync Atlas في 1 نوفمبر وأشاد ب ZKsync للقيام بالكثير من “العمل الذي تم التقليل من شأنه ولكنه قيم لنظام Ethereum البيئي”. سرعان ما تفاعل السوق مع كلمات فيتاليك ، وارتفع سعر ZK أكثر من 2.5 مرة في يومين خلال عطلة نهاية الأسبوع ، وأظهرت الرموز البيئية ZK ، بما في ذلك ALT (AltLayer) و STRK (Starknet) و SCR (Scroll) و MINA (Mina) وما إلى ذلك مكاسب جيدة. بعد التعرف على ترقية ZKsync Altas ، وجدنا أن ما يفعله ZKsync قد يتم التقليل من شأنه حقا. تم تنفيذ ZKP السريع والصغير ولكن باهظ الثمن ZKP (دليل المعرفة الصفرية) التابع لمؤسسة Ethereum منذ وقت مبكر جدا ، بشكل أساسي لحل مشكلة التحقق البطيء والكمية الكبيرة من بيانات التحقق. ZKP هي في الأساس مشكلة احتمالية رياضية ، والمثال غير الدقيق تماما سيوضح تقريبا كيفية عملها: لنفترض أن شخصا يدعي أنه حل “مشكلة الألوان الأربعة” ، فكيف يمكنك التأكد من أن هذا الشخص قد حلها دون الإعلان عن حلها بالكامل؟ الحل لإثبات المعرفة الصفرية هو انتقاء بعض الأجزاء في الرسم البياني بأكمله لإثبات أنه لا توجد قطعتان متجاورتان في هذه الأجزاء لهما نفس اللون ، وعندما يصل عدد الأجزاء المحددة إلى قيمة معينة ، يمكن إثبات أن احتمال حل مشكلة الألوان الأربعة قد وصل إلى 99.99…٪. في هذه المرحلة ، أدركنا الدليل على أنه “حل حقا مشكلة الألوان الأربعة” دون معرفة الصورة الكاملة. ما ورد أعلاه هو دليل المعرفة الصفرية الذي يسمعه الجميع في كثير من الأحيان ، “أثبت أنك فعلت ذلك دون معرفة كيفية القيام بذلك”. أما بالنسبة لسبب الترويج ل ZKP بقوة في نظام Ethereum البيئي ، فذلك لأن الحد النظري للسرعة ل ZKP أسرع بكثير من إثبات المعاملة على حدة ، وكمية البيانات الناتجة عن الدليل نفسه صغيرة جدا. إنه سريع لأن ZKP لا يحتاج إلى معرفة الصورة الكاملة ، مجرد تحد. على سبيل المثال ، للتحقق من كتلة Ethereum ، فإن الطريقة الحالية هي لكل عقدة للتحقق من المشكلة الأساسية المتمثلة في ما إذا كان عنوان تنفيذ كل معاملة يحتوي على رصيد كاف ، ولكن إذا كانت عقدة واحدة فقط تتحقق من كل معاملة من خلال ZKP ثم أنشأت “دليل” ، فإن العقد الأخرى تحتاج فقط إلى التحقق من أن “الإثبات” نفسه موثوق. علاوة على ذلك ، فإن كمية البيانات في هذا “الدليل” نفسه صغيرة جدا ، لذلك يمكن نقلها والتحقق منها بسرعة كبيرة ، وتكلفة تخزين البيانات أقل. أما لماذا لا يتم استخدام هذه التكنولوجيا ذات المزايا على نطاق واسع ، فذلك لأنها باهظة الثمن. على الرغم من أن ZKP لا يتعين عليها إعادة إنتاج جميع العمليات ، إلا أن التحدي نفسه يستهلك الكثير من قوة الحوسبة. يمكن تحقيق المزيد من السرعات إذا تم تكديس وحدات معالجة الرسومات مثل سباق تسلح الذكاء الاصطناعي ، ولكن لا يستطيع الجميع تحمل التكلفة. ومع ذلك ، إذا كان من الممكن تقليل قوة الحوسبة المطلوبة وقوة الحوسبة المنخفضة إلى حد ما من خلال الخوارزمية والابتكار الهندسي ، فيمكن موازنة “زيادة سعر Ethereum مدفوعة بإدخال المزيد من التطبيقات بسبب الابتكار التكنولوجي” و “تكلفة بناء العقد لشراء وحدات معالجة الرسومات”. لذلك ، تركز العديد من مشاريع مفهوم ZK أو مطوري المصدر المفتوح في نظام Ethereum البيئي بشكل أساسي على الجمع بين ZKP و Ethereum: لإنشاء براهين ZK بشكل أسرع بتكلفة أقل وتكلفة منخفضة. منذ بعض الوقت ، استخدم فريق Brevis فقط نصف تكلفة حل SP1 Hypercube (64 وحدة معالجة رسومات RTX 5090) لتحقيق متوسط 6.9 ثانية لإثبات كتل Ethereum (99.6٪ من وقت الإثبات أقل من متوسط الوقت الحالي لإنتاج كتل Ethereum في غضون 12 ثانية) لمجتمع Ethereum بشكل جماعي مثل هذا هو السبب. على الرغم من أن تكلفة GPU لا تزال تزيد عن 100,000 دولار ، إلا أنها تثبت أن السرعة قد انخفضت إلى المستوى الحالي بدون ZKP ، ومن ثم تتمثل مهمة الجميع في تقليل التكاليف. ترقية Altas تحقق نهائية ZK في 1 ثانية قد لا يعرف الكثير من الناس أن zkVM ZKsync Airbender مفتوح المصدر من ZKsync هو أسرع zkVM مع التحقق من وحدة معالجة الرسومات الفردية. وفقا ل Ethproofs ، يستغرق استخدام 4090 ZKsync Airbender واحد في المتوسط 51 ثانية ويكلف أقل من سنت واحد ، وكلاهما من بين الأفضل في zkVM. وفقا لمعلومات ZKsync الخاصة ، يستخدم Airbender طرازي التخزين المتجانسة H100 و ZKsync OS للتحقق من شبكة Ethereum الرئيسية في المتوسط 17 ثانية ، دون احتساب العودية. حتى عند احتساب العودية ، يبلغ متوسط الوقت الإجمالي حوالي 35 ثانية فقط ، وهو ما تعتقد ZKsync أنه أفضل بكثير من طلب العشرات من وحدات معالجة الرسومات للحصول على تصريح إقامة لمدة 12 ثانية. ومع ذلك ، نظرا لوجود بيانات في المتوسط حاليا 22.2 ثانية فقط لوحدتي معالجة رسومات ، فإن الجودة الفعلية لا تزال غير حاسمة. وكل هذا ليس الائتمان المستقل ل Airbender ، فتحسين الخوارزميات والهندسة هو واحد منهم فقط ، والتكامل العميق مع مكدس تقنية ZKsync هو المفتاح لتعظيم التأثير. والأهم من ذلك ، أنه يظهر أنه من الممكن تنفيذ شبكة Ethereum الرئيسية في الوقت الفعلي باستخدام وحدة معالجة رسومات واحدة. في نهاية يونيو ، أطلقت ZKsync Airbender ، وتم إطلاق ترقية Altas في اليوم قبل الأخير من اليوم الوطني. أدت هذه الترقية التي تتضمن Airbender إلى تحسين إنتاجية ZKsync وسرعة التأكيد وتكلفتها بشكل كبير. من حيث الإنتاجية ، صممت ZKsync جهاز التسلسل: يتم تقليل الاستهلاك الناتج عن المزامنة بواسطة مكونات مستقلة غير متزامنة. يتم فصل الحالة المطلوبة من قبل الجهاز الظاهري والحالة المطلوبة بواسطة واجهة برمجة التطبيقات والحالة المطلوبة لإنشاء إثبات المعرفة الصفرية أو التحقق من صحته على مستوى L1، مما يقلل من النفقات غير الضرورية للمكونات. بعد الاختبار الميداني ل ZKsync ، وصلت TPS على تحديثات الأسعار عالية التردد ، وتحويلات العملة المستقرة لسيناريو الدفع ، وتحويلات ETH الأصلية إلى 23 ألفا و 15 ألفا و 43 ألفا على التوالي. جاء تغيير نوعي كبير آخر من Airbender ، مما ساعد ZKsync على تحقيق تأكيد كتلة لمدة ثانية واحدة وتكلفة 0.0001 دولار لكل تحويل. على عكس التحقق من صحة كتل الشبكة الرئيسية ، يتحقق ZKsync فقط من صحة انتقالات الحالة ، وبالتالي فإن المبلغ الحسابي أصغر بكثير من التحقق من صحة كتل الشبكة الرئيسية. على الرغم من أن المعاملة التي تحقق نهائية ZK لا تزال بحاجة إلى التحقق منها على الشبكة الرئيسية قبل أن يتم تحقيق نهائية L1 أخيرا ، إلا أنه مع التحقق من ZK ، فهذا يعني صحة المعاملة ، ونهائية L1 أشبه بضمان لطبيعة العملية. أي أن المعاملات المنفذة على ZKsync تحتاج فقط إلى التحقق من ZKP للتأكد بشكل كامل من صحة المعاملة ، وبتكلفة مخفضة بشكل كبير ، تحقق ZKsync ، بكلماتها الخاصة ، يمكن ل Airbender فقط إحضار حقل التطبيق …