التوسع التكراري

ما التوسع التكراري في الكريبتو؟

التوسع التكراري هو أسلوب لتوسيع نطاق البلوكشين يستخدم براهين تشفيرية تكرارية لضغط معاملات أو عمليات حسابية أو نتائج براهين عديدة في برهان نهائي أصغر حجمًا.

يرتبط التوسع التكراري في الكريبتو غالبًا ببراهين المعرفة الصفرية وZK-rollups وتجميع البراهين وآلات zkVM والبلوكشينات الموجزة وأنظمة البلوكشين المعيارية.

تتمثل الفكرة الأساسية في أن برهانًا واحدًا يمكنه التحقق من برهان آخر، ثم يمكن لبرهان آخر التحقق من البرهان الجديد، وهكذا.

يتيح هذا التركيب المتكرر للبراهين تمثيل قدر كبير من العمل ببرهان نهائي مدمج.

يمكن فهم التوسع التكراري ببساطة على أنه توسيع للنطاق عبر إثبات صحة البراهين بدلًا من التحقق من كل إجراء على حدة.

بدلًا من إلزام البلوكشين بالتحقق مباشرةً من آلاف المعاملات أو براهين منفصلة عديدة، يمكن لنظام تكراري دمجها في مسار تحقق واحد.

تصف وثائق Ethereum حول ZK-rollup البراهين التكرارية بأنها براهين على براهين يمكن أن تزيد معدل المعالجة في ZK-rollups بدرجة كبيرة.

وهذا يجعل التوسع التكراري مهمًا للبلوكشينات التي تسعى إلى زيادة سعة المعاملات من دون إضعاف افتراضات الثقة.

كما يدعم هدفًا أوسع في الكريبتو، وهو نقل العمليات الحسابية المكثفة خارج السلسلة مع الحفاظ على أمان التحقق النهائي وكفاءته على السلسلة.

أهمية التوسع التكراري

تنبع أهمية التوسع التكراري من محدودية مساحة الكتل والقدرة على التنفيذ وسعة التحقق في البلوكشينات العامة.

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

تساعد عمليات Rollup من الطبقة الثانية على ذلك بنقل التنفيذ بعيدًا عن السلسلة الأساسية وإرسال نتائج مضغوطة إليها.

ويحسن التوسع التكراري هذا النموذج عبر جعل التحقق من البراهين نفسها أكثر كفاءة.

يمكن لـ Rollup إنشاء براهين لدفعات صغيرة عديدة، ثم دمجها تكراريًا في برهان نهائي.

بعد ذلك، تستطيع السلسلة الأساسية التحقق من البرهان النهائي بدلًا من التحقق من كل برهان أصغر على حدة.

قد يقلل ذلك تكلفة التحقق ويحسن معدل المعالجة ويجعل تطبيقات الكريبتو واسعة النطاق أكثر عملية.

تزداد قيمة التوسع التكراري لأنه يستطيع الحفاظ على ضمانات تشفيرية قوية.

فلا تحتاج الشبكة إلى الثقة ببساطة في أن المشغّل عالج المعاملات على نحو صحيح.

بل يمكنها التحقق من برهان يثبت أن المعالجة اتبعت القواعد.

ولهذا يُناقش التوسع التكراري غالبًا بوصفه جزءًا أساسيًا من نمو البلوكشين مع تقليل الاعتماد على الثقة.

آلية عمل التوسع التكراري

يعمل التوسع التكراري عبر وضع التحقق من البرهان داخل نظام براهين آخر.

ينشئ المُثبت أولًا برهانًا لمجموعة صغيرة من المعاملات أو العمليات الحسابية أو تغييرات الحالة.

ثم ينشئ مُثبت آخر برهانًا جديدًا يتحقق من صحة البرهان الأول.

ويمكن أن تستمر هذه العملية عبر طبقات متعددة.

في النهاية، ينتج النظام برهانًا واحدًا يمثل صحة براهين سابقة كثيرة.

يمكن إرسال هذا البرهان النهائي إلى بلوكشين أو عقد تحقق أو عميل خفيف أو نظام براهين آخر.

ولا تحتاج البلوكشين إلى إعادة تنفيذ جميع العمليات الحسابية الأصلية.

بل يكفيها التحقق من البرهان التكراري النهائي.

ينشأ عن ذلك تأثير ضغط قوي، إذ يمكن أن تظل عملية التحقق صغيرة حتى عندما يكبر حجم العمل المثبت.

لا يعني التوسع التكراري اختفاء بيانات المعاملات أو أرصدة المستخدمين أو افتراضات الأمان.

بل يعني أن التحقق من الصحة يتم عبر سلسلة مدمجة من البراهين.

التوسع التكراري وZK-rollups

تُعد ZK-rollups من أوضح حالات استخدام التوسع التكراري.

يعالج ZK-rollup معاملات كثيرة بعيدًا عن السلسلة الأساسية، ثم يرسل برهان صلاحية يثبت صحة انتقال حالة Rollup.

توضح وثائق Ethereum حول ZK-rollup أن ZK-rollups تنقل الحوسبة وتخزين الحالة خارج السلسلة، مع إرسال براهين الصلاحية إلى الطبقة الأساسية.

يمكن للتوسع التكراري زيادة كفاءة ZK-rollups عبر تجميع براهين صلاحية كثيرة في برهان واحد.

على سبيل المثال، قد ينشئ Rollup براهين منفصلة لعدة دفعات من المعاملات.

بعد ذلك، يمكن لبرهان تكراري التحقق من براهين تلك الدفعات ودمجها في برهان واحد للتسوية.

قد يقلل ذلك تكلفة التحقق النهائي على السلسلة الأساسية.

وقد يتيح أيضًا إنشاء البراهين بالتوازي عبر أجهزة أو مُثبتين مختلفين.

يمكن أن يدعم ذلك للمستخدمين رسومًا أقل ومسارات تسوية أسرع وسعة أكبر للتطبيقات.

أما للمطورين، فقد يدعم أحجامًا أكبر من المعاملات من دون الحاجة إلى تسوية كل برهان على حدة.

التوسع التكراري وتجميع البراهين

تجميع البراهين هو عملية دمج براهين كثيرة في عدد أقل من البراهين أو في برهان نهائي واحد.

ويُعد التوسع التكراري من أقوى الأساليب لبناء تجميع البراهين.

بدلًا من فحص براهين كثيرة على نحو مستقل، يفحص النظام برهانًا تحقق مسبقًا من صحة البراهين السابقة.

يفيد ذلك عندما ينشئ مستخدمون أو تطبيقات أو دفعات Rollup كثيرة براهين في الوقت نفسه.

تصف وثائق Starknet SHARP نظام SHARP بأنه مجمّع للبراهين يستخدم تكرار البراهين لخفض التكاليف وتحسين كفاءة إنشائها.

قد يقلل تجميع البراهين تكاليف التسوية، إذ يقل عدد عمليات التحقق من البراهين التي يجب تنفيذها على السلسلة.

كما قد يحسن تصميم النظام، لأن إنشاء البراهين الصغيرة بشكل مستقل يتيح دمجها لاحقًا.

وهذا يدعم إنشاء البراهين بالتوازي، والبنية التحتية المشتركة لإثباتها، وهياكل Rollup الأكثر قابلية للتوسع.

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

التوسع التكراري وشبكات Layer 3

يمكن للتوسع التكراري دعم تصميمات شبكات Layer 3 أيضًا.

قد تسوّي شبكة Rollup من Layer 2 معاملاتها على سلسلة أساسية، بينما تسوّي شبكة Layer 3 معاملاتها على Layer 2.

يمكن للبراهين التكرارية المساعدة على ربط هذه الطبقات عبر تمكين إحدى الطبقات من إثبات صحة انتقالات حالتها لطبقة أخرى بكفاءة.

على سبيل المثال، يمكن لسلسلة تطبيقات Layer 3 إنشاء براهين على نشاطها.

ويمكن تجميع تلك البراهين في برهان Layer 2.

ثم يمكن تسوية برهان Layer 2 على السلسلة الأساسية.

ينشأ عن ذلك هيكل تكراري تضغط فيه كل طبقة النشاط قبل تمرير برهان إلى الطبقة الأعلى.

تكمن الفائدة في تمكين بيئات كثيرة مخصصة للتطبيقات من التوسع من دون إلزام السلسلة الأساسية بمعالجة كل إجراء مباشرةً.

أما الخطر، فهو أن كل طبقة إضافية تزيد تعقيد التصميم.

ولا يزال على المستخدمين والمطورين فهم توافر البيانات ومسارات السحب وأمان أدوات التحقق وافتراضات الجسور وضوابط الترقية.

التوسع التكراري والبلوكشينات الموجزة

لا يقتصر نفع التوسع التكراري على عمليات Rollup.

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

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

يختلف هدف التوسع هذا عن مجرد زيادة عدد المعاملات في الثانية.

إذ يركز على جعل التحقق أخف للمستخدمين والأجهزة.

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

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

لذلك يمكن للتوسع التكراري توسيع نطاق تنفيذ المعاملات وإمكانية الوصول إلى التحقق معًا.

ويكتسب هذا النوع الثاني من التوسع أهمية لأن البلوكشين لا تمكّن المستخدمين فعلًا إذا لم يتمكن من التحقق منها إلا عدد قليل من المشغّلين.

التوسع التكراري وآلات zkVM

آلة zkVM هي آلة افتراضية للمعرفة الصفرية تثبت صحة تنفيذ البرامج.

يمكن للتوسع التكراري مساعدة آلات zkVM على التعامل مع البرامج الكبيرة عبر تقسيم التنفيذ إلى مقاطع أصغر.

يمكن لكل مقطع إنشاء برهانه الخاص.

ثم يستطيع النظام دمج براهين المقاطع تكراريًا في برهان نهائي واحد لتنفيذ البرنامج كاملًا.

يتيح ذلك إثبات عمليات حسابية أكبر من دون إنشاء برهان ضخم واحد دفعة واحدة.

كما يساعد على توزيع عمل إنشاء البراهين على أجهزة أو مُثبتين متعددين.

يمكن أن يدعم ذلك في الكريبتو تنفيذ Rollup والألعاب القابلة للتحقق والحوسبة خارج السلسلة والتطبيقات الخاصة والمعالجات المساعدة للبلوكشين.

المعالج المساعد هو نظام خارج السلسلة ينفذ عمليات حسابية مكثفة ويعيد برهانًا على صحة النتيجة.

يجعل التوسع التكراري هذا النموذج أكثر عملية، إذ يمكن دمج أجزاء عديدة من البراهين في برهان نهائي.

التوسع التكراري مقابل براهين ZK التكرارية

يرتبط التوسع التكراري ببراهين ZK التكرارية ارتباطًا وثيقًا، لكن المفهومين ليسا متطابقين تمامًا.

برهان ZK التكراري هو الأداة التشفيرية التي تتيح لبرهان واحد التحقق من برهان آخر.

أما التوسع التكراري فهو استراتيجية أوسع لتوسيع نطاق البلوكشين، تستخدم تلك الأداة لزيادة سعة البلوكشين أو خفض تكلفة التحقق.

بعبارة أخرى، براهين ZK التكرارية هي الآلية، والتوسع التكراري هو هدف تصميم النظام.

يشرح مدخل المصطلحات الخاص ببراهين ZK التكرارية الكيان التشفيري.

أما مدخل التوسع التكراري، فيشرح كيفية استخدام البلوكشينات لهذا الكيان لتوسيع نطاق معالجة المعاملات وتجميع البراهين وعمليات Rollup والعملاء الخفيفين والحوسبة القابلة للتحقق.

يتداخل المصطلحان، لكنهما ليسا مترادفين.

يركز التوسع التكراري بدرجة أكبر على نتائج البنية التحتية، بينما تركز براهين ZK التكرارية بدرجة أكبر على إنشاء البراهين.

التوسع التكراري مقابل التوسع الأفقي

يعني التوسع الأفقي إضافة مزيد من الأجهزة أو العقد أو السلاسل أو بيئات التنفيذ للتعامل مع عمل أكبر.

أما التوسع التكراري، فيعني ضغط التحقق من البراهين بحيث يمكن التحقق من عمل أكبر عبر عدد أقل من عمليات التحقق النهائية.

ويمكن الجمع بين الأسلوبين.

قد تستخدم شبكة Rollup مُثبتين كثيرين لإنشاء البراهين بالتوازي، وهذا شكل من أشكال التوسع الأفقي.

ثم قد تجمع تلك البراهين تكراريًا، وهو ما يمثل التوسع التكراري.

هذا الجمع فعّال لأن توزيع عبء العمل يسمح بإبقاء التسوية النهائية مدمجة.

يساعد التوسع الأفقي على إنشاء مزيد من البراهين.

ويساعد التوسع التكراري على التحقق من مزيد من البراهين بكفاءة.

قد تحتاج بنية بلوكشين قوية إلى الأسلوبين لخدمة أعداد كبيرة من المستخدمين.

التوسع التكراري مقابل التجزئة

التجزئة هي أسلوب لتوسيع النطاق يقسم عمل الشبكة أو بياناتها عبر أجزاء متعددة تُسمى Shards.

ولا يقوم التوسع التكراري أساسًا بتقسيم البلوكشين إلى Shards.

بل يضغط التحقق من العمل باستخدام البراهين التكرارية.

ومع ذلك، يمكن أن يتكامل التوسع التكراري مع التجزئة.

قد تنشئ Shards مختلفة أو عمليات Rollup أو سلاسل تطبيقات براهينها الخاصة.

ثم يمكن للتجميع التكراري دمج تلك البراهين لتسويتها أو التحقق منها بكفاءة.

وهذا يعني أن التوسع التكراري يمكن أن يعمل كحلقة وصل بين بيئات تنفيذ عديدة وطبقة تحقق نهائية واحدة.

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

التوسع التكراري وتوافر البيانات

لا يلغي التوسع التكراري الحاجة إلى توافر البيانات.

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

توضح وثائق Ethereum حول توافر البيانات أن عمليات Rollup تقلل التكاليف عبر معالجة المعاملات خارج السلسلة ونشر بيانات المعاملات المضغوطة على دفعات.

ويهم ذلك لأن الصلاحية وتوافر البيانات يعالجان مشكلتين مختلفتين.

تثبت براهين الصلاحية أن العملية الحسابية اتبعت القواعد.

أما توافر البيانات فيثبت نشر المعلومات اللازمة للتحقق من الحالة أو إعادة بنائها.

قد يجعل البرهان التكراري التحقق أقل تكلفة، لكنه لا يساعد المستخدمين على استعادة الحالة إذا أُخفيت البيانات اللازمة.

ولهذا يجب أن يقترن التوسع التكراري بخطة سليمة لتوافر البيانات.

قد يبدو النظام الذي يتجاهل توافر البيانات قابلًا للتوسع نظريًا، لكنه غير آمن عمليًا.

التوسع التكراري والتحقق على السلسلة

التحقق على السلسلة هو عملية التحقق من برهان مباشرةً داخل بلوكشين أو عقد ذكي.

يمكن للتوسع التكراري تقليل عمل التحقق على السلسلة، إذ تُضغط براهين كثيرة في برهان نهائي واحد.

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

كما قد يجعل من العملي أكثر أن تتشارك تطبيقات متعددة مسارًا لتجميع البراهين.

لكن يجب أن تكون أداة التحقق النهائية صحيحة وفعالة.

إذا احتوى عقد التحقق على خلل، فقد يتعرض نظام البراهين التكرارية بأكمله للخطر.

وإذا كانت كلفة أداة التحقق مرتفعة للغاية، فقد تقل فوائد التوسع.

وإذا أمكن لمجموعة صغيرة ترقية أداة التحقق من دون ضمانات، فقد يواجه المستخدمون مخاطر الحوكمة أو مفاتيح الإدارة.

لا يعتمد التوسع التكراري على رياضيات البراهين وحدها، بل أيضًا على تصميم آمن للعقود الذكية.

التوسع التكراري وشبكات المُثبتين

غالبًا ما يعتمد التوسع التكراري على مُثبتين ينشئون براهين للمعاملات أو الدفعات أو البرامج أو البراهين السابقة.

قد تضم شبكة المُثبتين مُثبتين مركزيين أو مصرّحًا لهم أو مفتوحي المشاركة أو من المجتمع أو مزودي أجهزة متخصصة.

يمكن للتجميع التكراري جعل شبكات المُثبتين أكثر كفاءة، إذ يستطيع مُثبتون مختلفون العمل على مهام أصغر لإثبات البراهين.

ثم يمكن دمج النتائج في برهان أكبر.

وقد يقلل ذلك الاختناقات ويحسن معدل المعالجة.

لكن لا تتحقق لامركزية المُثبتين تلقائيًا.

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

قد ينشأ عن ذلك خطر تشغيلي إذا تعطل المُثبت الرئيسي أو تعرض للرقابة.

ينبغي لنظام توسع تكراري قوي مراعاة وجود مُثبتين احتياطيين، وإتاحة المشاركة المفتوحة، والمراقبة، ومسارات استرداد واضحة.

فوائد التوسع التكراري

الفائدة الرئيسية الأولى للتوسع التكراري هي زيادة معدل المعالجة.

إذ يمكن تمثيل عدد أكبر من المعاملات أو العمليات الحسابية ببراهين نهائية أقل.

والفائدة الثانية هي خفض تكلفة التحقق.

يمكن للسلسلة الأساسية التحقق من برهان مجمّع واحد بدلًا من براهين فردية عديدة.

والفائدة الثالثة هي تحسين المعالجة المتوازية.

يمكن لمُثبتين مختلفين العمل على أجزاء مختلفة من عبء العمل قبل دمج النتائج.

والفائدة الرابعة هي جعل التحقق أخف للمستخدمين.

يمكن لأنظمة البراهين الموجزة تمكين المستخدمين من التحقق من سجلات كبيرة أو أنظمة معقدة باستخدام براهين صغيرة.

والفائدة الخامسة هي تحسين النمطية.

يمكن لعمليات Rollup وسلاسل التطبيقات وآلات zkVM والجسور وخدمات البراهين الترابط عبر تجميع مشترك للبراهين.

والفائدة السادسة هي تعزيز تقليل الاعتماد على الثقة.

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

قيود التوسع التكراري

يتمتع التوسع التكراري بقدرات كبيرة، لكنه معقد تقنيًا.

وقد يصعب تصميم أنظمة البراهين التكرارية وتنفيذها وتدقيقها وصيانتها.

يجب أن تتحقق الدائرة من صحة البرهان الداخلي.

كما يجب ربط المدخلات والمخرجات العامة بأمان بين طبقات البراهين.

ويجب أن يستخدم نظام البراهين افتراضات آمنة وخيارات تنفيذ موثوقة.

قد يؤدي إنشاء البراهين التكرارية أيضًا إلى تأخير إذا كان النظام ينتظر اكتمال طبقات متعددة من البراهين قبل التسوية النهائية.

وقد يتطلب إنشاء البراهين أجهزة متخصصة أو برامج محسّنة.

كما يجب التعامل مع توافر البيانات على نحو منفصل.

لا ينبغي للمستخدمين افتراض أمان نظام لمجرد أنه يستخدم براهين تكرارية.

بل يجب مراجعة البنية كاملة، بما فيها العقود والمُثبتون ومُسلسِلات المعاملات وطبقات البيانات والجسور وضوابط الترقية.

مخاطر الأمان في التوسع التكراري

أكبر مخاطر الأمان هو إثبات الادعاء الخاطئ.

إذا تحقق برهان تكراري من برهان داخلي من دون ربطه على نحو صحيح بالحالة العامة المناسبة، فقد يكون البرهان النهائي مضللًا.

ومن المخاطر الأخرى وجود أخطاء في أداة التحقق.

قد يؤثر خلل في أداة التحقق على كل برهان يعتمد عليها.

ومن المخاطر أيضًا ضعف توافر البيانات.

فالبرهان الصحيح لا يفيد المستخدمين إذا لم يتمكنوا من الوصول إلى البيانات اللازمة لإعادة بناء حالة النظام.

ومن المخاطر الأخرى مركزية المُثبتين.

إذا كان طرف واحد فقط قادرًا على إنشاء البراهين، فقد يعتمد النظام عليه بشدة لضمان استمرارية التشغيل.

ومن المخاطر الأخرى قابلية الترقية غير الآمنة.

إذا أمكن تغيير أداة التحقق أو عقد Rollup أو نظام البراهين بسهولة مفرطة، فقد يواجه المستخدمون مخاطر حوكمة خفية.

يقلل التوسع التكراري عبء التحقق، لكنه لا يلغي الحاجة إلى هندسة أمنية دقيقة.

حالات الاستخدام الشائعة للتوسع التكراري

يُستخدم التوسع التكراري في ZK-rollups لتجميع البراهين قبل التسوية النهائية.

ويُستخدم في البلوكشينات الموجزة للحفاظ على صغر حجم التحقق مع نمو السجل.

ويُستخدم في آلات zkVM لإثبات تنفيذ البرامج الكبيرة عبر مقاطع براهين أصغر.

ويُستخدم في أسواق البراهين، حيث ينشئ مُثبتون متعددون أجزاء من عبء عمل أكبر لإثبات البراهين.

ويُستخدم في تصميمات الجسور التي تحتاج فيها سلسلة إلى دليل مدمج على حالة سلسلة أخرى.

ويُستخدم في أنظمة الخصوصية التي تحتاج إلى التحقق من عمليات خاصة عديدة من دون الكشف عن بيانات حساسة.

كما يمكن استخدامه في أنظمة الهوية والألعاب والمزادات وبراهين الامتثال والحوسبة القابلة للتحقق خارج السلسلة.

ومع ازدياد الطابع المعياري لبنية الكريبتو التحتية، تزداد فائدة التوسع التكراري لأن أنظمة كثيرة تحتاج إلى طريقة مشتركة لضغط التحقق.

أفضل الممارسات للمطورين

ينبغي للمطورين تحديد ما يُفترض أن يثبته كل برهان تكراري بدقة.

وينبغي لهم الربط بعناية بين المدخلات العامة وجذور الحالة وبيانات الدفعات ومخرجات البراهين وافتراضات أدوات التحقق.

وينبغي لهم استخدام أنظمة براهين خضعت لمراجعة جيدة وتجنب التشفير المخصص ما لم يمتلك الفريق خبرة عميقة.

وينبغي لهم اختبار البراهين غير الصالحة والمدخلات غير السليمة والحالات الحدية وانتقالات الحالة المعطوبة.

وينبغي لهم الفصل في تصميم النظام بين صلاحية البرهان وتوافر البيانات.

وينبغي لهم توثيق متطلبات المُثبتين وعقود التحقق وضوابط الترقية وافتراضات الإعداد الموثوق وإجراءات الاسترداد.

وينبغي لهم مراقبة زمن إنشاء البراهين ومعدلات فشلها وزمن التسوية ومدى تركز المُثبتين.

وينبغي لهم طلب عمليات تدقيق مستقلة من فرق تفهم العقود الذكية وأنظمة براهين المعرفة الصفرية.

وينبغي لهم أيضًا شرح نموذج الأمان بلغة واضحة كي يفهم المستخدمون ما الذي يعتمد عليه النظام.

أفضل الممارسات للمستخدمين

ينبغي للمستخدمين فهم أن التوسع التكراري قد يحسن الكفاءة، لكنه لا يجعل البروتوكول خاليًا من المخاطر.

وينبغي لهم التحقق مما إذا كان المشروع يشرح نظام البراهين ونموذج توافر البيانات وعقود التحقق وآلية السحب.

وينبغي لهم البحث عن عمليات التدقيق والشيفرة مفتوحة المصدر والوثائق العامة وسياسات الترقية الواضحة.

وينبغي لهم فهم ما إذا كان النظام يعتمد على مُثبت واحد أو مجموعة صغيرة من المُثبتين أو شبكة أوسع للمُثبتين.

وينبغي لهم توخي الحذر عندما يستخدم المشروع مصطلحات متقدمة عن ZK من دون شرح المخاطر العملية.

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

التوسع التكراري أداة تقنية قوية، لكن سلامة المستخدمين تظل معتمدة على تصميم البروتوكول بأكمله.

الأسئلة الشائعة

ما المقصود بالتوسع التكراري في الكريبتو؟

يعني التوسع التكراري استخدام براهين تكرارية لضغط معاملات أو عمليات حسابية أو براهين كثيرة في برهان نهائي أصغر وأسهل في التحقق.

هل التوسع التكراري هو نفسه براهين ZK التكرارية؟

لا، براهين ZK التكرارية هي الأداة التشفيرية، بينما التوسع التكراري استراتيجية أوسع لتوسيع نطاق البلوكشين تستخدم تلك الأداة.

لماذا يفيد التوسع التكراري ZK-rollups؟

يساعد ZK-rollups على تجميع براهين دفعات كثيرة في برهان نهائي واحد، ما قد يخفض تكاليف التحقق ويحسن معدل المعالجة.

هل يجعل التوسع التكراري المعاملات خاصة؟

ليس تلقائيًا، إذ يمكن للتوسع التكراري دعم أنظمة الخصوصية، لكنه لا يخفي البيانات ما لم يُصمم نظام البراهين والتطبيق لهذا الغرض.

هل يحل التوسع التكراري محل توافر البيانات؟

لا، يحسن التوسع التكراري التحقق من البراهين، بينما يضمن توافر البيانات وصول المستخدمين إلى المعلومات اللازمة لإعادة بناء الحالة والتحقق منها.

هل يمكن للتوسع التكراري خفض رسوم البلوكشين؟

قد يساعد على خفض تكاليف التحقق والتسوية، لكن الرسوم الفعلية تعتمد أيضًا على الطلب وتكاليف توافر البيانات وتكاليف المُثبتين وتصميم البروتوكول.

ما تجميع البراهين؟

تجميع البراهين هو عملية دمج براهين كثيرة في عدد أقل أو في برهان نهائي واحد لجعل التحقق أكثر كفاءة.

هل يمكن استخدام التوسع التكراري خارج عمليات Rollup؟

نعم، يمكن استخدامه في البلوكشينات الموجزة وآلات zkVM والجسور وأسواق البراهين وأنظمة الخصوصية والهوية والحوسبة القابلة للتحقق.

ما الخطر الرئيسي للتوسع التكراري؟

يتمثل الخطر الرئيسي في احتمال وجود خلل أو افتراض غير آمن في نظام براهين معقد أو أداة تحقق أو رابط للمدخلات العامة أو تصميم توافر البيانات.

لماذا يهم التوسع التكراري البلوكشينات المعيارية؟

يساعد بيئات التنفيذ وعمليات Rollup وسلاسل التطبيقات وأنظمة البراهين المتعددة على ضغط عملها في طبقات تحقق نهائية فعالة.

الخلاصة

التوسع التكراري استراتيجية لتوسيع نطاق الكريبتو تستخدم البراهين التكرارية لجعل التحقق أكثر كفاءة.

ويتيح تمثيل معاملات أو عمليات حسابية أو براهين كثيرة ببرهان نهائي مدمج.

ولهذا يكتسب أهمية خاصة في ZK-rollups وتجميع البراهين وآلات zkVM والبلوكشينات الموجزة والعملاء الخفيفين والجسور وأنظمة البلوكشين المعيارية.

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

وقد يدعم ذلك معدل معالجة أعلى وتكاليف تحقق أقل وإنشاء البراهين بالتوازي وبنية تحتية أكثر اعتمادًا على الثقة التشفيرية.

لا يعني التوسع التكراري مجرد زيادة حجم الكتل أو إضافة مزيد من الخوادم.

بل يوسع النطاق عبر ضغط الصحة في طبقات من البراهين.

ومع ذلك، يظل التوسع التكراري معتمدًا على دوائر آمنة وأدوات تحقق صحيحة وتوافر موثوق للبيانات وضوابط ترقية سليمة وبنية عملية للمُثبتين.

وأبسط طريقة لفهم التوسع التكراري هي أنه يتيح لأنظمة الكريبتو النمو عبر التحقق من براهين على براهين بدلًا من التحقق من كل إجراء على حدة.

ومع نضوج البنية التحتية للمعرفة الصفرية، سيظل التوسع التكراري أحد أهم المسارات نحو تطبيقات بلوكشين أسرع وأقل تكلفة وأسهل تحققًا.