في أغسطس من العام الماضي، أصدرناZeth, أول نوع-1 zkEVM بني باستخدام RISC Zero zkVM ، مما سمح للمطورين بتجسيد تنفيذ EVM في ZK. ثم هذا العامفي مايو قمنا بترقية زيثلدعم تجميع البيانات التفاؤلي كجزء منطلب عروض مؤسسة التفاؤل، مما يمكن المطورين من إنشاء دلائل صحة تكرس اشتقاق الرول بأمان.

اليوم، نعلن عن كايلوا، مجموعة برامج لترقية اللفائف التفاؤلية إلى لفائف زيروكول-هجين، مع تنفيذها الأول المدعوم بالتفاؤلكونامحرك انتقال الحالة الرئيسي. كيلوا لا ينفذ كونا بشكل شفاف في zkVM فحسب، بل يقدم لعبة ذات خلل جديدة تعزز الحالية في فحص النزاعات عن طريق تقليل متطلبات الضمان وتأخيرات النهائية!

كايلوا

لا يجب الخلط بين مدينة كايلوا في حي هاواي كونا، وكايلوا هي مجموعة من الأدوات والعقود للهجرة من نظم إثبات الخطأ التفاعلية الطويلة إلى إثباتات الخطأ القصيرة الغير تفاعلية باستخدام RISC Zero zkVM. وتتكون مكوناتها الرئيسية من:

1. مجموعة من العقود للنزاعات في ZK، متوافقة حاليًا فقط مع تجاويف OP Stack.
2. أداة سطر الأوامر لتحويل تلقائي للرول أبس إلى دلائل على عيوب ZK.
3. وكيل مقترح للحالة الذي يعزز حالة الرولاب وفقًا لقواعد لعبة ZK.
4. وكيل محقق للتحديات والإثباتات في أي أخطاء انتقال حالة في ZK.

ملاحظة: الإصدار الأدنى للكومة المطلوب لاستخدام كايلوا هو V1.4 لأنه يستفيد من عقدة DisputeGameFactory بدلاً من عقد L2OutputOracle المهجور.

كايلوا تحل مشاكل اللف الأساسية

يجمع لعبة الخلاف في كايلوا بين إثبات الصفر المعرفي مع نموذج اللف الإيجابي في نظام هجين جديد يحسن الأمان والأداء مع تقليل التكاليف التشغيلية وتأخيرات الاستقرار! يتم تلخيص هذا في الجدول أدناه:

يوفر تكاليف الإثبات

على عكس ZK Rollups، يسمح النموذج الهجين لـ Kailua باستخدام rollups ليس فقط بالتشغيل بشكل طبيعي دون القلق بشأن تكاليف الإثبات المستمرة والأوقات، ولكن أيضًا بتخفيف مستخدميهم من أي تكاليف إضافية للإثبات، التي تتراكم وتصبح غير قابلة للإهمال في الحالات التي:

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

في تصميم كايلوا الرواية، يتحمل الأطراف غير الصادقة كامل تكاليف حل النزاع باستخدام ZK، سواء كانوا مقترحين أو محققين معيبين!

تقلل من متطلبات المشاركة

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

يقلل تكاليف ضمان النقد المعروض الحالي

تكاليف التشغيل المخفضة مقارنة بـ ZK Rollups رائعة، ولكن الأمر يزداد روعة! تقلل كايلوا أيضًا من تكاليف الضمانات المطلوبة لتشغيل Rollup من “خطية في عدد الاقتراحات / التحديات” إلى ثابتة! هذا يعني أنه حتى في فترات النهاية الطويلة، يمكن تقليل الحد الأدنى للضمانات المطلوبة من قبل الأطراف الصادقة للحفاظ على أمان وحيوية النظام بأمر من الأحجام من عشرات الآلاف إلى مئات (بالدولار)!

ELI5: لعبة Kailua Fault Proof

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

تأخيرات النهوية

قواعد لعب ألعاب النزاع القائمة على التحليل تشمل عدة أنواع من فترات “الوقت المنقضي” الممنوحة للاعبين لاتخاذ الخطوات. الأكثر بروزًا هما اثنان:

1. المهلة قبل أن يكون النتيجة غير المتنازع عليها نهائية، ولا يمكن تقسيمها بعد ذلك.
2. الوقت المسموح قبل حل النزاع المفتوح، وعدم قدرة اللاعبين على المشاركة بعد ذلك.

هذه المهلتان تساهمان في ما يُشار إليه عادةً باسم “فترة النهوض النهائية”. في التصميمات الحالية، يمكن للمهاجم التضحية بضمانه الخاص لتشغيل مهلة الأخيرة عدة مرات، وربما حتى استنزاف موارد المدافعين. كان هذا النواقل الهجومية مركزيًا لأمان اللفائف، بما في ذلك Arbitrum، الذي يعتمد حاليًا بروتوكول جديد للنزاعات (بولد) الذي يهدف إلى تحديد حد أقصى ثابت بما يقرب من ~6.3 أيام على فترة الانتظار للنزاعات المفتوحة بشكل مثبت.

Spoiler: يقلل Kailua من هذا الوقت المهلة إلى ساعة قليلاً! ويزيل الإمكانية لهجمات استنزاف الموارد!

أدخل ZK للاستخدام العام

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

هجين هو أفضل ما في كلا العالمين

في حين أن مثل هذا التحول في الميكانيكا قد يبدو معقولا ، إلا أنه لا يزال ليس مقدمة مثالية ل ZK في لعبة النزاع المتفائلة! بدلا من طلب البراهين فقط لإثبات أن حالة التجميع المقترحة غير صالحة ، يمكن للمرء أيضا الاستفادة من براهين zk لإثبات الصلاحية ، حتى في بيئة متفائلة! مع وضع ازدواجية البراهين في الاعتبار ، يطلب Kailua فقط من المعترضين الإشارة إلى “نيتهم” للاعتراض على اقتراح ما ، ومنع الانتهاء من هذا الاقتراح حتى يتم تقديم خطأ أو إثبات صحة لدحض إما المعترض أو مقدم الاقتراح ، وإزالة أفعالهم من اللعب. وبالتالي ، فإن هذا يسمح ل Kailua بتخفيف التجميع من القلق بشأن إثبات الأوقات التي يحتمل ألا تكون قصيرة مثل المهلة الأخيرة.

متطلبات الضمان الأقل (بكثير)

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

من الغاز إلى البخار

ومع ذلك، نادرًا ما تأتي العديد من المزايا مجانًا! بالمقارنة مع التكديسات المتفائلة ، هناك تكلفة إضافية لنشر البيانات في هذا التصميم الهجين الذي يتطلب إزالة التفاعلات المطلوبة في لعبة التشريح. لقد صممنا كايلوا لجعل هذه التكلفة التشغيلية للبيانات تكاد تكون معدومة مقارنة بتكاليف الإثبات الكاملة في ZK Rollup ، مما يؤدي إلى زيادة تكاليف التشغيل الزائدة لكل عملية في كايلوا إلى أن تكون عكسيًا لـ TPS!

في لف ملفوف كايلوا حيث يتعلق التحدي/البرهان بسلسلة من كتل اللف المتوالية، يجب على المقترح كايلوا نشر على الأكثر N/K تجزئة كـ “بيانات نقطة التفتيش” عند اقتراح انتقال حالة يعزز اللف المتوالي بـ N كتلة. K هو عدد الكتل الغير فارغة التي تغطيها كل تحدي/برهان، وهو معلم قابل للتكوين يحدد تكاليف النزاع. نقول على الأكثر N/K، لأن عدد نقاط التفتيش المطلوبة يمكن تقليصه بشكل كبير إذا كانت هناك العديد من الكتل الفارغة في اقتراح.

في حالة لفة نشطة نسبيًا مع عدد قليل جدًا من الكتل الفارغة ، ستكون التكلفة الإضافية المذكورة أعلاه مهملة ، حيث ستكون تكلفة إضافية لنشر 32 / K بايت إضافية فقط لكل كتلة. مع K = 1 ، على سبيل المثال في Optimism’s mainnet ، هذا يعادل نشر كتلة واحدة كل 2 ساعة و 15 دقيقة ، وهو متوافق معمعدل الاقتراحات الحالي لشبكة بناء بوابة، وبعيدًا عنتكاليف DA لمثل هذه الفترة. في TPS الحالي وتكلفة 3 دولارات لكل blob، هذا أقل من 0.0001 دولار لكل tx!

ومع ذلك ، في حالة وجود مجموعة تحديثات تواجه فائدة منخفضة لمساحة الكتلة (على سبيل المثال بسبب أوقات الحظر المنخفضة جدا) ، يمكن أن تكون النفقات العامة لنشر تجزئات N / K بسذاجة غير عملية ، لكن Kailua ليس ساذجا! في هذه الحالة ، يمكن أن يستخدم شرط إنشاء نقطة تفتيش معلمة ثانية ، E ، والتي تشير إلى الحد الأقصى لعدد الكتل الفارغة التي قد تغطيها نقطة التفتيش. ثم يلزم وجود نقطة تفتيش 32 بايت (تجزئة الكتلة / الحالة) لتغطية سلسلة من الكتل التي تحتوي على كتل فارغة على الأكثر E أو كتل K غير فارغة. لحسن الحظ ، يمكن أن يكون E عددا أكبر بكثير من K ، اعتمادا على مدى رخص إثبات الكتل الفارغة.

استخدام Kailua اليوم

تخضع Kailua حاليا لتطور سريع وهي مناسبة فقط لاختبار البيئات وليس في الإنتاج. سنستمر في تحسين وتطوير Kailua من خلال إضافة ميزات جديدة ، وتحسين التكاليف والأداء ، وربما دعم المزيد من مكدسات التراكم! Kailua هو مشروع مفتوح المصدر بالكامل تم نشره تحت RISC Zero’sGithub.

من السهل!

يتيح لك Kailua CLI نشر OP devnet المحلي بسهولة وترقيته لاستخدام أدلة الأخطاء ZK باستخدام عدد قليل من الأوامر فقط. بعد ذلك ، يمكنك استخدام CLI لتشغيل المقترح والمحقق ، والتفاعل مع devnet المحلي الخاص بك كما كنت تفعل عادةً. إذا كنت مهتمًا باختبار لعبة النزاع الفعلية في حالة الأخطاء ، فيمكنك استخدام CLI بدلاً من التفاعل بشكل غير طبيعي كما لو أنك لم تكن ، وتسبب بعض المقترحات الخاطئة ومشاهدة المحقق يتحدى ويطرحها باستخدام RISC Zero zkVM!

انها عملية

أخيرًا ، لن يكون هذا مشاركة في مدونة RISC Zero حول إصدار جديد بدون بعض العدادات الدورية! يوضح الجدول أدناه بعض مقاييس أداء شبكة OP الرئيسية ، والتي تأتي مع بعض الشروط.

1. تختلف هذه الأرقام عن Zeth لأن محرك الاشتقاق والتنفيذ الأساسي يعتمد بشكل خالص على Kona لـ Optimism ، والتي صممت مع بعض التجريدات على مستوى عالٍ في الاعتبار التي ستعود بالنفع على خططنا المخططة لتكييفها لـ RISC Zero zkVM.
2. كل دليل للحصول على تصريح وتنفيذ كتلة L2 واحدة. يمكن تحسين دليل الدفعة لسلسلة من الكتل المتعددة للحصول على عدد دورات أصغر بشكل كبير لكل كتلة عن طريق مشاركة تكاليف الحصول على البيانات، والتي تكون أكبر بشكل نسبي بشكل كبير.
3. لدينا مجموعة من المعجلات التشفيرية التي ستتم دمجها قريبًا مع zkVM، مما سيقلل بشكل كبير من تكاليف دورة Kailua.

على الرغم من زيادة عدد الدورات بنسبة تقريباً أربعة أضعاف مقارنة بـ op-zeth, فإن تكاليف الإثبات لكل عملية في هذا الجدول تكون أفضل بمقدار مرتين إلى خمسة مرات بسبب التحسينات في الإثبات الصفري لـ RISC.

تنويه:

1. يتم نشر هذا المقال مرة أخرى من [ risczero], جميع حقوق الطبع والنشر تنتمي إلى الكاتب الأصلي [رامي خليل]. إذا كانت هناك اعتراضات على هذا النشر مرجوا التواصل مع بوابة تعلمالفريق، وسوف يتولى التعامل معها بسرعة.
2. تنصل المسؤولية: الآراء والآراء المعبر عنها في هذه المقالة هي تلك فقط للكاتب ولا تشكل أي نصيحة استثمارية.
3. تتم ترجمة المقال إلى لغات أخرى من قبل فريق Gate Learn. ما لم يذكر غير ذلك، يُمنع نسخ أو توزيع أو سرقة المقالات المترجمة.