تحليل متعدد السطوح: لماذا يقال إن قيمة تقنية ZK لم يتم اكتشافها إلا على قمة جبل الجليد؟

المؤلف: هاو تيان; المصدر: Chain View

في الآونة الأخيرة، قادت شركة Paradigm استثمارًا بقيمة 43 مليون دولار في أشعلت الأخبار السوق الأولية، ووصل إجمالي مبلغ التمويل الخاص بـ @PolyhedraZK التابع لـ TGE إلى 75 مليون دولار. يمكن ملاحظة أن المرافق الفنية الأساسية لشركة ZKP تحمل آمالًا كبيرة من سوق رأس المال.

في الواقع، تم استغلال توسعة الطبقة الثانية لـ ZK فقط في إمكانات محدودة. فيما يتعلق بقابلية التشغيل البيني للسلسلة الكاملة، لا تزال تقنية ZK لديها مجال كبير للخيال. لماذا؟ بعد ذلك، دعنا نتحدث عن ما أفهمه:

بالإضافة إلى متعددات الوجوه، بما في ذلك @SuccinctLabs  @RiscZero   @ProjectZKM     وما إلى ذلك تحاول جميع المشاريع القائمة على تقنية ZKP الاستفادة من إمكانات تقنية ZK والعمل الجاد من أجل اعتماد تقنية ZK على نطاق واسع.

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

السبب في "سوء الفهم" هذا هو أن تقنية ZK الحقيقية لم تخدش السطح إلا في الوقت الحاضر، وكلها موجودة في الطبقة 0، وzkSync، وOptimism، وما إلى ذلك . تخدم مشاريع Star المزيد من المراحل الأولية، مثل:

يوفر Polyhedra حل نقل الأصول عبر السلسلة zkBridge لـlayerZero، ويوفر RISC Zero نظام ZK لمقاومة الاحتيال لـ OP - يمكن أن تقلل عمليات التجميع من ضياع الوقت في إثبات الاحتيال؛ تستخدم ZKM ZK General-Purpose لتنفيذ حسابات آمنة وقابلة للتحقق، مما يؤدي في النهاية إلى تمكين Ethereum من أن تصبح طبقة تسوية عالمية.

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

1. تطوير تقنية إثبات المعرفة الصفرية للأغراض العامة

2. البناء نظام البرهان الموزع;

3. تحسين استهلاك الحوسبة في عملية إثبات ZK;

4. توفير بيئة تطوير متوافقة مع لغات برمجة متعددة؛

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

مقارنة بالخدمات التقنية الأولية لـ RISC Zero وSuccinct وZKM وغيرها من المشاريع، فإن مشكلة "الجسر عبر السلسلة" القابلة للتشغيل البيني والتي يريدPolyhedra حلها أبعد ما يكون عن الحالي، ولا يزال إطلاق السوق أقرب، فلنأخذ zkBridge الأكثر شهرة كمثال لإظهار أين تكمن الثقة الأساسية لتقنية ZKP؟

قامت شركة Polyhedra ببناء deVirgo، وهو نظام إثبات ZK موزع. Virgo هو مصدر مفتوح يساعد المطورين على بناء بروتوكولات إثبات المعرفة الصفرية غير التفاعلية والتحقق منها. يمكن للعقد إذا كنت بحاجة إلى إجراء "التهيئة الموثوقة"، فيمكنك أن تصبح Prover مباشرة دون إذن. deVirgo هو بروتوكول ZKP موزع عالي الكفاءة يعتمد على بروتوكول Virgo، والذي يمكنه دعم شبكات الحوسبة الموزعة المتعددة ويثبت أنه يمكن تقصير وقت التوليد.

أول بروتوكول zk-SNARK تم تنفيذه استنادًا إلى نظام البرهان الموزع deVirgo هو zkBridge. الهدف هو تحقيق اتصالات المعلومات في بيئة عبر السلسلة، عبر- قامت أصول السلسلة ومشاركة البيانات وما إلى ذلك حاليًا بتنفيذ خدمات اتصالات عبر السلسلة لأكثر من 25 سلسلة، وتستخدم الطبقة 0 المعروفة خدمة zkBridge التي تقدمها Polyhedra، بينما تركز LayerZero بشكل أكبر على خدمات إنشاء البنية التحتية مثل السلاسل والتطبيقات اللامركزية في بيئة السلسلة الكاملة.

ما سبب أهمية zkBridge؟ لأنه يمكنه الاستفادة بشكل مباشر من قدرات عقدة السلسلة العامة لنقطة البيع نفسها لتحقيق تفاعل الاتصال في "طبقة الإجماع".

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

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

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

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

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

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

يمكن للعقد في السلسلة A استخدام deVirgo لإنشاء حالة zk-SNARKs لبدء إعلانات نقل الأصول، ويمكن للعقد في السلسلة B التحقق مباشرة من شهادة ZKP من خلال deVirgo. الصحة، وبتكاليف حسابية واستهلاك وقت منخفضة للغاية.

من الواضح أنه من الأسهل لحلول الخدمات التقنية مثل zkBridge أن تتقاطع مع طريقة خدمة سلسلة الترحيل الخاصة بلجنة الأمان متعددة التوقيعات التابعة لـ MPC لكسب ثقة في السوق، وفي الواقع، فهو أيضًا أكثر أمانًا وأكثر كفاءة. (ملاحظة: هذا مجرد مفهوم نسبي. لا تزال العديد من الحلول الحالية عبر السلاسل تستخدم التوقيع المتعدد MPC، وتحتاج البنية التحتية لـ ZK إلى مزيد من التعزيز)

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

1. يمكن أن يؤدي استخدام العملاء الخفيفين إلى تقليل متطلبات الموارد واستهلاك قدر أقل من مساحة التخزين وعرض النطاق الترددي وموارد الحوسبة؛

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

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

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

ومع ذلك، وبالنظر إلى المستقبل، فإن حلول ZK عبر السلاسل، بما في ذلك Polyhedra وSuccinct وZKM وRISC Zero وما إلى ذلك، كلها تتحسن في اتجاه خفيفة الوزن وفعالة ومنخفضة استهلاك الطاقة.

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

بالإضافة إلى ذلك، مع زيادة الطلب على طبقة BTC 2 لاستخدام BTC كطبقة تسوية أصول السلسلة الرئيسية، تستعير Polyhedra النظام الاقتصادي للتعهد المزدوج من Eigenlayer لإعداده خصيصًا Bitcoin يوفر نظام العقدة AVS للعملة إمكانية التشغيل البيني للبيتكوين بأقل قدر من الثقة. في الوقت نفسه، باستخدام BTC وETH لرسم خريطة مزدوجة لتجمع السيولة ودور Maker لتأمين الأصول بشكل تعاوني، وتطبيق طريقة التشفير الخاصة بـ FRI، يمكن التحقق من إثباتات ZK مباشرة على Bitcoin، مما يكمل الجزء الأكثر صعوبة من ZK. إمكانية التشغيل البيني لسلسلة كاملة.

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

في الأعلى

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

في الواقع، فإن إمكانات مسار ZKP بأكمله أكبر بكثير مما توفره Polyhedra. يعمل المزيد من الموردين الرئيسيين للبنية التحتية لتكنولوجيا ZK على تقسيمات فرعية رأسية مثل جسر ZK المتقاطع، وZK خفيف الوزن، وZK للأغراض العامة، وZK Coprocessor، ونظام Prover الموزع ZK، وما إلى ذلك لمواصلة تسريع الاستخدام واسع النطاق لـ ZKP technology.universal.

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