براهين ZK التكرارية

ما براهين ZK التكرارية؟

براهين ZK التكرارية هي براهين المعرفة الصفرية التي تتحقق من صحة براهين معرفة صفرية أخرى.

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

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

يتيح برهان المعرفة الصفرية العادي للمُثبت إثبات صحة ادعاء من دون الكشف عن جميع المعلومات الخاصة المرتبطة به.

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

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

ولهذا توصف البراهين التكرارية غالبًا بأنها «براهين على براهين».

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

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

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

يمكن أن يظل البرهان النهائي صغيرًا حتى عندما يمثل قدرًا كبيرًا من العمل.

أهمية براهين ZK التكرارية في الكريبتو

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

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

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

ويفيد ذلك خصوصًا في ZK-rollups، التي تعالج المعاملات خارج السلسلة وترسل براهين الصلاحية إلى سلسلة أساسية.

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

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

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

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

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

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

آلية عمل براهين ZK التكرارية

يعمل برهان ZK التكراري عبر وضع أداة تحقق لنظام براهين داخل دائرة برهان أخرى.

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

لا يقتصر المُثبت على إثبات معاملة أو عملية حسابية مباشرة.

بل يثبت أيضًا أن برهانًا سابقًا تحقق بنجاح من العملية الحسابية الأسبق.

ويمكن تكرار ذلك مرات عديدة.

على سبيل المثال، يتحقق البرهان A من مجموعة من المعاملات.

ويتحقق البرهان B من البرهان A ومن مجموعة أخرى من المعاملات.

أما البرهان C فيتحقق من البرهان B ومن مزيد من بيانات المعاملات.

في النهاية، لا يحتاج المُتحقق إلا إلى فحص البرهان C ليطمئن إلى سلسلة العمل الكاملة التي يستند إليها.

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

بل يعني أن صحة العمليات الحسابية السابقة تُمثّل ببرهان تشفيري مدمج.

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

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

البراهين التكرارية بوصفها تجميعًا للبراهين

يعني تجميع البراهين دمج براهين عديدة في برهان واحد.

وتُعد براهين ZK التكرارية إحدى الطرق الشائعة لتحقيق ذلك.

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

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

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

يساعد التجميع أيضًا في تقليل زمن الاستجابة وتحسين تصميم النظام.

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

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

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

ولهذا يُعد تجميع البراهين التكراري مهمًا لأنظمة الكريبتو ذات معدل المعالجة المرتفع.

فهو يحول كثيرًا من مهام إنشاء البراهين الصغيرة إلى مهمة تحقق نهائية واحدة.

براهين ZK التكرارية وZK-rollups

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

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

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

أما باستخدام التكرار، فيمكن لـ Rollup إثبات صحة دفعة، ثم إثبات صحة دفعة أخرى، ثم دمج تلك البراهين في برهان أكبر.

يتيح ذلك لـ Rollup توسيع نطاق إنشاء البراهين مع إبقاء خطوة التحقق النهائية صغيرة.

وقد تساعد البراهين التكرارية أيضًا عمليات Rollup على تنظيم أعباء عمل المُثبتين.

فقد يتولى أحد المُثبتين معالجة مجموعة صغيرة من المعاملات، بينما يتولى مُثبت آخر مجموعة مختلفة.

ويمكن للنظام دمج النتائج تكراريًا لاحقًا.

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

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

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

براهين ZK التكرارية والبلوكشينات الموجزة

يمكن لبراهين ZK التكرارية أن تساعد أيضًا في إنشاء بلوكشينات موجزة.

تُصمم البلوكشين الموجزة بحيث لا يحتاج المستخدمون إلى تنزيل سجل السلسلة كاملًا والتحقق منه لفحص الحالة الحالية.

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

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

وتوضح وثائق Mina SNARK worker أيضًا أن البراهين التكرارية تساعد على ضغط البلوكشين إلى حجم ثابت.

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

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

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

ولا يقتصر الهدف على توفير مساحة التخزين.

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

براهين ZK التكرارية والخصوصية

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

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

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

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

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

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

قد يقلل ذلك عمل التحقق على السلسلة مع الاستمرار في حماية بيانات المستخدمين.

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

لكن الخصوصية لا تعتمد على التكرار وحده.

فلا بد من تصميم الدائرة على نحو صحيح، والحد من تسرب البيانات الوصفية، وتوعية المستخدمين بالمعلومات التي تظل علنية.

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

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

تفيد براهين ZK التكرارية أيضًا في الحوسبة القابلة للتحقق.

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

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

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

يمكن للبراهين التكرارية تقسيم العمل إلى أجزاء أصغر، ثم دمج البراهين تدريجيًا.

يوضح دليل Mina حول التكرار أن براهين ZKP التكرارية يمكن أن تساعد في إنشاء معاملات كبيرة يصعب إنشاؤها بغير ذلك، وأنها تدعم إنشاء البراهين متعدد الأطراف خارج السلسلة.

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

تتيح البراهين التكرارية للمطورين إثبات العمليات المعقدة من دون مطالبة كل عقدة في البلوكشين بإعادة تنفيذها.

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

براهين ZK التكرارية والعملاء الخفيفون

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

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

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

قد يقلل ذلك افتراضات الثقة في المحافظ والجسور وعملاء الهواتف المحمولة والتطبيقات العابرة للسلاسل.

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

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

لكن ذلك لا يزيل جميع مخاطر الجسور.

فلا يزال نظام البراهين، وتوافر البيانات، وعقد التحقق، وضوابط الترقية، وافتراضات السلسلة عوامل مهمة.

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

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

براهين ZK-SNARK التكرارية

برهان ZK-SNARK التكراري هو برهان تكراري مبني على نظام براهين قائم على SNARK.

يرمز SNARK إلى «حجة معرفة موجزة غير تفاعلية».

تحظى SNARKs بالتقدير لصغر أحجام براهينها وكفاءة التحقق منها.

تُعد SNARKs التكرارية مفيدة عندما يحتاج النظام إلى مواصلة التحقق من البراهين السابقة مع الحفاظ على حجم مدمج للبرهان النهائي.

تُعد Mina أحد أشهر أمثلة استخدام SNARK التكراري في الكريبتو.

تصف وثائق Mina o1js حول براهين ZK التكرارية التكرار بأنه أداة قوية لحل المشكلات المعقدة باستخدام براهين ZK.

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

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

عند تنفيذها على نحو جيد، يمكن لـ SNARKs التكرارية أن توفر ضغطًا قويًا وتحققًا فعالًا لأنظمة البلوكشين.

براهين ZK-STARK التكرارية

برهان ZK-STARK التكراري هو برهان تكراري مبني على نظام براهين قائم على STARK.

يرمز STARK إلى «حجة معرفة قابلة للتوسع وشفافة».

كثيرًا ما تُناقش STARKs لما تتميز به من شفافية وقابلية للتوسع.

في أنظمة البلوكشين، يمكن لـ STARKs التكرارية المساعدة على تجميع البراهين وخفض تكلفة التحقق النهائي على السلسلة.

يُعد نظام SHARP في Starknet مثالًا عمليًا على تجميع البراهين التكراري ضمن منظومة قائمة على STARK.

وتوضح وثائق Starknet أن SHARP يجمع البراهين تكراريًا قبل إرسال البرهان النهائي إلى أداة تحقق على السلسلة.

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

كما يمكنها دعم بنية تحتية مشتركة لإثبات البراهين تستفيد فيها تطبيقات مختلفة من التحقق المجمّع.

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

البراهين التكرارية وPlonky2

Plonky2 هو نظام براهين صُمم مع التركيز على التركيب التكراري السريع.

تصف ورقة Plonky2 النظام بأنه تطبيق لحجج تشفيرية يركز على التركيب التكراري السريع.

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

إذا كان التكرار بطيئًا جدًا، فقد لا يكون تجميع البراهين عمليًا لأنظمة المعاملات الفعلية.

وإذا كان التحقق التكراري مكلفًا للغاية، فقد لا يحقق البرهان النهائي وفورات كافية في التكلفة.

تهدف أنظمة البراهين التكرارية السريعة إلى جعل تركيب البراهين أكثر قابلية للاستخدام في عمليات Rollup وآلات zkVM والجسور والبنية التحتية الأخرى للبلوكشين.

والدرس الأوسع هو أن تصميم براهين ZK التكرارية لا يقتصر على الإمكان الرياضي.

بل يتعلق أيضًا بالأداء الهندسي.

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

براهين ZK التكرارية وآلات zkVM

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

يمكن لبراهين ZK التكرارية مساعدة أنظمة zkVM على إثبات صحة البرامج الكبيرة عبر تقسيم التنفيذ إلى مقاطع أصغر.

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

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

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

يتيح التكرار لمصممي zkVM توسيع نطاق أعباء إنشاء البراهين أفقيًا.

إذ يمكن لآلات أو مُثبتين مختلفين العمل على مقاطع مختلفة.

ثم يمكن للبرهان النهائي تمثيل سجل التنفيذ الكامل.

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

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

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

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

أما برهان ZK التكراري، فيثبت ادعاءً يتضمن صحة برهان آخر.

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

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

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

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

أما البراهين التكرارية فهي أكثر تعقيدًا، لكنها قد تتيح إنشاء أنظمة أكبر.

لا ينبغي للمطور استخدام التكرار لمجرد أنه يبدو متقدمًا.

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

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

براهين ZK التكرارية مقابل التحقق الدفعي

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

يعني التحقق الدفعي فحص براهين عديدة معًا بكفاءة أكبر من فحصها واحدًا تلو الآخر.

أما تجميع البراهين التكراري فيعني إنشاء برهان جديد يؤكد صحة البراهين السابقة.

قد يقلل التحقق الدفعي تكلفة التحقق، لكن قد يظل على المُتحقق التعامل مع كائنات براهين عديدة.

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

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

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

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

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

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

فوائد براهين ZK التكرارية

الفائدة الرئيسية الأولى هي قابلية التوسع.

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

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

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

والفائدة الثالثة هي إنشاء البراهين بالتوازي.

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

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

إذ يمكن للمستخدمين التحقق من براهين مدمجة بدلًا من سجلات كبيرة.

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

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

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

يمكن لعمليات Rollup وآلات zkVM والجسور والتطبيقات إنشاء براهين تغذي أنظمة براهين أوسع.

والفائدة السابعة هي تحسين قابلية التركيب.

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

قيود براهين ZK التكرارية

تتميز براهين ZK التكرارية بقدرات كبيرة، لكنها ليست بسيطة.

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

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

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

كما يجب أن يتجنب نظام البراهين الافتراضات الضعيفة، واختيارات المعلمات غير الآمنة، وأخطاء التنفيذ.

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

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

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

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

ويكتسب ذلك أهمية خاصة في عمليات Rollup وأنظمة التوسع الأخرى.

مخاطر أمان براهين ZK التكرارية

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

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

ومن المخاطر الأخرى الاعتماد على دائرة تحقق لم تخضع لتدقيق دقيق.

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

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

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

ومن المخاطر الأخرى التحكم في الترقيات.

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

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

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

تقلل براهين ZK التكرارية بعض افتراضات الثقة، لكنها لا تلغي جميع مخاطر النظام.

أشجار البراهين التكرارية

شجرة البراهين التكرارية هي بنية تُدمج فيها براهين كثيرة عبر طبقات.

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

وفي الطبقة التالية، تتحقق براهين من مجموعات من تلك البراهين الأصغر.

ويستمر ذلك حتى يمثل برهان جذري واحد الشجرة كلها.

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

تفيد أشجار البراهين لأنها تتيح تنفيذ العمل بالتوازي.

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

ثم يمكن لمُثبتين مجمّعين دمج النتائج.

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

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

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

لا تحل براهين ZK التكرارية محل توافر البيانات.

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

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

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

ولهذا يجب أن يفصل تصميم ZK-rollup بين الصلاحية وتوافر البيانات.

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

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

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

لكنها لا تحل تلقائيًا كل مشكلة تتعلق بالوصول إلى البيانات.

ويجب على نظام التوسع الآمن معالجة صحة البراهين وتوافر البيانات معًا.

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

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

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

قد يخفض ذلك رسوم الغاز أو يقلل الأعباء المرتبطة بالتسوية.

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

مع ذلك، يظل التحقق على السلسلة معتمدًا على عقد التحقق أو تنفيذ أداة التحقق الأصلية.

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

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

وإذا اعتمدت الأداة على إعداد موثوق، فينبغي للمستخدمين فهم الافتراضات الناتجة عن هذا الإعداد.

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

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

براهين ZK التكرارية ولا مركزية المُثبتين

يمكن للبراهين التكرارية دعم إنشاء البراهين اللامركزي، لكنها لا تضمنه.

يمكن لنظام براهين تكراري تقسيم العمل إلى مهام أصغر يستطيع مُثبتون كثيرون تنفيذها.

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

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

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

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

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

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

يمكن للبراهين التكرارية دعم هذه التصميمات بجعل عمل إنشاء البراهين معياريًا.

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

حالات الاستخدام الشائعة لبراهين ZK التكرارية

تُستخدم براهين ZK التكرارية لتجميع براهين ZK-rollup.

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

وتُستخدم في آلات zkVM التي تحتاج إلى إثبات تنفيذ برامج كبيرة.

وتُستخدم في أنظمة الخصوصية التي تجمع معاملات خاصة عديدة.

وتُستخدم للتحقق عبر السلاسل عندما تتحقق سلسلة من حالة سلسلة أخرى.

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

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

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

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

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

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

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

وينبغي لهم تحديد الادعاء الذي يُفترض أن يثبته كل برهان تكراري بوضوح.

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

وينبغي لهم تجنب التعامل مع التكرار بوصفه حلًا سريعًا لتصميم نظام ضعيف.

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

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

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

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

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

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

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

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

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

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

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

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

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

يُعد برهان ZK التكراري الصحيح ذا قيمة، لكنه ليس سوى جزء واحد من نموذج الأمان الكامل.

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

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

ما المقصود ببرهان ZK تكراري؟

برهان ZK التكراري هو برهان معرفة صفرية يتحقق من برهان معرفة صفرية آخر.

لماذا تفيد براهين ZK التكرارية في الكريبتو؟

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

هل تُستخدم براهين ZK التكرارية في ZK-rollups؟

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

هل تقتصر استخدامات براهين ZK التكرارية على الخصوصية؟

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

ما معنى «برهان على برهان»؟

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

هل تجعل براهين ZK التكرارية البلوكشينات أسرع؟

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

هل تلغي براهين ZK التكرارية الحاجة إلى توافر البيانات؟

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

ما الفرق بين ZK-SNARK التكراري وZK-STARK التكراري؟

يستخدم ZK-SNARK التكراري نظام براهين قائمًا على SNARK، بينما يستخدم ZK-STARK التكراري نظام براهين قائمًا على STARK.

هل يمكن التحقق من البراهين التكرارية على السلسلة؟

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

هل تنطوي براهين ZK التكرارية على مخاطر؟

قد تنطوي على مخاطر إذا صُممت الدوائر أو منطق التحقق أو روابط المدخلات العامة أو نموذج توافر البيانات أو ضوابط الترقية على نحو غير سليم.

الخلاصة

تُعد براهين ZK التكرارية من أهم الأدوات التشفيرية لتوسيع نطاق أنظمة الكريبتو والتحقق منها.

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

وهذا يتيح تجميع براهين كثيرة وضغط سجل البلوكشين ودعم ZK-rollups وتحسين أداء العملاء الخفيفين وإثبات العمليات الحسابية المعقدة خارج السلسلة.

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

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

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

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

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

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