التجميع المتفائل أم التجميع المعرفي الصفري: ما الفروقات بينهما؟

مقدمة

مع تزايد الطلب على العملات الرقمية، أصبحت العديد من سلاسل الكتل تواجه حدود إمكانياتها. يؤدي هذا إلى ازدحام الشبكة وارتفاع تكاليف المعاملات. ولمعالجة هذه التحديات، يجري تطوير واختبار حلول توسعة متعددة بهدف زيادة سرعة وكفاءة معالجة المعاملات. تُقسم هذه الحلول إلى مجموعتين رئيسيتين: الطبقة الأولى (Layer 1) والطبقة الثانية (Layer 2).

تشمل حلول التوسعة على مستوى الطبقة الأولى، مثل التجزئة (sharding)، إدخال تعديلات مباشرة على سلسلة الكتل الأساسية (المعروفة أيضاً بالسلسلة الرئيسية أو Layer 1). بينما تعمل حلول التوسعة من الطبقة الثانية فوق سلسلة كتل قائمة من الطبقة الأولى. من أمثلتها قنوات الحالة (state channels)، السلاسل الجانبية (sidechains)، وتكديس المعاملات (blockchain rollups).

تكديس المعاملات (blockchain rollups) بروتوكولات تهدف إلى تحقيق معدلات مرور أعلى وتكلفة أقل للمعاملات. وتتمثل مهمتها الأساسية في تجاوز قيود العديد من سلاسل الكتل الشائعة من خلال تجميع المعاملات وتقليل حجم البيانات، مما يسمح بمعالجة وتخزين أكثر كفاءة. أدى تزايد شعبية العملات الرقمية وتكنولوجيا البلوكشين إلى دفع المطورين لاستكشاف طرق توسعة عبر تعزيز قدرة النظام على مواكبة الطلب المتزايد. وتعد التجزئة، السلاسل الجانبية، قنوات الحالة، والتكديس من بين أبرز هذه الأساليب. في هذا السياق، يسهم التكديس في نقل بعض عمليات المعالجة إلى سلسلة ثانوية مع استمرار تخزين بيانات المعاملات على السلسلة الرئيسية من الطبقة الأولى. في هذه المقالة، نستعرض نوعين من التكديس في قطاع العملات الرقمية: التكديس المتفائل (Optimistic Rollups) وتكديس المعرفة الصفرية (Zero-Knowledge Rollups).

ما هو تكديس المعاملات (Blockchain Rollups)؟

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

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

هناك نوعان رئيسيان من التكديس في منظومة البلوكشين: التكديس المتفائل (Optimistic Rollups) وتكديس المعرفة الصفرية (Zero-Knowledge Rollups). يستخدم كل نوع آليات تحقق مختلفة لضمان صحة وأمان المعاملات، ما يجعله ملائماً لاستخدامات وشبكات بلوكشين متنوعة.

ما هو التكديس المتفائل (Optimistic Rollups)؟

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

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

كيف يتحقق التكديس المتفائل من صحة المعاملات؟

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

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

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

محدوديات التكديس المتفائل

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

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

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

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

ما هو تكديس المعرفة الصفرية (Zero-Knowledge Rollups)؟

تكديس المعرفة الصفرية (ZK Rollups) بروتوكول يجمّع المعاملات في دفعات ويعالجها خارج السلسلة الرئيسية. يقدّم مشغل التكديس ملخصاً للتغييرات بعد تنفيذ الدفعة، ويبرز دوره في توفير إثباتات صحة تثبت دقة التغييرات. هذه الإثباتات أصغر حجماً بكثير من بيانات المعاملة، ما يجعل التحقق أسرع وأقل كلفة.

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

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

كيف يتحقق تكديس المعرفة الصفرية من صحة المعاملات؟

يستخدم تكديس المعرفة الصفرية إثباتات المعرفة الصفرية (ZKPs) للتحقق من المعاملات. ينشئ الطرف المُثبِت دليلاً رياضياً يثبت امتلاكه للمعرفة دون الكشف عنها للطرف المُحقق، وبذلك يتم التحقق من صحة المعاملة بدون الإفصاح عن المعلومات الأصلية.

آلية العمل بالتفصيل:

1. توليد الإثبات: يقوم الطرف المثبت بإنشاء إثبات رياضي خاص اعتماداً على معرفته ببيانات المعاملة، باستخدام خوارزميات تشفير تضمن صحته وتفرده.

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

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

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

مزايا تكديس المعرفة الصفرية

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

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

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

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

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

الاختلافات بين تكديس المعرفة الصفرية والتكديس المتفائل

يوضح الجدول التالي الفروقات الجوهرية بين التكديس المتفائل وتكديس المعرفة الصفرية:

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

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

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

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

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

وقت السحب: يتأخر السحب في التكديس المتفائل بسبب فترة التحدي، بينما يكون فورياً في تكديس المعرفة الصفرية بعد تحقق الإثبات.

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

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

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

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

ستواصل شبكات البلوكشين اختبار حلول توسعة متنوعة مثل التجزئة والتكديس وبروتوكولات الطبقة الصفرية (Layer 0)، وقد تظهر حلول هجينة تجمع بين مزايا التكديس المتفائل والمعرفة الصفرية لتقديم خيارات أكثر مرونة بحسب الحاجة.

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

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

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

الخلاصة

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

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

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

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

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

ما هي المبادئ الأساسية لكل من التكديس المتفائل وتكديس المعرفة الصفرية؟

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

ما هي الفروقات بين التكديس المتفائل وتكديس المعرفة الصفرية من حيث سرعة المعاملة والتكلفة؟

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

أيهما أكثر أماناً: التكديس المتفائل أم تكديس المعرفة الصفرية؟

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

كيف تعمل آلية إثبات الاحتيال في التكديس المتفائل؟

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

ما هي مزايا وعيوب تكديس المعرفة الصفرية مقارنة بالتكديس المتفائل؟

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

ما هي مشاريع التكديس المتفائل الرائدة؟

من أبرز مشاريع التكديس المتفائل: Arbitrum وOptimism وopBNB وCOMBO، وتساهم جميعها في تعزيز كفاءة المعاملات وخفض الرسوم.

ما هي مشاريع تكديس المعرفة الصفرية الرائدة؟

تشمل المشاريع الرائدة في تكديس المعرفة الصفرية: StarkNet وzkSync وPolygon zkEVM وAztec وScroll، وتستعين هذه الحلول بإثباتات المعرفة الصفرية لتعزيز توسعة Ethereum وسرعة المعاملات.

هل أختار التكديس المتفائل أم تكديس المعرفة الصفرية؟

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