CRS (سلسلة المرجع المشتركة)

ما CRS (سلسلة المرجع المشتركة)؟

يرمز CRS إلى Common Reference String، أي سلسلة المرجع المشتركة، وهي مجموعة مشتركة من المعلمات التشفيرية العامة التي يستخدمها نظام إثبات المعرفة الصفرية.

في العملات المشفرة، يُناقش CRS غالبًا في سياق zk-SNARKs وبروتوكولات الخصوصية وإثباتات الصلاحية وzk-rollups والتزامات كثيرات الحدود وأنظمة توسيع نطاق البلوكشين.

يوفر CRS أساسًا مشتركًا للمُثبِت والمدقّق، بحيث يمكن إنشاء إثبات والتحقق منه من دون أن يكشف المُثبِت معلومات خاصة.

يستخدم المُثبِت CRS لإنشاء إثبات، ويستخدم المدقّق CRS نفسه للتحقق من صلاحيته.

يوضح دليل ethereum.org لإثباتات المعرفة الصفرية أن المعلمات العامة المستخدمة في بعض أنظمة المعرفة الصفرية تُعرف مجتمعةً باسم سلسلة المرجع المشتركة.

CRS ليس كلمة مرور أو مفتاحًا خاصًا أو عبارة استرداد للمحفظة أو سرًا خاصًا بالمستخدم.

إنه معلومات عامة عادةً، لكن طريقة إنشائه قد تكون بالغة الحساسية.

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

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

لهذا يُعد أمان CRS أحد أهم افتراضات الثقة في كثير من أنظمة المعرفة الصفرية المستخدمة في العملات المشفرة.

أهمية CRS في العملات المشفرة

تنبع أهمية CRS من كون إثباتات المعرفة الصفرية تقنية أساسية حاليًا في خصوصية البلوكشين وتوسيع نطاقها والهوية والحوسبة القابلة للتحقق.

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

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

تحتاج كثير من أنظمة zk-SNARK الفعّالة إلى معلمات عامة قبل إنشاء الإثباتات والتحقق منها.

وتكون هذه المعلمات العامة هي CRS أو بنية مرتبطة به عن كثب، مثل Structured Reference String (سلسلة المرجع المنظّمة).

يوضح نقاش ZKProof حول مراسم الإعداد أن zk-SNARKs تعتمد على CRS بوصفه معلمة عامة لإثبات الادعاءات والتحقق منها.

وهذا يجعل جودة CRS مهمة للمطورين والمستخدمين على حد سواء.

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

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

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

آلية عمل CRS

يعمل CRS على تزويد جميع المشاركين في نظام الإثبات ببيانات مرجعية عامة موحدة.

يستخدم المُثبِت هذه البيانات لتحويل الشاهد الخاص والبيان العام إلى إثبات موجز.

ويستخدم المدقّق هذه البيانات للتحقق من إنشاء الإثبات وفق قواعد النظام.

البيان العام هو الادعاء المطلوب التحقق منه.

أما الشاهد الخاص فهو المعلومات المخفية التي تجعل الادعاء صحيحًا.

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

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

في كثير من أنظمة zk-SNARK، يُنشأ CRS قبل أن يبدأ المستخدمون العاديون بإنشاء الإثباتات.

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

تعتمد التفاصيل على نظام الإثبات والافتراضات التشفيرية وتصميم التنفيذ.

ينبغي إنشاء CRS وتخزينه ونشره والتحقق منه بطريقة تقلل احتمال التلاعب الخفي.

CRS وSRS والمعلمات العامة

يُستخدم CRS غالبًا مصطلحًا عامًا للبيانات المرجعية العامة التي يستخدمها نظام إثبات.

يرمز SRS إلى Structured Reference String، أي سلسلة المرجع المنظّمة، ويعني عادةً أن السلسلة المرجعية ذات بنية جبرية خاصة.

أما «المعلمات العامة» فهي عبارة أعم قد تشمل CRS وSRS ومفاتيح الإثبات ومفاتيح التحقق ومخرجات الإعداد الأخرى.

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

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

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

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

تحتاج بعض الأنظمة إلى CRS خاص بدائرة معينة.

وتستخدم أنظمة أخرى SRS عامًا يمكنه دعم دوائر عديدة حتى حجم محدد.

وثمة أنظمة شفافة لا تحتاج إلى مراسم إعداد موثوق إطلاقًا.

ينبغي للمطور الحريص التحقق دائمًا مما يعنيه المشروع بمصطلحات CRS وSRS ومعلمات الإعداد ومفتاح الإثبات ومفتاح التحقق.

الإعداد الموثوق وCRS

الإعداد الموثوق عملية تُستخدم لإنشاء CRS لبعض أنظمة إثبات المعرفة الصفرية.

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

تُعرف مواد الإعداد المخفية هذه غالبًا باسم «النفايات السامة» (toxic waste).

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

هذا لا يعني أن كل CRS غير آمن.

بل يعني أن أمان بعض الأنظمة القائمة على CRS يعتمد على أمن عملية الإعداد.

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

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

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

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

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

مراسم الحساب متعدد الأطراف

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

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

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

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

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

تُعد مراسم Ethereum KZG مثالًا معروفًا في عالم العملات المشفرة لمراسم عامة استُخدمت لإنشاء مواد الإعداد لالتزامات KZG.

يصف التقرير الختامي لمؤسسة Ethereum عن مراسم KZG المراسم بأنها عملية عامة دعمت الأساس التشفيري لـEIP-4844.

ينبغي للمراسم نشر معلومات كافية لتمكين الآخرين من تدقيق العملية.

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

لا تجعل المراسم القوية النظام خاليًا من المخاطر، لكنها قد تقلل عبء الثقة المرتبط بـCRS.

CRS وzk-SNARKs

يرمز zk-SNARK إلى Zero-Knowledge Succinct Non-Interactive Argument of Knowledge، أي حجة معرفة موجزة وغير تفاعلية قائمة على المعرفة الصفرية.

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

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

والإثباتات غير التفاعلية مهمة لأن المُثبِت يستطيع إنشاء إثبات مرة واحدة ونشره ليتمكن أي شخص من التحقق منه لاحقًا.

يساعد CRS على إتاحة هذا النموذج غير التفاعلي في كثير من تصميمات SNARK.

من دون معلمات الإعداد المناسبة، قد لا يتشارك المُثبِت والمدقّق المرجع الرياضي اللازم لإنشاء الإثبات والتحقق من صحته.

تتعامل عائلات SNARK المختلفة مع متطلبات CRS بطرق متباينة.

تتطلب بعض الأنظمة الأقدم إعدادًا موثوقًا منفصلًا لكل دائرة.

وتستخدم بعض الأنظمة الأحدث نماذج إعداد عامة أو قابلة للتحديث.

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

لهذا لا ينبغي لمشروع عملات مشفرة الاكتفاء بالقول إنه يستخدم zk-SNARKs.

بل ينبغي أن يوضح نموذج الإعداد ونوع CRS وعملية التدقيق ومسار الترقية.

CRS وzk-rollups

zk-rollup نظام لتوسيع نطاق البلوكشين يستخدم إثباتات الصلاحية لإثبات معالجة دفعات المعاملات خارج السلسلة على نحو صحيح.

توضح وثائق ethereum.org حول zk-rollups أن بروتوكول ZK-SNARK قد يحتاج إلى CRS، لأنه يوفر المعلمات العامة اللازمة لإنشاء إثباتات الصلاحية والتحقق منها.

في zk-rollup، ينشئ المُثبِت إثباتًا لعدد كبير من المعاملات دفعة واحدة.

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

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

إذا استخدم الـrollup نظام إثبات قائمًا على CRS، يصبح CRS جزءًا من قصة الثقة والأمان الخاصة به.

ينبغي للمستخدمين معرفة ما إذا كان الـrollup يستخدم إعدادًا موثوقًا، وما إذا كان الإعداد خاصًا بدائرة معينة، وما إذا كانت الترقيات المستقبلية تتطلب مراسم جديدة.

قد يؤدي CRS سيئ أو مخترق إلى إضعاف نظام إثبات الصلاحية.

ويمكن لعملية إعداد قوية أن تدعم الثقة بصعوبة تزوير إثباتات الـrollup.

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

CRS والتزامات KZG

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

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

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

قدمت EIP-4844 معاملات تحمل بيانات blobs تستخدم التزامات KZG وإثباتاتها ضمن خارطة طريق Ethereum لتوسيع النطاق.

تصف مواصفات EIP-4844 معاملات blobs والتحقق من إثبات KZG ضمن تصميم البروتوكول.

تعتمد التزامات KZG على مواد إعداد منظّمة.

تُسمى هذه المواد عادةً SRS، ويمكن فهمها على أنها شكل متخصص من CRS.

يعتمد أمان الأنظمة القائمة على KZG على إتلاف سرية بعض العشوائية المستخدمة في الإعداد.

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

لا يُعد SRS الخاص بـKZG مجرد ملف تقني، إذ قد يشكل اعتمادًا تشفيريًا طويل الأمد للتطبيقات التي تستخدمه.

CRS العام وCRS الخاص بدائرة

يُنشأ CRS الخاص بدائرة معينة لدائرة محددة أو عملية حسابية بعينها.

إذا تغيرت الدائرة، فقد يحتاج المشروع إلى إعداد جديد.

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

يمكن لـCRS عام أو SRS عام دعم دوائر عديدة حتى حد معين من الحجم أو التعقيد.

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

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

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

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

لكن كلمة «عام» لا تعني «بلا حدود».

عادةً ما يخضع CRS العام لحدود وافتراضات ومنحنيات مدعومة وأحجام قصوى للدوائر وقواعد تنفيذ.

ولا يزال على المطورين التحقق من ملاءمة CRS للتطبيق الذي يبنونه.

أنظمة الإثبات الشفافة وCRS

لا يتطلب نظام الإثبات الشفاف مراسم إعداد موثوق.

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

غالبًا ما توصف zk-STARKs بأنها شفافة لأنها لا تتطلب CRS ناتجًا عن إعداد موثوق بالطريقة نفسها التي تتطلبها أنظمة zk-SNARK كثيرة.

وهذا أحد أسباب جاذبية الأنظمة القائمة على STARK لبعض تطبيقات البلوكشين.

لكن المقابل هو أن الأنظمة الشفافة قد تختلف في أحجام الإثباتات وتكاليف التحقق وتكاليف المُثبِت ومتطلبات التنفيذ.

لا يكون النظام الذي لا يحتاج إلى إعداد موثوق أفضل تلقائيًا لكل استخدام.

قد يوفر SNARK القائم على CRS إثباتات أصغر وتحققًا أكثر كفاءة.

وقد يقلل نظام الإثبات الشفاف الثقة المطلوبة في الإعداد، مع قبول مفاضلات مختلفة في الأداء.

يقارن تصميم البروتوكول الجيد بين افتراضات الأمان والتكلفة والأداء وأدوات المطورين وجودة التدقيق وقابلية الصيانة على المدى الطويل.

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

مخاطر أمان CRS

أكبر مخاطر CRS هي اختراق الإعداد.

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

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

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

وفي الـrollup، قد يهدد صحة انتقالات الحالة خارج السلسلة.

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

ومن المخاطر الأخرى استخدام CRS غير مناسب للدائرة أو نظام الإثبات.

قد يؤدي عدم التوافق بين CRS والدائرة ومفتاح الإثبات ومفتاح التحقق والتنفيذ إلى تقويض الأمان أو فشل الإثباتات.

أما الخطر الثالث فهو ضعف شفافية المراسم.

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

والخطر الرابع هو ضعف ممارسات أمن البرمجيات أثناء الإعداد.

فقد تضر البرامج الضارة أو العشوائية المعيبة أو الأبواب الخلفية المخفية أو عمليات البناء غير الآمنة بالمراسم.

لذلك يمثل أمان CRS مشكلة تشفيرية ومشكلة أمن تشغيلي في آن واحد.

كيفية استخدام المطورين لـCRS

يستخدم المطورون CRS عند بناء تطبيقات تعتمد على إنشاء الإثباتات والتحقق منها.

قد يُنزّل CRS من إصدار موثوق أو يُنشأ عبر مراسم أو يُدمج في البرمجيات أو يُشار إليه في مواصفات البروتوكول.

يستخدم برنامج المُثبِت مواد الإعداد لإنشاء إثباتات صالحة لدائرة ما.

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

في أنظمة العقود الذكية، قد يُدرج مفتاح التحقق في عقد مدقّق على السلسلة.

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

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

كما ينبغي لهم التحقق من قيم التجزئة والتوقيعات والبُنى القابلة لإعادة الإنتاج والوثائق الرسمية وتقارير التدقيق.

قد يؤدي اختلاف بسيط في الإعداد إلى فشل التحقق أو هدر رسوم الغاز أو تعطل التطبيقات أو إضعاف الأمان.

لهذا تتعامل أنظمة ZK المستخدمة في الإنتاج مع ملفات الإعداد بوصفها بنية تحتية أساسية.

CRS وعملات الخصوصية

كان CRS مهمًا تاريخيًا لأنظمة العملات المشفرة التي تركز على الخصوصية واستخدمت zk-SNARKs.

يمكن لبروتوكولات الخصوصية استخدام إثباتات المعرفة الصفرية لإثبات صحة المعاملات المحمية من دون الكشف عن تفاصيل المعاملة الحساسة.

اعتمدت تصميمات zk-SNARK الأقدم والفعّالة غالبًا على مراسم إعداد موثوق.

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

تشير توضيحات Zcash حول zk-SNARKs إلى أن Zcash قدمت بروتوكول المدفوعات المحمية Orchard باستخدام Halo 2، وتوضح أن Halo ألغى الإعداد الموثوق مع دعم المدفوعات الرقمية الخاصة.

يوضح هذا التطور كيف يتغير تصميم CRS بمرور الوقت.

قد تقبل الأنظمة المبكرة إعدادًا موثوقًا للحصول على إثباتات صغيرة وأداء عملي.

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

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

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

CRS وترقيات البلوكشين

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

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

وقد يتطلب إعداد خاص بدائرة معينة مراسم جديدة عند إجراء ترقية رئيسية.

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

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

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

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

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

وينطبق ذلك خصوصًا على الأنظمة التي تؤمّن الإيداعات والسحوبات والأرصدة الخاصة أو جذور حالة الـrollup.

لذلك تُعد حوكمة CRS جزءًا من أمان العملات المشفرة على المدى الطويل.

كيفية تقييم مشروع عملات مشفرة قائم على CRS

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

والسؤال الثاني هو ما إذا كان طرف واحد قد أنشأ CRS أم أُنشئ عبر مراسم عامة متعددة الأطراف.

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

والسؤال الرابع هو ما إذا كان سجل المراسم والبرمجيات والمعلمات وتعليمات التحقق متاحًا للعامة.

والسؤال الخامس هو ما إذا كان باحثون مستقلون أو مدققون قد راجعوا الإعداد ونظام الإثبات.

والسؤال السادس هو ما إذا كانت الترقيات المستقبلية تتطلب إعدادًا جديدًا.

والسؤال السابع هو ما إذا كان بإمكان المستخدمين التحقق من تجزئات المعلمات ومقارنتها بالإصدارات الرسمية.

والسؤال الثامن هو ما إذا كان المشروع يشرح عواقب اختراق الإعداد.

والسؤال التاسع هو ما إذا كان لنظام الإثبات خطة استجابة طارئة للثغرات.

والسؤال العاشر هو ما إذا كان نظام الإثبات مناسبًا للقيمة التي يؤمّنها البروتوكول.

تساعد هذه الأسئلة المستخدمين على تجاوز الادعاءات التسويقية وتقييم الافتراضات التشفيرية الفعلية.

مفاهيم خاطئة شائعة حول CRS

من المفاهيم الخاطئة أن CRS يجب أن يظل سريًا.

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

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

فبعض أنظمة الإثبات شفافة وتتجنب مراسم الإعداد الموثوق.

أما المفهوم الخاطئ الثالث فهو أن CRS واحدًا يناسب كل التطبيقات.

قد يرتبط CRS بنظام إثبات أو منحنى أو حجم دائرة أو تصميم تطبيق محدد.

والمفهوم الخاطئ الرابع هو أن الإعداد الموثوق غير آمن تلقائيًا.

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

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

في الواقع، قد يؤثر CRS في أمان بروتوكول خصوصية أو rollup أو جسر أو تطبيق قائم على الإثباتات.

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

ماذا يعني CRS في العملات المشفرة؟

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

هل CRS هو نفسه SRS؟

CRS هو المصطلح الأعم، بينما يشير SRS عادةً إلى شكل منظّم من CRS تستخدمه بعض أنظمة SNARK ومخططات التزامات كثيرات الحدود.

لماذا تحتاج zk-SNARKs إلى CRS؟

تحتاج كثير من أنظمة zk-SNARK إلى CRS كي يتشارك المُثبِت والمدقّق معلمات عامة تدعم إنشاء الإثباتات غير التفاعلية والتحقق منها.

هل CRS خاص؟

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

ما النفايات السامة في الإعداد الموثوق؟

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

ما مراسم CRS؟

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

لماذا تُستخدم المراسم متعددة الأطراف؟

تُستخدم المراسم متعددة الأطراف لتقليل الاعتماد على مشارك موثوق واحد أثناء إنشاء CRS.

هل تحتاج zk-STARKs إلى CRS موثوق؟

توصف zk-STARKs عمومًا بأنها أنظمة إثبات شفافة، لأنها لا تتطلب CRS ناتجًا عن إعداد موثوق مثل كثير من أنظمة zk-SNARK.

هل يمكن لـCRS سيئ أن يعرض أموال العملات المشفرة للخطر؟

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

كيف يمكن للمستخدمين التحقق من افتراضات الثقة الخاصة بـCRS؟

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

الخاتمة

يُعد CRS (سلسلة المرجع المشتركة) مفهومًا أساسيًا في التشفير القائم على المعرفة الصفرية وموضوعًا مهمًا لأمان أنظمة العملات المشفرة الحديثة.

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

يُنشأ CRS في كثير من أنظمة zk-SNARK عبر إعداد موثوق، ما يعني ضرورة تنفيذ عملية الإعداد بأمان وشفافية قويتين.

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

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

لهذا يهم تصميم CRS بروتوكولات الخصوصية وzk-rollups والتزامات KZG والجسور وأنظمة الهوية وغيرها من تطبيقات العملات المشفرة القائمة على الإثباتات.

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

ينبغي لكل من يقيّم مشروعًا للعملات المشفرة قائمًا على المعرفة الصفرية أن يسأل عن كيفية إنشاء CRS، وما إذا كان الإعداد موثوقًا أو شفافًا، وما إذا كان عامًا أو خاصًا بدائرة، وكيف ستتعامل الترقيات المستقبلية مع معلمات الإثبات.