TTF: كم من الوقت يستغرق الانتهاء من صفقة تراكمية؟

原文标题:《تغريدة على وقت التجميع حتى النهاية (TTF)》

تأليف: @larry0x

编译:فرانك ، أخبار البصيرة

بادئ ذي بدء ، ما هو TTF ولماذا هو مهم؟

النهائية هي الحالة التي لا يمكن فيها أبدا إلغاء المعاملة أو إعادتها أو تعديلها ، أي أنها تعتبر قد حلت مشكلة المعاملة المقابلة.

TTF (الوقت حتى النهاية) هو الوقت الذي تستغرقه إشارة التداول للوصول إلى حالتها النهائية من بداية البث ، وفيما يلي صناديق TTFs للعديد من السلاسل المختارة:

! [TTF: كم من الوقت يستغرق الانتهاء من صفقة تراكمية؟] (https://cdn-img.panewslab.com//panews/2022/11/15/images/1479927338818e02a46e6f57d2b767fd.)

TTF هو معلمة مهمة مع مجموعة متنوعة من الاستخدامات:

• إذا كنت تاجرا يقبل مدفوعات العملة المشفرة ، أود انتظار TTF قبل تسليم السلع أو الخدمات حتى أعرف أنه لن يتم إلغاء الدفعة.
• إذا كنت بروتوكول توصيل عبر السلسلة وأرسلت سلسلة المرسل حزمة ، فأنا أريد انتظار TTF قبل ترحيلها إلى سلسلة جهاز الاستقبال.
• …

ثانيا ، التراكمات

هناك 2 مراحل في دورة حياة كتلة التراكمي:

(1) يتم نشر بياناتها في طبقة توفر البيانات (DA) ؛

(2) إثبات صحتها في طبقة التسوية ؛

تجدر الإشارة إلى أن TTF يختلف عن العقد الكاملة والخفيفة لسلاسل Rollup:

• بالنسبة للأول ، لا يحتاجون إلى انتظار (2) للاستقرار ، لأنه بمجرد نشر بيانات الكتلة في (1) ، يمكنهم التحقق على الفور من الصلاحية بأنفسهم ؛
• بالنسبة للأخيرة ، يحتاجون إلى انتظار عملية التسوية ؛

خلال مرحلة إثبات التسوية لطبقة التسوية، هناك نوعان من عمليات التراكم، اعتمادا على الآلية التي يستخدمونها:

• صلاحية التراكمات (ويعرف أيضا باسم تراكمات المعرفة الصفرية ، zkRUs). بعد أن يقوم جهاز التسلسل بإنشاء كتلة ، يقدم البروفير (عادة نفس الشخص مثل جهاز التسلسل) دليلا على الصلاحية يثبت أن الكتلة صالحة من خلال بعض سحر التشفير.
• تراكمات متفائلة (opRUs)。 يقوم جهاز التسلسل بإنشاء كتلة ، لكنه لا يثبت أنها صالحة. إذا كان غير صالح بالفعل ، فيمكن لأي شخص (prover) الطعن فيه عن طريق تقديم دليل على الاحتيال ، مما يؤدي إلى رفض الحظر. إذا لم يثبت أحد أن الكتلة غير صالحة لفترة من الوقت ، تعرف باسم فترة النزاع ، فإن الكتلة تعتبر صالحة.

ملاحظة: لا أحب مصطلح zkRU لأن العديد من أنظمة الإثبات هذه ليست في الواقع تقنيات المعرفة الصفرية ، لذا فإن “Validity Rollup” هو مصطلح أكثر دقة. ومع ذلك ، فإن استخدام “zkRU” شائع جدا ، لذلك أستخدمه.

هناك أيضا بعض الأشياء المهمة التي يجب معرفتها:

• في الممارسة العملية، لا يتم عادة نشر بيانات الكتلة إلى طبقة DA مباشرة بعد إنشاء الكتلة. عادة ما ينتظر جهاز التسلسل قليلا ثم ينشر بضع كتل بكميات كبيرة (ربما لتوفير رسوم الغاز) ؛
• غالبا ما تتأخر إثباتات الصلاحية ، عادة بسبب توليد هذه البراهين المكثف حسابيا والمستهلك للوقت ؛
• إثبات الصلاحية والاحتيال لا ينتشر فقط على السلسلة. على سبيل المثال ، إذا أرسل لي شخص ما إثبات صحة خارج السلسلة ، فيمكنني التأكد من أن الكتلة صالحة دون الحاجة إلى انتظار (2) عملية التسوية على السلسلة.

أخيرا ، نحن على استعداد لمناقشة المدة التي تستغرقها صفقة التجميع للوصول إلى النتيجة النهائية.

بالنسبة للعقد الكاملة ، تكون العملية بسيطة: بمجرد نشر الكتلة (1) وإكمالها على طبقة DA ، يتم الانتهاء منها.

إذا أشرنا إلى:

• T1: عدد المرات التي يتم فيها نشر الكتل على طبقة DA (على سبيل المثال ، إذا كان جهاز التسلسل ينشر دفعة على طبقة DA كل 10 دقائق ، فإن T1 = 10 دقائق)
• T2: TTF لطبقة DA

ثم TTF من التراكمي = T1 + T2.

بالنسبة للعقد الخفيفة ، يجب عليهم الانتظار حتى يكتمل (1) و (2). بالنسبة ل opRUs ، فإن وقت (2) هو فترة التحدي ، وبالنسبة ل zkRUs ، يكون الوقت بعد أن يقوم البروفير بإنشاء ونشر إثبات الصلاحية.

إذا أشرنا إلى:

• T3: بالنسبة ل opRU ، فترة التحدي ؛
• T4: بالنسبة ل zkRUs ، الوقت الذي تم فيه نشر إثبات الصلاحية في طبقة التسوية ؛
• T5: TTF لطبقة التسوية ؛

ثم هناك TTF لمجموعة التحديثات:

• ل opRU: كحد أقصى (T1 + T2 ، T3) ؛
• ل zkRU: ماكس (T1 + T2 ، T4 + T5) ؛

يعني “الحد الأقصى” في هذه المعادلات أننا بحاجة إلى انتظار اكتمال DA وعملية التسوية ، أيهما أطول (يتم تسويتها دائما تقريبا).

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

من الصعب القول عن opRU. تميل فترة التحدي (T3) إلى أن تكون أطول بسبب المخاوف من أن طبقة التسوية قد تراجع أدلة الاحتيال. لذلك يعتمد الأمر حقا على تحملك للمخاطر. إذا كنت واثقا تماما من أن طبقة التسوية لن تراجع المعاملة ، فيمكنك اختيار الانتظار لفترة زمنية أقصر. وإلا ستنتظر لفترة أطول ، لكنك لن تضطر إلى الانتظار لفترة أطول من T3.

دعنا نلخص الأمر:

! [TTF: كم من الوقت يستغرق الانتهاء من صفقة تراكمية؟] (https://cdn-img.panewslab.com//panews/2022/11/15/images/dc879d6785275eb291bbc2cae4b7bc1d.)

فيما يلي مثالان من العالم الحقيقي ، Arbitrum و zkSync. يستخدمون Ethereum ل DA والتسوية ، لذا فإن T2 = T5 = 13 دقيقة.

• ينشر جهاز التسلسل الخاص ب Arbitrum البيانات كل T1 = 6 دقائق تقريبا ، وفترة تحدي Arbitrum هي T3 = أسبوع واحد ؛
• ينشر جهاز التسلسل الخاص ب zkSync البيانات كل T1 = 3 دقائق تقريبا ، مما يثبت أنه لا يتم نشره بانتظام ، ولكن في المتوسط مرة واحدة T4 = ساعة واحدة ؛

يمكننا أيضا التفكير في zkRU افتراضي يستخدم Celestia ل DA ، والذي أعتقد أنه أقرب إلى النتيجة النهائية:

• T1 = 0 (سيليستيا رخيصة ، لذلك نفترض أن الكتلة يتم نشرها بمجرد إنشائها) ؛
• T2 = 12 ثانية ؛
• T4 = وقت توليد الإثبات ، اعتمادا على نظام الإثبات ؛

! [TTF: كم من الوقت يستغرق الانتهاء من صفقة تراكمية؟] (https://cdn-img.panewslab.com//panews/2022/11/15/images/edba98503458c791b1db04f99e9d7a91.)

أخيرا ، مناقشة موجزة لما يعنيه كل ذلك

كما تعلم ، أنا من محبي Cosmos ، ويستخدم IBC عميل عقدة خفيفة للتحقق من صحة الحزم ، لذلك تحتاج إلى انتظار TTF ، كما هو موضح في عمود “للعقد الخفيفة” في الصورة أعلاه.

بالنسبة ل opRU ، يمكن أن يصل هذا إلى أسبوع 1 (إذا لم تكن واثقا جدا من مقاومة الرقابة في Ethereum) ، وهو وقت طويل جدا لأغراض عملية. لهذا السبب بالنسبة ل opRU ، يتعين علينا استخدام جسور العقدة الكاملة ، مثل Axelar و Wormhole ، والتي تتكون من مجموعة من المشغلين الذين يديرون عقدا كاملة.

الجانب السلبي هو أننا بحاجة إلى الوثوق بهذه المجموعة من شركات النقل ، والتي قد لا تكون آمنة اقتصاديا مثل سلسلة المرسل ، وهذا هو السبب في أنني هبوطي على opRU.

بالنسبة إلى zkRUs العادية ، نحتاج فقط إلى انتظار الانتهاء من DA (16 دقيقة على Ethereum) + وقت إنشاء الإثبات ، لسنا بحاجة إلى انتظار إصدار البراهين على Ethereum - هذه هي الميزة الرئيسية على opRUs!

هذه أيضا إحدى الطرق التي أعتقد أن Celestia يمكنها تحسين تجربة Rollup عبر السلسلة. في Ethereum ، ننتظر 12 ثانية فقط + وقت إنشاء الإثبات ، وليس 16 دقيقة. يمكن لعملاء العقدة الخفيفة استخدام QGB للتحقق من البراهين من مدقق Celestia (الذي أعتقد أنه تمت إعادة تسميته الآن إلى Blobstream) ، أو ربما أخذ عينات DA.