تعرف على 3 مشاريع تدفع براهين المعرفة الصفرية إلى الاتجاه السائد في مقال واحد

المؤلف: nairolf, Sensei Wu المصدر: substack الترجمة: Shan Ouba, Golden Finance

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

لنبدأ بشكل بسيط ونفهم ما هو دليل المعرفة الصفرية أو دليل ZK. على سبيل المثال!

يحب جون رسم النمور الجميلة، لكنه لا يجرؤ على عرض لوحاته على أصدقائه. هو خجول جدا!

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

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

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

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

كما قد تكون عرفت، فإن إحدى فوائد شهادات zk هي الخصوصية التي توفرها.

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

بالإضافة إلى ذلك، ثبت أن zk أكثر كفاءة في الذاكرة. يمكن لهذه البراهين التحقق من الحسابات الأكبر بسهولة أكبر من أنظمة الإثبات الأخرى.

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

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

تظهر الطبقة المحاذية في هذا الوقت.

محاذاة

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

ما الذي قد تريد معرفته؟ حسنًا، Aligned Layer متخصصة في التحقق من البراهين. فكر في Aligned كشبكة من المدققين المخصصين، والمستعدين للتأكد من صحة البراهين التي ترسلها.

تلعب المحاذاة دور Ethereum هنا. لكن لا تقلق، فهم يستخدمون تقنية EigenLayer لإعادة الاحتفاظ بنفس المستوى من الأمان الذي توفره عملة Ethereum. نفس الأمان الذي يوفره Ethereum، ولكن بدون قيود EVM. رائع أليس كذلك؟

لذا، تقوم Aligned بالتحقق من إثباتك. الخطوة التالية هي نشر نتائج التحقق على Ethereum. نعم، لقد قلت "نتائج التحقق". لقد تم التحقق منه بالفعل، لماذا يجب التحقق منه مرة أخرى؟

الآن، لا يزال لديك بياناتك، والدليل، الذي يجب نشره في مكان ما. حسنًا، ستقوم Aligned بنشرها على Ethereum أو AltDA الشبيهة بـ Celestia. الخيار لك.

تصبح عملية التحقق من البراهين من خلال الطبقة المحاذية أرخص بكثير. نحن نتحدث عن خفض التكلفة بمقدار 10 أضعاف، حقًا!

وهذا أيضًا أسرع قليلاً. لا يتعين عليك الانتظار حتى يتم التحقق من إثباتك على Ethereum؛ فقد تتلقى بالفعل التأكيد الأول (الناعم) من الطبقة المحاذية.

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

نيبرا

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

التحقق من إثباتات المعرفة الصفرية على Ethereum أمر مكلف للغاية. مع Nebra، يمكنك تقليل هذه التكاليف خمس مرات.

سألت نبرا: "لماذا لا نتحقق من عدد كبير من أدلة المعرفة الصفرية خارج السلسلة، ونجمعها في حزمة كبيرة، ثم نتحقق فقط ما هو الدليل على ذلك؟ بهذه الطريقة، نحافظ على أمان الإيثيريوم مع تقليل التكلفة لكل وحدة يتم إنشاؤها! "

كما أن Nebra عالمية. وهذا يعني أن الدليل يمكن أن يأتي من أي مصدر. سواء أكان ذلك zkRollups، أو zkCoprocessor، أو zkML، أو أي مصدر آخر، تقبل Nebra هذه البراهين.

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

هناك بالفعل العديد من المشاريع التي تستفيد من Nebra، مثل Worldcoin وZK Coprocessor الجديد - Brevis. لا أعرف ما هو المعالج المشترك؟ يرجى مراجعة مقالتنا السابقة.

وهذه هي النهاية... انتظر، أنت لا تصدق حتى أن هذه هي النهاية؟

موجز

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

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

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

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

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