أسواق الإثبات وشبكات الإثبات هما النهجان الرئيسيان. إثبات أن السوق يشبه السوق المفتوحة.
** بقلم: ييبينغ، IOSG Ventures**
ليرة تركية، د؛
تُستخدم تقنية ZK بشكل أساسي لتحسين قابلية التوسع والخصوصية والمصداقية لمختلف المشاريع (مثل Starkware وzkSync وScroll وMina وRisc0 وGese وEZKL).
تتطلب تقنية ZK قدرًا كبيرًا من قوة الحوسبة، مما يؤدي إلى حمل حوسبة يتراوح بين 10^4 إلى 10^6، مما يشكل تحديًا لفريق البنية التحتية.
الطرق الرئيسية لإنشاء إثباتات ZK هي أسواق الإثبات وشبكات الإثبات. تعمل Proof Markets كسوق مفتوح لتداول براهين ZK، بينما تمتلك Proof Networks خوادم داخلية توفر تجربة تشبه السحابة لإنشاء البراهين.
*يتيح نهج Proof Market المرونة والفعالية من حيث التكلفة لأنه يعزز السوق المفتوحة حيث يمكن إجراء معاملات إثبات ZK دون الحاجة إلى إدارة خادم متطورة.
يوفر نهج Proof Network تجربة سلسة وصديقة للمطورين ويوفر حلاً يولد الأدلة بسرعة وبشكل موثوق مع تركيز أقل على آليات السوق. من الناحية النظرية، يمكنها إنشاء إثبات بسرعة، لأنه يستغرق أيضًا وقتًا لمطابقة الطلبات في سوق الإثبات.
تشمل التحديات الصعوبات في الاختبار وتصحيح الأخطاء، وظهور مشكلات أمنية جديدة، واحتمال تقييد البائع، وارتفاع التكاليف في ظل نماذج استخدام معينة، وفقدان فائدة الرمز المميز.
من المرجح أن تكون الشركات الرائدة هي تلك الشركات التي لديها أكبر حاجة واضحة إلى ZK داخليًا، حيث يمكنها الاستفادة من البنية التحتية الحالية والفرق المتخصصة لتحقيق أقصى قدر من الاستفادة من الأجهزة.
تشمل التطبيقات الناشئة المعالجات المساعدة ZK، وZK Attestation، وZKML، وZK Bridges، والتي تخلق طلبًا أكبر على إنشاء أدلة ZK.
في مجال ZK، تعتمد شبكات الأدلة اللامركزية على تفضيل صناعة blockchain للأمن، ومقاومة الرقابة، والخصوصية، على الرغم من أن الأمان المتأصل في ZK يعني أن هذه المزايا لا تتطلب اللامركزية كشرط أساسي. بالنسبة لـ Zk، الأداء هو التركيز الرئيسي.
مقدمة
** الطلب المتزايد على ZK **
وبعد سنوات من البحث في مجال zk والتحسينات الهائلة في الأداء، تم أخيرًا استخدام zk في التطبيقات العملية. يطبق المهندسون الموهوبون ZK على:
قابلية التوسع
خصوصية
رصيد البيانات
هناك العديد من المشاريع المثيرة للاهتمام التي تعتمد على zk، مثل Starkware وzkSync وScroll وMina وRisc0 و=nil;Foundation وEZKL وGeza وPolygon وManta. تولد هذه المشاريع براهين zk بشكل ثابت ومستمر كل يوم. حالة استخدام zk الأكثر شيوعًا حاليًا هي zkRU والتي تُستخدم لحل مشكلات قابلية التوسع في Ethereum. خلال الشهر الماضي، تم إنفاق ملايين الدولارات على Ethereum/Ethereum L2s.
المصدر: زيادة قوية في تكلفة التحقق من ZK مقارنة بالعام الماضي.
يوضح هذا الرسم البياني الذي أنتجه فريق Near استهلاك الغاز لـ zkSN(T)ARK على Ethereum وL2s. ويشمل مشاريع ZK الشهيرة مثل zkSync وPolygon وAztec وTornado Cash وLoopring وWorldcoin وTailgun وSismo وStarkNet وImmutableX وdydx.
بالمقارنة مع zkStark، يمثل zkSnark 80% من إجمالي تكلفة التحقق. من بين كل هذه المشاريع، تمتلك Worldcoin أعلى تكلفة تحقق، تليها zkSync. تبلغ تكلفة التحقق حوالي 2 دولارًا أمريكيًا لكل عملة عالمية. تبلغ تكلفة المصادقة حوالي 30 دولارًا لكل zkSync.
إظهار عبء البنية التحتية
ZK يحل مشكلة قابلية التوسع، ولكن بتكلفة. يتطلب الكثير من القوة الحاسوبية. يجلب ZK الكثير من النفقات الحسابية، ويحتاج فريق التراكمي إلى التعامل مع هذه المشكلة. يقدر @_weidai أن استخدام تقنية ZK الحالية سيكون له حمل حسابي يتراوح من 10^4 إلى 10^6. من الناحية النظرية، يمكننا تحقيق 10 أضعاف الحمل الحسابي باستخدام دوائر مخصصة. إذا تمت إضافة طبقة التجريد للجهاز الظاهري، فسيكون هناك 100 ضعف عبء الحوسبة.
يوضح الرسم البياني أدناه رسمًا بيانيًا لقوة الحوسبة استنادًا إلى النمو السنوي وفقًا لقانون كوموي. وبعد عام 2000، زادت كفاءة الرقائق بمقدار 10 مرات كل عشر سنوات. وإذا قارنا قوة الحوسبة بعام 2000، فإنها ستصل إلى 784 مرة في عام 2025. يوضح هذا أيضًا أن حساب ZK الحالي لا يزال ليس بنفس الترتيب الذي كان عليه في عام 2000.
مصدر:
يرجى التفكير في هذا بعناية. نحن نحاول زيادة حجم المعاملات بمقدار 10 إلى 100 مرة إلى ZKRU. ومع زيادة حجم المعاملات، سنواجه أيضًا أعباء حسابية تتراوح من 10^4 إلى 10^6. تضع هذه الأرقام ضغطًا هائلاً على فريق البنية التحتية لـ ZKRU. تستخدم فرق ZKRU الرائدة أجهزة متطورة ذات ذاكرة لا تقل عن 200 جيجابايت ولديها موظفو عمليات موهوبون للتعامل مع تعقيدات البنية التحتية هذه.
فماذا يعني بالنسبة لفريق صغير إذا أرادوا إطلاق ZKRU أو بناء حل من الطبقة الثالثة باستخدام حزمة تكنولوجيا ZK؟ إذا أراد مطور مستقل إنشاء ZK Dapps، فكيف يمكنه شراء هذه الخوادم المتطورة وتشغيلها بشكل صحيح؟
الآن، بدء تشغيل ZKRU ليس بالأمر الصعب. يمكنك استخدام ZK Stack واتباع الإرشادات الموجودة في الوثائق لنشر ZKRU جديد. الجزء الأصعب هو تشغيل البنية التحتية المتطورة. تعد إدارة أسطول من الخوادم أصعب بكثير من الصيانة اليومية لأجهزة الكمبيوتر المحمولة الشخصية لدينا.
بالإضافة إلى ذلك، لا يعد تسريع الأجهزة بمثابة التوصيل والتشغيل، حيث سيحتاج كل فريق إلى تكوين خوادمه بشكل مختلف اعتمادًا على نظام إثبات المعرفة الصفرية الذي يستخدمه.
يعد ضمان التوفر العالي أيضًا موضوعًا صعبًا. ماذا لو بدأ عدد كبير من المستخدمين في سك الأرقام الترتيبية على جهاز ZKRU الخاص بك وواجهت فجأة إنتاجية تبلغ 1000x؟ حتى فريق ذو خبرة مثل Arbitrum كان معطلاً لعدة ساعات بسبب الارتفاع الكبير في معاملات Ordinals.
يتطلب إنشاء أعداد كبيرة من إثباتات المعرفة الصفرية دعمًا متطورًا للخادم. بالنسبة للفرق الصغيرة والمتوسطة الحجم، قد يكون إعداد وصيانة أسطول من الخوادم المتطورة عبئًا ثقيلًا. لمساعدة المجموعات بشكل أفضل على اعتماد تقنيات المعرفة الصفرية ببساطة وبسرعة، يحاول المشروع الناشئ مساعدة هذه المجموعات على التعامل مع جميع تعقيدات البنية التحتية للحوسبة.
##اثبات السوق
المصدر: مشاريع IOSG
أسواق الإثبات وشبكات الإثبات هما النهجان الرئيسيان. إثبات أن السوق يشبه السوق المفتوحة. لإنشاء دليل، يحتاج المستخدم إلى العثور على طرف مقابل يرغب في بيع الدليل بسعر معين. تعمل شبكة الإثبات مثل الخدمة السحابية التقليدية، حيث يرسل المطورون دوائرهم ومدخلاتهم، ويقوم موازن التحميل المركزي بتخصيص الخوادم الداخلية داخل شبكة الإثبات لإنشاء البراهين للمستخدمين.
تعد أسواق الإثبات أسلوبًا شائعًا في البنية التحتية لإثبات ZK. سوق الإثبات هو سوق مفتوح حيث يتاجر البائعون والمشترون بـ ZK Proofs. لا يحتاج فريق سوق ZK Proof إلى الاهتمام بأجهزة ZK Proof أو امتلاك خوادم متطورة، بل يركزون على معاملات ZK Proof وآليات التحقق لجذب بائعي الأجهزة الخارجيين.
إثبات أن السوق هو نهج أكثر انفتاحا. ويرحب ببائعي الأجهزة الطرف الثالث. وطالما يوجد بائع لديه مثل هذه الشهادة، يمكن للمشتري شراء شهادة ZK بسعر الدولار الأمريكي. عند التحقق من الأدلة، لا يحتاج كل شخص في السوق إلى التوصل إلى توافق في الآراء، فقط مشغلو السوق يتحملون مسؤولية التحقق. في سوق الإثبات، يقدم مطورو zkDapp أمر إثبات ZK، بما في ذلك السعر ووقت الإنشاء والمهلة والإدخال العام. سيقوم بائع الأجهزة التابع لجهة خارجية بعد ذلك بقبول الطلب وإنشاء دليل.
إثبات أن الهيكل الاقتصادي للأسواق بسيط. تحتاج مولدات الإثبات إلى المشاركة. إذا قاموا بإنشاء شهادة خاطئة أو فشلوا في تقديمها بحلول الموعد النهائي، فقد يتم تغريمهم. سيتمكن مولدو الإثبات الذين لديهم حصة أكبر من إنشاء براهين متعددة في وقت واحد.
اللاعبون الرئيسيون في صناعة سوق الشهادات هم =nil وMarlin.
= مؤسسة لا شيء
إثبات وجود بائعين ومشترين في السوق. المشتري هو مطور dApp. يدفعون للبائع رسومًا لإنشاء الشهادة. هناك العديد من العوامل التي تؤثر على سعر الشهادة. تشمل العوامل الرئيسية حجم الدائرة ونظام الإثبات ووقت التوليد وحجم الإدخال.
فيما يلي سير العمل لسوق = لا شيء:
إثبات أن الطالب يرسل طلبًا إلى السوق بسعر متوقع c_r.
إثبات أن السوق يقفل الرموز المميزة c_r في حساب المشتري.
إثبات أن المنتج يرسل عرضًا إلى السوق بسعر c_p <= c_r.
يقوم سوق الإثبات بمطابقة الطلبات مع مقترحات منتجي الإثبات.
يقوم منتج الإثبات بإنشاء الإثبات وإرساله إلى السوق.
يتحقق سوق الإثبات من الإثبات ويدفع الرموز المميزة c_r - رسوم المناولة إلى المنتج.
يحصل طالبو الشهادات على شهادتهم ويستخدمونها.
يوفر تصميم السوق تجربة تشبه التداول. إثبات أن السعر الناتج سوف يتغير في الوقت الحقيقي.
فيما يلي لقطة شاشة للمنتج الخاص بسوق =nilproof.
مصدر:
حاليًا، تدعم Proof Market عددًا محدودًا من المطالبات، حيث أثبتت مطالبة Mina أنها الأكثر نشاطًا. على وجه التحديد، يقبل Proof Market الدوائر المعتمدة على مترجم zkLLVM ونظام إثبات العنصر النائب.
جيفولوت
تلتزم Gevulot بتحقيق اللامركزية في سوق إثبات الإثبات. تعمل Gevulot كطبقة أولى مفتوحة وقابلة للبرمجة مصممة لإثبات وجود السوق. تتعامل الطبقة الأولى من blockchain مع التوزيع والتحقق وتوزيع المكافآت لطلبات الإثبات. تستفيد شبكة Prover من الوحدات الأحادية خفيفة الوزن لتحقيق الأداء العالي. يستخدم Gevulot وظائف عشوائية يمكن التحقق منها (VRFs) لتوزيع أعمال الإثبات على مجموعة صغيرة من المُثبتين، مما يضمن موثوقية النظام.
*مصدر: *
يمكن للمستخدمين نشر البرامج بسلاسة مع رسوم يمكن التنبؤ بها، ويمكن للمستخدمين تحديد الحد الأقصى للرسوم بناءً على عدد الدورات التي يستغرقها البرنامج للتنفيذ.
تتم مكافأة المُثبتين من خلال شبكة Gevulot ورسوم المستخدم، مما يحفزهم على إنتاج أدلة فعالة وتنافسية. سيحصل أسرع مُثبِّت على أكبر عدد من مكافآت الشبكة. سيتم تقاسم رسوم المستخدم بالتساوي مع جميع العقد التي تكمل الإثبات.
يدعم Gevulot لغات برمجة متعددة لنشر البرامج، بما في ذلك C وC++ وGo وJava وNode.js وPython وRust وRuby وPHP وما إلى ذلك، لأن VM Nanos الأساسي لـ Gevulot يدعم ثنائيات Linux ELF x86_64.
Gevulot عبارة عن منصة حوسبة عامة تدعم لغات وأنظمة إثبات مختلفة. يعتمد Gevulot على نواة Nanos الفردية لضمان إمكانية تشغيل المُثبت بسهولة على أجهزة مختلفة. يجب تجميع كافة الأدلة في صورة واحدة أحادية النواة.
** شبكة إثبات **
توفر شبكة Proof أسلوبًا أكثر سهولة في الاستخدام لتجربة المطور. إنه يعمل بشكل مشابه لموفر الخدمة السحابية لـ Web2. يرسل المطورون بيانات الحمولة من خلال REST API، ثم تقوم شبكة الإثبات بإرجاع الدليل إلى المطور. لا يحتاج المطورون إلى الاهتمام بتقلبات الأسعار والطرف الذي سيقوم بإنشاء الأدلة.
تدفئة0
أطلقت Risc Zero Bonsai باستخدام zkVM. بفضل قوة zkVM، يمكن للمستخدمين السماح لـ Bonsai بإنشاء إعلانات متنوعة. على سبيل المثال، استنادًا إلى Bonsai وRisc0 VM، تقوم Zeth بإنشاء أدلة على كتل Ethereum.
مصدر:
الإيجاز
في الآونة الأخيرة، أطلقت شركة Succinct أيضًا منتجها الجديد. بدلاً من توفير دائرة REST API، توفر Succinct نهجًا أكثر تشابهًا مع الوظائف السحابية.
هنا هو سير عمل المستخدم:
اتصل بحساب GitHub الخاص بك وقم بنشر الدائرة
اتصل بـ API من خلال REST أو العقد الذكي وقم بتمرير إدخال الدائرة
الاستعلام عن النتائج من خلال REST API أو العقد الذكي
*مصدر: *
بالمقارنة مع BONSAI، تتمتع Succinct بالمزايا التالية في تجربة المطور:
إدارة أسهل لمكتبات رموز الدوائر
لا حاجة لدائرة الإرسال الثانوية
نشر العقود الذكية بنقرة واحدة لإنشاء الأدلة والتحقق منها على السلسلة
استكشاف البراهين ZK الشعبية
التحقق من حالة إنشاء الشهادة على لوحة القيادة
دعم روستكس، غنارك، سيركوم، بلونكي2
*مصدر: *
** شبكة إثبات أو سوق إثبات **
يوفر سوق الشهادات للمشترين والبائعين للشهادات مرونة أكبر في التسعير. وهي تدعو جميع موفري الأجهزة للمشاركة، مما يساعد على تقليل التكاليف بالنسبة للمشترين. ولكن تجدر الإشارة إلى أن المدخرات يمكن أن تختلف بين الأفراد والشركات. في كثير من الأحيان، قد تقدم الخدمات المركزية مثل Proof Network خدمات مجانية للأفراد بينما تفرض رسومًا عالية على الشركات ولكنها توفر إمكانية الوصول إلى دعم عملاء VIP. على سبيل المثال، إذا كانت إحدى المؤسسات تخطط لإطلاق حدث أو ميزة جديدة، فيمكن للمؤسسة حجز بعض طاقة الحوسبة على شبكة الإثبات مقدمًا. قد يقدم السوق اللامركزي أسعارًا أكثر توازناً وتنافسية.
في السوق اليوم، يبدو أن المنتجات المستندة إلى الشبكة توفر للمطورين تجربة أكثر سلاسة. إنه يتعامل مع جميع أعمال إنشاء الإثبات ويدعم أنظمة الإثبات الرئيسية دون تقديم أي مفاهيم معقدة جديدة. يوفر تجربة مستخدم متسقة. من الناحية النظرية، فإنه يوفر إنشاء إثبات سريع نظرًا لأن مطابقة الطلب في سوق الإثبات تستغرق وقتًا أيضًا. إذا كنت معتادًا على الحوسبة السحابية، فقد اتضح أن الشبكة أشبه بوظيفة سحابية عديمة الحالة.
لدينا مؤسسة =nil وGevulot تعملان في سوق الإثبات. Succint وRisc0 موجودان على شبكة الإثبات. كما قدمت شركات الأجهزة مثل Ulvetanna وCystic مساهمات كبيرة في تحسين أداء مقاومة ZK على وحدات معالجة الرسومات وتطوير الجيل التالي من شرائح ZK المخصصة.
أثبت السوق أنه من السهل نسبيًا إطلاقه. بالنسبة لمشروع البنية التحتية ZK، يمكن لتصميم السوق المثبت أن يجلب المزيد من موفري الأجهزة عبر الإنترنت. وبفضل تصميمها اللامركزي، يمكنهم بسهولة توسيع نطاق الشبكة لتلبية احتياجات الحوسبة المستقبلية.
في المستقبل، نتوقع مزيجًا من تصميمات شبكة الإثبات وسوق الإثبات. الهدف هو توفير تجربة سلسة للمطورين مع دمج سوق إثبات كواجهة خلفية لتسهيل إضافة موارد حوسبة إضافية. وهذا هو الاتجاه الذي تخطط شركة Succint لمتابعته في المستقبل القريب. ونحن نشهد تحولات مماثلة في أسواق أخرى، مثل إنفورا. لدى Infura خوادمها الخاصة، لكنها تخطط أيضًا لجلب أطراف مرخصة لتوفير البنية التحتية.
المصدر: مشاريع IOSG
من يحتاج حقًا إلى البنية التحتية السحابية لـ ZK
**نحن نؤمن بأن المطورين الذين يرغبون في تقليل الوقت اللازم للتسويق وبناء تطبيقات خفيفة الوزن ومرنة يمكن توسيعها أو تحديثها بسرعة سيستفيدون بشكل كبير من البنى التحتية السحابية ZK هذه. **
بالنسبة للتطبيقات ذات الاختلافات الكبيرة بين ذروة الاستخدام وأدنى حد له، ستعمل البنية التحتية السحابية ZK على تقليل التكاليف.
بالنسبة لهذا النوع من التطبيقات، قد يكون شراء أسطول من الخوادم التي تعمل دائمًا ومضمونة توفرها في أوقات الذروة أمرًا مكلفًا. عندما يكون الاستخدام في أدنى مستوياته، فإنه سوف يسبب الكثير من النفايات. يمكن توسيع البنية التحتية السحابية في أي وقت لتحسين الأداء. يمكن تحرير أداء الحوسبة الزائد هذا تلقائيًا خارج أوقات الذروة.
من سيكون القائد؟
من خلال فهمنا لصناعة السحابة Web2، وجدنا أن تلك الشركات التي لديها أكبر احتياجات الحوسبة تميل إلى أن يكون لديها أعمال رائدة في مجال البنية التحتية السحابية. يمكنهم الاستفادة من قابلية التوسع والتكلفة والفرق والمنتجات المبتكرة.
الأمر نفسه ينطبق على البنية التحتية السحابية ZK. ** نحن نؤمن بأن تلك المشاريع التي هي في أمس الحاجة إلى التحقق من البناء لديها القدرة على أن يكون لديها واحدة من أنجح أعمال ZK Cloud Infrastructure. **
بالنسبة للمشاريع التي تولد كميات كبيرة من إثباتات ZK داخليًا، فهي تتمتع بالفعل ببنية تحتية واسعة النطاق ومحسنات وفرق مخصصة. يمكنهم أيضًا زيادة استخدام الأجهزة إلى أقصى حد من خلال مشاركة موارد الإثبات عبر التطبيقات؛ عندما لا يحتاج التطبيق إلى إنشاء البراهين على الفور، يمكن إعادة استخدام البراهين لأغراض أخرى.
جميع هذه المشاريع الكبيرة لديها أنظمة إثبات خاصة بها إلى حد ما. غالبًا ما تواجه البنية التحتية لإثبات الطرف الثالث صعوبة في تحسين أنظمة الإثبات المتنوعة التي تستخدمها المشاريع الكبيرة المختلفة. من خلال توفير أدوات إثبات سحابية سريعة وسهلة الاستخدام، يمكن للمشاريع الكبيرة توسيع نظامها البيئي لأنظمة الإثبات بشكل فعال.
بالنسبة إلى ZKRU، يمكن للبنية التحتية السحابية ZK زيادة استخدام Fork الخاص بها. ليس من الصعب إنشاء طبقة 2 أو طبقة 3 جديدة على وحدات ZKRU، ولكن الحفاظ على البنية التحتية ZK سيكون مكلفًا. يمكن أن يساعد توفير أدوات تصديق سحابية مبتكرة ومرنة في جذب المزيد من المطورين. حاليًا، يستخدم معظم المطورين عادةً OPRU SDK لإنشاء طبقة 2 أو طبقة 3 جديدة نظرًا لسهولة إدارة البنية التحتية المقابلة.
وبدون بناء البنية التحتية ZK الخاصة بها، ستحتاج مشاريع ZK الضخمة هذه إلى دفع رسوم عالية لمقدمي خدمات الحوسبة الخارجيين. كما أنها محدودة في سرعة التطوير لأنها لا تستطيع دائمًا تخصيص البنية التحتية الخاصة بها لزيادة تحسين الأداء وتقليل تكاليف الإثبات.
من الذي يحتاج بشدة إلى إثباتات المعرفة الصفرية؟
**بالإضافة إلى شبكات ZKRU وشبكات الطبقة الأولى، فقد شهدنا مؤخرًا المزيد من تطبيقات إثبات المعرفة الصفرية الناشئة. لديهم جميعا حاجة كبيرة لتوليد الإثبات. **
تتيح المعالجات المساعدة للمعرفة الصفرية لمطوري العقود الذكية الوصول إلى حالات blockchain السابقة دون ثقة. يقوم المعالج المساعد ذو المعرفة الصفرية بإنشاء أدلة على المعرفة الصفرية لحالات blockchain السابقة. قد يكون هذا بديلاً أكثر أمانًا وأقل ثقة للرسوم البيانية.
تساعد مصادقة المعرفة الصفرية المستخدمين على جلب البيانات خارج السلسلة أو معلومات الهوية إلى blockchain. بعد أن يتحقق الموثق من هذه البيانات خارج السلسلة، يتم إنشاء دليل المعرفة الصفرية لها ووضعها على blockchain.
التعلم الآلي بدون معرفة المعرفة يجعل التفكير على السلسلة ممكنًا. يقوم موفر الحساب بإجراء حساب ML خارج السلسلة، وينشئ إثباتًا للمعرفة الصفرية له، ثم ينشر الدليل على blockchain.
يعد جسر المعرفة الصفرية نسخة أكثر أمانًا من الجسر عبر السلسلة. يقوم بإنشاء دليل على التخزين أو حتى دليل على الإجماع لسلسلة المصدر ويضعه في السلسلة المستهدفة. قد يحل هذا محل الجسر المتقاطع الحالي.
ما الذي يميز شبكات الإثبات اللامركزية؟
في صناعة blockchain، تعد اللامركزية هي السرد الأكثر شيوعًا. تحقق اللامركزية فوائد عديدة:
أمان
مقاومة الرقابة
خصوصية
تختلف براهين المعرفة الصفرية عن الحسابات العامة الأخرى. ZK آمن بطبيعته. يمكن لأي شخص التحقق بسهولة وسرعة من الدليل، مما يضمن صدق المُبرِج. في مجال ZK، اللامركزية ليست شرطًا أساسيًا للأمن.
تركز إثباتات المعرفة الصفرية على التفاصيل المعقدة ذات المستوى المنخفض، والتي يتم تنظيمها في دوائر. في حين أن المحتوى الموجود داخل هذه الدوائر يصعب للغاية فرض رقابة عليه، إلا أنه لا يزال من الممكن تنفيذ الرقابة بشكل فعال من خلال توليد مقدمي الطلبات ضد أدلة ZK.
يمكن أن تشكل الخصوصية مشكلة بالنسبة لشبكات الإثبات لأن المستخدمين يرسلون مدخلات خاصة إلى شبكة الإثبات. سيكون الحل المثالي هو إنشاء الدليل محليًا لمنع أي تسرب للبيانات. وهذا سوف يشكل تحديا للأداء المحلي. قد تكون الحلول الأخرى عبارة عن بروتوكول حساب متعدد الأطراف جديد بدون معرفة أو إنشاء براهين في بيئة تنفيذ موثوقة. لا يمكن لشبكة إثبات لامركزية أن توفر المزيد من الخصوصية.
وبغض النظر عن السرد، ربما تكون مقاومة الرقابة هي السبب الرئيسي لبناء شبكة إثبات لامركزية. لا تزال تكنولوجيا إثبات المعرفة الصفرية في مهدها، ولم نلاحظ حتى الآن أي شكل من أشكال الرقابة في هذا المجال. ومع ذلك، فإن التحدي الرئيسي الذي يعيق تطوير أدلة المعرفة الصفرية هو الأداء. قد يؤدي إدخال شبكة إثبات لامركزية إلى زيادة المتطلبات الحسابية لإنشاء البراهين.
ختاماً
يتطور تطبيق إثبات المعرفة الصفرية بسرعة وله مجموعة واسعة من التطبيقات. نتوقع أن يتم دمج أدلة المعرفة الصفرية في مجموعات تكنولوجية مختلفة. لقد رأينا بالفعل ZK Layer1، وشبكة ZK ثنائية الطبقة، وZKML، وZKVM، وZK-Email. يقوم المطورون أيضًا ببناء أوراكل ZK ومصادر بيانات ZK وقواعد بيانات ZK. نحن على الطريق نحو "ZKifying كل شيء". إن الحمل الحسابي الذي قدمته ZK يجبر المطورين على نشر دوائرهم على خوادم متطورة. ونتيجة لذلك، نتوقع زيادة الطلب على البنية التحتية السحابية المقاومة لـ ZK لمساعدة المطورين على الهروب من تعقيدات تشغيل هذه البنى التحتية.
وفي هذا المجال، تشمل رؤيتنا ما يلي:
Proof Markets وProof Networks هما طريقتان رئيسيتان يمكن أن تساعدا مطوري ZK dApp على الابتعاد عن تعقيد البنية التحتية.
نتوقع أن يكون هناك نهج مختلط يجمع بين شبكة الإثبات وآليات سوق الإثبات.
ليس كل مطوري ZK dApp مناسبين لاستخدام البنية التحتية السحابية لـ ZK. المشاريع متوسطة الحجم التي تتمتع بحركة مرور مستقرة يمكنها استضافة خوادم ذاتية لتقليل التكاليف.
سيكون رواد البنية التحتية السحابية ZK هم تلك المشاريع التي تحتاج إلى إنشاء كميات كبيرة من إثباتات ZK، مثل ZKRU الرائدة. لديهم حافز مالي للقيام بهذا العمل.
اللامركزية هي السرد السائد في مجال العملات المشفرة لأن اللامركزية توفر خصائص مثل الخصوصية ومقاومة الرقابة والأمان. تبين أن ZK لديه بالفعل بعض هذه الميزات. حاليًا، نقطة البيع لسوق الإثبات اللامركزي هي مقاومة الرقابة. **
ترتبط شعبية البنية التحتية لإثبات Cloud ZK ارتباطًا وثيقًا بعدد ZK dApps الموجودة حاليًا في السوق. في حين أن بعض المشاريع تسلط الضوء في البداية على بنيتها التحتية السحابية المقاومة لـ ZK كميزة رئيسية، فإن الكثير منها سوف يركز في النهاية على التركيز على روايات جديدة أخرى.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
ساحة المعركة التالية للاستراتيجيين العسكريين: إنشاء سوق إثبات ZK
** بقلم: ييبينغ، IOSG Ventures**
ليرة تركية، د؛
مقدمة
** الطلب المتزايد على ZK **
وبعد سنوات من البحث في مجال zk والتحسينات الهائلة في الأداء، تم أخيرًا استخدام zk في التطبيقات العملية. يطبق المهندسون الموهوبون ZK على:
هناك العديد من المشاريع المثيرة للاهتمام التي تعتمد على zk، مثل Starkware وzkSync وScroll وMina وRisc0 و=nil;Foundation وEZKL وGeza وPolygon وManta. تولد هذه المشاريع براهين zk بشكل ثابت ومستمر كل يوم. حالة استخدام zk الأكثر شيوعًا حاليًا هي zkRU والتي تُستخدم لحل مشكلات قابلية التوسع في Ethereum. خلال الشهر الماضي، تم إنفاق ملايين الدولارات على Ethereum/Ethereum L2s.
المصدر: زيادة قوية في تكلفة التحقق من ZK مقارنة بالعام الماضي.
يوضح هذا الرسم البياني الذي أنتجه فريق Near استهلاك الغاز لـ zkSN(T)ARK على Ethereum وL2s. ويشمل مشاريع ZK الشهيرة مثل zkSync وPolygon وAztec وTornado Cash وLoopring وWorldcoin وTailgun وSismo وStarkNet وImmutableX وdydx.
بالمقارنة مع zkStark، يمثل zkSnark 80% من إجمالي تكلفة التحقق. من بين كل هذه المشاريع، تمتلك Worldcoin أعلى تكلفة تحقق، تليها zkSync. تبلغ تكلفة التحقق حوالي 2 دولارًا أمريكيًا لكل عملة عالمية. تبلغ تكلفة المصادقة حوالي 30 دولارًا لكل zkSync.
إظهار عبء البنية التحتية
ZK يحل مشكلة قابلية التوسع، ولكن بتكلفة. يتطلب الكثير من القوة الحاسوبية. يجلب ZK الكثير من النفقات الحسابية، ويحتاج فريق التراكمي إلى التعامل مع هذه المشكلة. يقدر @_weidai أن استخدام تقنية ZK الحالية سيكون له حمل حسابي يتراوح من 10^4 إلى 10^6. من الناحية النظرية، يمكننا تحقيق 10 أضعاف الحمل الحسابي باستخدام دوائر مخصصة. إذا تمت إضافة طبقة التجريد للجهاز الظاهري، فسيكون هناك 100 ضعف عبء الحوسبة.
يوضح الرسم البياني أدناه رسمًا بيانيًا لقوة الحوسبة استنادًا إلى النمو السنوي وفقًا لقانون كوموي. وبعد عام 2000، زادت كفاءة الرقائق بمقدار 10 مرات كل عشر سنوات. وإذا قارنا قوة الحوسبة بعام 2000، فإنها ستصل إلى 784 مرة في عام 2025. يوضح هذا أيضًا أن حساب ZK الحالي لا يزال ليس بنفس الترتيب الذي كان عليه في عام 2000.
مصدر:
يرجى التفكير في هذا بعناية. نحن نحاول زيادة حجم المعاملات بمقدار 10 إلى 100 مرة إلى ZKRU. ومع زيادة حجم المعاملات، سنواجه أيضًا أعباء حسابية تتراوح من 10^4 إلى 10^6. تضع هذه الأرقام ضغطًا هائلاً على فريق البنية التحتية لـ ZKRU. تستخدم فرق ZKRU الرائدة أجهزة متطورة ذات ذاكرة لا تقل عن 200 جيجابايت ولديها موظفو عمليات موهوبون للتعامل مع تعقيدات البنية التحتية هذه.
فماذا يعني بالنسبة لفريق صغير إذا أرادوا إطلاق ZKRU أو بناء حل من الطبقة الثالثة باستخدام حزمة تكنولوجيا ZK؟ إذا أراد مطور مستقل إنشاء ZK Dapps، فكيف يمكنه شراء هذه الخوادم المتطورة وتشغيلها بشكل صحيح؟
الآن، بدء تشغيل ZKRU ليس بالأمر الصعب. يمكنك استخدام ZK Stack واتباع الإرشادات الموجودة في الوثائق لنشر ZKRU جديد. الجزء الأصعب هو تشغيل البنية التحتية المتطورة. تعد إدارة أسطول من الخوادم أصعب بكثير من الصيانة اليومية لأجهزة الكمبيوتر المحمولة الشخصية لدينا.
بالإضافة إلى ذلك، لا يعد تسريع الأجهزة بمثابة التوصيل والتشغيل، حيث سيحتاج كل فريق إلى تكوين خوادمه بشكل مختلف اعتمادًا على نظام إثبات المعرفة الصفرية الذي يستخدمه.
يعد ضمان التوفر العالي أيضًا موضوعًا صعبًا. ماذا لو بدأ عدد كبير من المستخدمين في سك الأرقام الترتيبية على جهاز ZKRU الخاص بك وواجهت فجأة إنتاجية تبلغ 1000x؟ حتى فريق ذو خبرة مثل Arbitrum كان معطلاً لعدة ساعات بسبب الارتفاع الكبير في معاملات Ordinals.
يتطلب إنشاء أعداد كبيرة من إثباتات المعرفة الصفرية دعمًا متطورًا للخادم. بالنسبة للفرق الصغيرة والمتوسطة الحجم، قد يكون إعداد وصيانة أسطول من الخوادم المتطورة عبئًا ثقيلًا. لمساعدة المجموعات بشكل أفضل على اعتماد تقنيات المعرفة الصفرية ببساطة وبسرعة، يحاول المشروع الناشئ مساعدة هذه المجموعات على التعامل مع جميع تعقيدات البنية التحتية للحوسبة.
##اثبات السوق
المصدر: مشاريع IOSG
أسواق الإثبات وشبكات الإثبات هما النهجان الرئيسيان. إثبات أن السوق يشبه السوق المفتوحة. لإنشاء دليل، يحتاج المستخدم إلى العثور على طرف مقابل يرغب في بيع الدليل بسعر معين. تعمل شبكة الإثبات مثل الخدمة السحابية التقليدية، حيث يرسل المطورون دوائرهم ومدخلاتهم، ويقوم موازن التحميل المركزي بتخصيص الخوادم الداخلية داخل شبكة الإثبات لإنشاء البراهين للمستخدمين.
تعد أسواق الإثبات أسلوبًا شائعًا في البنية التحتية لإثبات ZK. سوق الإثبات هو سوق مفتوح حيث يتاجر البائعون والمشترون بـ ZK Proofs. لا يحتاج فريق سوق ZK Proof إلى الاهتمام بأجهزة ZK Proof أو امتلاك خوادم متطورة، بل يركزون على معاملات ZK Proof وآليات التحقق لجذب بائعي الأجهزة الخارجيين.
إثبات أن السوق هو نهج أكثر انفتاحا. ويرحب ببائعي الأجهزة الطرف الثالث. وطالما يوجد بائع لديه مثل هذه الشهادة، يمكن للمشتري شراء شهادة ZK بسعر الدولار الأمريكي. عند التحقق من الأدلة، لا يحتاج كل شخص في السوق إلى التوصل إلى توافق في الآراء، فقط مشغلو السوق يتحملون مسؤولية التحقق. في سوق الإثبات، يقدم مطورو zkDapp أمر إثبات ZK، بما في ذلك السعر ووقت الإنشاء والمهلة والإدخال العام. سيقوم بائع الأجهزة التابع لجهة خارجية بعد ذلك بقبول الطلب وإنشاء دليل.
إثبات أن الهيكل الاقتصادي للأسواق بسيط. تحتاج مولدات الإثبات إلى المشاركة. إذا قاموا بإنشاء شهادة خاطئة أو فشلوا في تقديمها بحلول الموعد النهائي، فقد يتم تغريمهم. سيتمكن مولدو الإثبات الذين لديهم حصة أكبر من إنشاء براهين متعددة في وقت واحد.
اللاعبون الرئيسيون في صناعة سوق الشهادات هم =nil وMarlin.
= مؤسسة لا شيء
إثبات وجود بائعين ومشترين في السوق. المشتري هو مطور dApp. يدفعون للبائع رسومًا لإنشاء الشهادة. هناك العديد من العوامل التي تؤثر على سعر الشهادة. تشمل العوامل الرئيسية حجم الدائرة ونظام الإثبات ووقت التوليد وحجم الإدخال.
فيما يلي سير العمل لسوق = لا شيء:
يوفر تصميم السوق تجربة تشبه التداول. إثبات أن السعر الناتج سوف يتغير في الوقت الحقيقي.
فيما يلي لقطة شاشة للمنتج الخاص بسوق =nilproof.
مصدر:
حاليًا، تدعم Proof Market عددًا محدودًا من المطالبات، حيث أثبتت مطالبة Mina أنها الأكثر نشاطًا. على وجه التحديد، يقبل Proof Market الدوائر المعتمدة على مترجم zkLLVM ونظام إثبات العنصر النائب.
جيفولوت
تلتزم Gevulot بتحقيق اللامركزية في سوق إثبات الإثبات. تعمل Gevulot كطبقة أولى مفتوحة وقابلة للبرمجة مصممة لإثبات وجود السوق. تتعامل الطبقة الأولى من blockchain مع التوزيع والتحقق وتوزيع المكافآت لطلبات الإثبات. تستفيد شبكة Prover من الوحدات الأحادية خفيفة الوزن لتحقيق الأداء العالي. يستخدم Gevulot وظائف عشوائية يمكن التحقق منها (VRFs) لتوزيع أعمال الإثبات على مجموعة صغيرة من المُثبتين، مما يضمن موثوقية النظام.
*مصدر: *
يمكن للمستخدمين نشر البرامج بسلاسة مع رسوم يمكن التنبؤ بها، ويمكن للمستخدمين تحديد الحد الأقصى للرسوم بناءً على عدد الدورات التي يستغرقها البرنامج للتنفيذ.
تتم مكافأة المُثبتين من خلال شبكة Gevulot ورسوم المستخدم، مما يحفزهم على إنتاج أدلة فعالة وتنافسية. سيحصل أسرع مُثبِّت على أكبر عدد من مكافآت الشبكة. سيتم تقاسم رسوم المستخدم بالتساوي مع جميع العقد التي تكمل الإثبات.
يدعم Gevulot لغات برمجة متعددة لنشر البرامج، بما في ذلك C وC++ وGo وJava وNode.js وPython وRust وRuby وPHP وما إلى ذلك، لأن VM Nanos الأساسي لـ Gevulot يدعم ثنائيات Linux ELF x86_64.
Gevulot عبارة عن منصة حوسبة عامة تدعم لغات وأنظمة إثبات مختلفة. يعتمد Gevulot على نواة Nanos الفردية لضمان إمكانية تشغيل المُثبت بسهولة على أجهزة مختلفة. يجب تجميع كافة الأدلة في صورة واحدة أحادية النواة.
** شبكة إثبات **
توفر شبكة Proof أسلوبًا أكثر سهولة في الاستخدام لتجربة المطور. إنه يعمل بشكل مشابه لموفر الخدمة السحابية لـ Web2. يرسل المطورون بيانات الحمولة من خلال REST API، ثم تقوم شبكة الإثبات بإرجاع الدليل إلى المطور. لا يحتاج المطورون إلى الاهتمام بتقلبات الأسعار والطرف الذي سيقوم بإنشاء الأدلة.
تدفئة0
أطلقت Risc Zero Bonsai باستخدام zkVM. بفضل قوة zkVM، يمكن للمستخدمين السماح لـ Bonsai بإنشاء إعلانات متنوعة. على سبيل المثال، استنادًا إلى Bonsai وRisc0 VM، تقوم Zeth بإنشاء أدلة على كتل Ethereum.
مصدر:
الإيجاز
في الآونة الأخيرة، أطلقت شركة Succinct أيضًا منتجها الجديد. بدلاً من توفير دائرة REST API، توفر Succinct نهجًا أكثر تشابهًا مع الوظائف السحابية.
هنا هو سير عمل المستخدم:
*مصدر: *
بالمقارنة مع BONSAI، تتمتع Succinct بالمزايا التالية في تجربة المطور:
*مصدر: *
** شبكة إثبات أو سوق إثبات **
يوفر سوق الشهادات للمشترين والبائعين للشهادات مرونة أكبر في التسعير. وهي تدعو جميع موفري الأجهزة للمشاركة، مما يساعد على تقليل التكاليف بالنسبة للمشترين. ولكن تجدر الإشارة إلى أن المدخرات يمكن أن تختلف بين الأفراد والشركات. في كثير من الأحيان، قد تقدم الخدمات المركزية مثل Proof Network خدمات مجانية للأفراد بينما تفرض رسومًا عالية على الشركات ولكنها توفر إمكانية الوصول إلى دعم عملاء VIP. على سبيل المثال، إذا كانت إحدى المؤسسات تخطط لإطلاق حدث أو ميزة جديدة، فيمكن للمؤسسة حجز بعض طاقة الحوسبة على شبكة الإثبات مقدمًا. قد يقدم السوق اللامركزي أسعارًا أكثر توازناً وتنافسية.
في السوق اليوم، يبدو أن المنتجات المستندة إلى الشبكة توفر للمطورين تجربة أكثر سلاسة. إنه يتعامل مع جميع أعمال إنشاء الإثبات ويدعم أنظمة الإثبات الرئيسية دون تقديم أي مفاهيم معقدة جديدة. يوفر تجربة مستخدم متسقة. من الناحية النظرية، فإنه يوفر إنشاء إثبات سريع نظرًا لأن مطابقة الطلب في سوق الإثبات تستغرق وقتًا أيضًا. إذا كنت معتادًا على الحوسبة السحابية، فقد اتضح أن الشبكة أشبه بوظيفة سحابية عديمة الحالة.
لدينا مؤسسة =nil وGevulot تعملان في سوق الإثبات. Succint وRisc0 موجودان على شبكة الإثبات. كما قدمت شركات الأجهزة مثل Ulvetanna وCystic مساهمات كبيرة في تحسين أداء مقاومة ZK على وحدات معالجة الرسومات وتطوير الجيل التالي من شرائح ZK المخصصة.
أثبت السوق أنه من السهل نسبيًا إطلاقه. بالنسبة لمشروع البنية التحتية ZK، يمكن لتصميم السوق المثبت أن يجلب المزيد من موفري الأجهزة عبر الإنترنت. وبفضل تصميمها اللامركزي، يمكنهم بسهولة توسيع نطاق الشبكة لتلبية احتياجات الحوسبة المستقبلية.
في المستقبل، نتوقع مزيجًا من تصميمات شبكة الإثبات وسوق الإثبات. الهدف هو توفير تجربة سلسة للمطورين مع دمج سوق إثبات كواجهة خلفية لتسهيل إضافة موارد حوسبة إضافية. وهذا هو الاتجاه الذي تخطط شركة Succint لمتابعته في المستقبل القريب. ونحن نشهد تحولات مماثلة في أسواق أخرى، مثل إنفورا. لدى Infura خوادمها الخاصة، لكنها تخطط أيضًا لجلب أطراف مرخصة لتوفير البنية التحتية.
المصدر: مشاريع IOSG
من يحتاج حقًا إلى البنية التحتية السحابية لـ ZK
**نحن نؤمن بأن المطورين الذين يرغبون في تقليل الوقت اللازم للتسويق وبناء تطبيقات خفيفة الوزن ومرنة يمكن توسيعها أو تحديثها بسرعة سيستفيدون بشكل كبير من البنى التحتية السحابية ZK هذه. **
بالنسبة للتطبيقات ذات الاختلافات الكبيرة بين ذروة الاستخدام وأدنى حد له، ستعمل البنية التحتية السحابية ZK على تقليل التكاليف.
بالنسبة لهذا النوع من التطبيقات، قد يكون شراء أسطول من الخوادم التي تعمل دائمًا ومضمونة توفرها في أوقات الذروة أمرًا مكلفًا. عندما يكون الاستخدام في أدنى مستوياته، فإنه سوف يسبب الكثير من النفايات. يمكن توسيع البنية التحتية السحابية في أي وقت لتحسين الأداء. يمكن تحرير أداء الحوسبة الزائد هذا تلقائيًا خارج أوقات الذروة.
من سيكون القائد؟
من خلال فهمنا لصناعة السحابة Web2، وجدنا أن تلك الشركات التي لديها أكبر احتياجات الحوسبة تميل إلى أن يكون لديها أعمال رائدة في مجال البنية التحتية السحابية. يمكنهم الاستفادة من قابلية التوسع والتكلفة والفرق والمنتجات المبتكرة.
الأمر نفسه ينطبق على البنية التحتية السحابية ZK. ** نحن نؤمن بأن تلك المشاريع التي هي في أمس الحاجة إلى التحقق من البناء لديها القدرة على أن يكون لديها واحدة من أنجح أعمال ZK Cloud Infrastructure. **
بالنسبة للمشاريع التي تولد كميات كبيرة من إثباتات ZK داخليًا، فهي تتمتع بالفعل ببنية تحتية واسعة النطاق ومحسنات وفرق مخصصة. يمكنهم أيضًا زيادة استخدام الأجهزة إلى أقصى حد من خلال مشاركة موارد الإثبات عبر التطبيقات؛ عندما لا يحتاج التطبيق إلى إنشاء البراهين على الفور، يمكن إعادة استخدام البراهين لأغراض أخرى.
جميع هذه المشاريع الكبيرة لديها أنظمة إثبات خاصة بها إلى حد ما. غالبًا ما تواجه البنية التحتية لإثبات الطرف الثالث صعوبة في تحسين أنظمة الإثبات المتنوعة التي تستخدمها المشاريع الكبيرة المختلفة. من خلال توفير أدوات إثبات سحابية سريعة وسهلة الاستخدام، يمكن للمشاريع الكبيرة توسيع نظامها البيئي لأنظمة الإثبات بشكل فعال.
بالنسبة إلى ZKRU، يمكن للبنية التحتية السحابية ZK زيادة استخدام Fork الخاص بها. ليس من الصعب إنشاء طبقة 2 أو طبقة 3 جديدة على وحدات ZKRU، ولكن الحفاظ على البنية التحتية ZK سيكون مكلفًا. يمكن أن يساعد توفير أدوات تصديق سحابية مبتكرة ومرنة في جذب المزيد من المطورين. حاليًا، يستخدم معظم المطورين عادةً OPRU SDK لإنشاء طبقة 2 أو طبقة 3 جديدة نظرًا لسهولة إدارة البنية التحتية المقابلة.
وبدون بناء البنية التحتية ZK الخاصة بها، ستحتاج مشاريع ZK الضخمة هذه إلى دفع رسوم عالية لمقدمي خدمات الحوسبة الخارجيين. كما أنها محدودة في سرعة التطوير لأنها لا تستطيع دائمًا تخصيص البنية التحتية الخاصة بها لزيادة تحسين الأداء وتقليل تكاليف الإثبات.
من الذي يحتاج بشدة إلى إثباتات المعرفة الصفرية؟
**بالإضافة إلى شبكات ZKRU وشبكات الطبقة الأولى، فقد شهدنا مؤخرًا المزيد من تطبيقات إثبات المعرفة الصفرية الناشئة. لديهم جميعا حاجة كبيرة لتوليد الإثبات. **
تتيح المعالجات المساعدة للمعرفة الصفرية لمطوري العقود الذكية الوصول إلى حالات blockchain السابقة دون ثقة. يقوم المعالج المساعد ذو المعرفة الصفرية بإنشاء أدلة على المعرفة الصفرية لحالات blockchain السابقة. قد يكون هذا بديلاً أكثر أمانًا وأقل ثقة للرسوم البيانية.
تساعد مصادقة المعرفة الصفرية المستخدمين على جلب البيانات خارج السلسلة أو معلومات الهوية إلى blockchain. بعد أن يتحقق الموثق من هذه البيانات خارج السلسلة، يتم إنشاء دليل المعرفة الصفرية لها ووضعها على blockchain.
التعلم الآلي بدون معرفة المعرفة يجعل التفكير على السلسلة ممكنًا. يقوم موفر الحساب بإجراء حساب ML خارج السلسلة، وينشئ إثباتًا للمعرفة الصفرية له، ثم ينشر الدليل على blockchain.
يعد جسر المعرفة الصفرية نسخة أكثر أمانًا من الجسر عبر السلسلة. يقوم بإنشاء دليل على التخزين أو حتى دليل على الإجماع لسلسلة المصدر ويضعه في السلسلة المستهدفة. قد يحل هذا محل الجسر المتقاطع الحالي.
ما الذي يميز شبكات الإثبات اللامركزية؟
في صناعة blockchain، تعد اللامركزية هي السرد الأكثر شيوعًا. تحقق اللامركزية فوائد عديدة:
تختلف براهين المعرفة الصفرية عن الحسابات العامة الأخرى. ZK آمن بطبيعته. يمكن لأي شخص التحقق بسهولة وسرعة من الدليل، مما يضمن صدق المُبرِج. في مجال ZK، اللامركزية ليست شرطًا أساسيًا للأمن.
تركز إثباتات المعرفة الصفرية على التفاصيل المعقدة ذات المستوى المنخفض، والتي يتم تنظيمها في دوائر. في حين أن المحتوى الموجود داخل هذه الدوائر يصعب للغاية فرض رقابة عليه، إلا أنه لا يزال من الممكن تنفيذ الرقابة بشكل فعال من خلال توليد مقدمي الطلبات ضد أدلة ZK.
يمكن أن تشكل الخصوصية مشكلة بالنسبة لشبكات الإثبات لأن المستخدمين يرسلون مدخلات خاصة إلى شبكة الإثبات. سيكون الحل المثالي هو إنشاء الدليل محليًا لمنع أي تسرب للبيانات. وهذا سوف يشكل تحديا للأداء المحلي. قد تكون الحلول الأخرى عبارة عن بروتوكول حساب متعدد الأطراف جديد بدون معرفة أو إنشاء براهين في بيئة تنفيذ موثوقة. لا يمكن لشبكة إثبات لامركزية أن توفر المزيد من الخصوصية.
وبغض النظر عن السرد، ربما تكون مقاومة الرقابة هي السبب الرئيسي لبناء شبكة إثبات لامركزية. لا تزال تكنولوجيا إثبات المعرفة الصفرية في مهدها، ولم نلاحظ حتى الآن أي شكل من أشكال الرقابة في هذا المجال. ومع ذلك، فإن التحدي الرئيسي الذي يعيق تطوير أدلة المعرفة الصفرية هو الأداء. قد يؤدي إدخال شبكة إثبات لامركزية إلى زيادة المتطلبات الحسابية لإنشاء البراهين.
ختاماً
يتطور تطبيق إثبات المعرفة الصفرية بسرعة وله مجموعة واسعة من التطبيقات. نتوقع أن يتم دمج أدلة المعرفة الصفرية في مجموعات تكنولوجية مختلفة. لقد رأينا بالفعل ZK Layer1، وشبكة ZK ثنائية الطبقة، وZKML، وZKVM، وZK-Email. يقوم المطورون أيضًا ببناء أوراكل ZK ومصادر بيانات ZK وقواعد بيانات ZK. نحن على الطريق نحو "ZKifying كل شيء". إن الحمل الحسابي الذي قدمته ZK يجبر المطورين على نشر دوائرهم على خوادم متطورة. ونتيجة لذلك، نتوقع زيادة الطلب على البنية التحتية السحابية المقاومة لـ ZK لمساعدة المطورين على الهروب من تعقيدات تشغيل هذه البنى التحتية.
وفي هذا المجال، تشمل رؤيتنا ما يلي: