يتسابق اثنان من أكثر مشاريع ZK طموحا ، Succinct و Boundless ، لتقديم حوسبة يمكن التحقق منها إلى كل ركن من أركان مساحة onchain.
كلاهما يستخدم zkVMs ، لكنهما ليسا متماثلين.
فيما يلي تفصيل لكيفية اختلافها 🧠🧵
2 / على مستوى عال:
- تقوم @SuccinctLabs ببناء zkVM (SP1) وتدير شبكة لامركزية حيث يمكن لأي شخص طلب دليل على العمل خارج السلسلة.
- يقوم @boundless_xyz (من RISC Zero) بإنشاء طبقة بروتوكول ZK تحول أي حساب خارج السلسلة إلى إيصال يمكن التحقق منه.
كلاهما يريد استبدال الثقة بحقيقة التشفير.
3 / لنبدأ بمحركاتهم المثبتة
- يقوم SP1 من Succinct بتشغيل برامج Rust وينتج ZKPs باستخدام SNARKs المتكررة. إنه سريع ومعياري ومحسن لأحمال العمل الشبيهة بالقيمة المحتسبة.
- يستخدم Boundless zkVM الخاص ب RISC Zero للتعامل مع الحسابات الضخمة والإثبات القابل للتطوير.
4 / تحت غطاء المحرك:
يستخدم Succinct بائع مزاد خارج السلسلة. تقوم بإرسال وظيفة (مثل "إثبات هذا الحساب") ، وتجد الشبكة أرخص بروفر في الوقت الفعلي.
يقوض البروفرور بعضهم البعض للحصول على وظائف ، مما يخلق سوقا لإثبات العمل.
يبدو الأمر وكأنه واجهة برمجة تطبيقات Web2. سريع وفعال ، ولكن مؤمن بواسطة ZKP تم نشره لاحقا لإعطائك دليلا على التشفير على أن البرنامج يعمل بشكل صحيح.
5 / يطلق على المحرك الذي يقف وراءه اسم SP1 - وهو zkVM يمكنه تشغيل منطق معقد ، أو التحقق من التوقيعات ، أو محاكاة المجموعات ، أو العمل كعميل خفيف للسلاسل الأخرى.
تم تحسين SP1 للسرعة وإعادة الاستخدام والتحقق منخفض التكلفة على السلسلة. البراهين صغيرة ورخيصة للتحقق منها (حوالي 200 ألف غاز على Ethereum).
6 / SP1 zkVM مباشر. يمكن للمنشئين التحقق من البراهين على السلسلة وشحن التطبيقات على مستوى الإنتاج باستخدام SP1.
لكن شبكة Succinct Prover - الطبقة اللامركزية حيث يمكن لأي شخص تشغيل prover وكسب - لا تزال في المرحلة النهائية من testnet (المرحلة 2.5).
Mainnet لشبكة Prover تقترب.
7 / بلا حدود ، من ناحية أخرى ، يتحول إلى إثبات المنفعة العامة. يمكن لأي سلسلة أن تطلب منها إثبات شيء ما. يمكن لأي تطبيق الاستعانة بمصادر خارجية لمنطق معقد.
إنها ليست مجرد شبكة ، إنها طبقة كاملة للحوسبة التي يمكن التحقق منها.
يمكنك أن تتخيل Boundless كحوسبة سحابية مع إيصالات تشفير.
8/ مبني على RISC Zero ، يقوم Boundless أيضا بتشغيل كود Rust أو C ++ في zkVM.
لكنه يلفها ببروتوكول حيث يتم نشر الوظائف على السلسلة ، ثم المطالبة بها وحسابها خارج السلسلة من قبل البراءات.
9 / يقدم فكرة جديدة تسمى إثبات العمل القابل للتحقق (PoVW). يكافأ البروفرون بناء على مقدار الحساب الحقيقي الذي يقومون به.
إنه مثل التعدين ، ولكن بدلا من تجزئة الأرقام العشوائية ، فإنهم يثبتون عملا مفيدا ، ويقومون بتشغيل برامج فعلية.
لا حدود لها يسميها zk-mining.
10 / أول حالة استخدام مباشر ل Boundless هي The Signal on Mainnet Beta ، وهو عميل إجماع ZK يثبت نهائية Ethereum في دليل واحد يمكن التحقق منه.
يمكن قراءة هذا الدليل بواسطة أي سلسلة ، مما يمكن التطبيقات عبر السلاسل من قراءة حالة Ethereum بدون تعدد الإشارات أو أوراكل.
ستثبت الإشارة المزيد من السلاسل بعد ذلك مع توسع الشبكة.
11 / ما الفرق؟
موجز: مزاد سريع خارج السلسلة → يفوز أحد المحترفين بالوظيفة → يقدم دليلا على السلسلة. يمكنك الحصول على زمن انتقال منخفض ونتائج يمكن التحقق منها بسرعة.
بلا حدود: المهام المنشورة على السلسلة → أي بروفر يحسب خارج السلسلة → يقدم دليلا على السلسلة → إثبات مكافآت PoVW. منافسة مفتوحة وغير موثوقة تماما منذ البداية.
12 / من يستخدمها؟
- @Mantle_Official → تمت الترقية من Optimistic إلى zkRollup باستخدام spccinct's SP1 zkVM للحصول على نهائية سريعة ومعادلة EVM.
- منصات التجميع كخدمة (Conduit و AltLayer و Caldera و Alchemy و Gelato) → تقديم مجموعات ZK عبر OP-Succinct ، مما يسمح للمطورين بتشغيل L2s بنقرة واحدة ترقيات نهائية مدعومة بنقرة واحدة SP1.
- يستخدم @Agglayer → Polygon SP1 للمساعدة في تنفيذ طبقة توحيد zk عبر مجموعات Polygon ، مما يعزز قابلية التركيب المتقاطع.
- يتحقق @celestia (Blobstream DA Bridge) → SP1 من تضمين كتلة Celestia لجسر DA غير الموثوق به، مما يمكن المجموعات من الاستقرار على Ethereum باستخدام Celestia blobs.
13 / - يستخدم @eigenlayer → Boundless لحساب تحديثات القيمة المخزنة خارج السلسلة ، ونشر براهين ZK التي تقلل غاز L1 بنسبة ~ 99.9٪.
- @hibachi_xyz → بناء أول بورصة يمكن إثباتها. يتم تنفيذ مطابقة خارج السلسلة بتردد عال ؛ تم إثبات كل دفعة مع R0VM على Boundless.
- يستخدم @citrea_xyz (Bitcoin zkRollup) → Boundless لإثبات معاملات Bitcoin المجمعة ، مما يتيح مجموعات ZK المتوافقة مع EVM على Bitcoin.
- @build_on_bob → Boundless يشغل L2 الهجين من BOB ، مما يجلب العقود الذكية EVM والمجموعات المدعومة بالإثبات إلى Bitcoin.
14 / من يفوز بلعبة ZK؟
إنهم ليسوا منافسين مباشرين. في الواقع ، يمكن أن تكمل نهجها بعضها البعض.
ما هو واضح هو هذا: البنية التحتية ل ZK تسير معيارية. لم يعد الحوسبة السريعة والعالمية وغير الموثوقة خيالا علميا ، بل تحدث الآن.
19.38 ألف
9
المحتوى الوارد في هذه الصفحة مُقدَّم من أطراف ثالثة. وما لم يُذكَر خلاف ذلك، فإن OKX ليست مُؤلِّفة المقالة (المقالات) المذكورة ولا تُطالِب بأي حقوق نشر وتأليف للمواد. المحتوى مٌقدَّم لأغراض إعلامية ولا يُمثِّل آراء OKX، وليس الغرض منه أن يكون تأييدًا من أي نوع، ولا يجب اعتباره مشورة استثمارية أو التماسًا لشراء الأصول الرقمية أو بيعها. إلى الحد الذي يُستخدَم فيه الذكاء الاصطناعي التوليدي لتقديم مُلخصَّات أو معلومات أخرى، قد يكون هذا المحتوى الناتج عن الذكاء الاصطناعي غير دقيق أو غير مُتسِق. من فضلك اقرأ المقالة ذات الصِلة بهذا الشأن لمزيدٍ من التفاصيل والمعلومات. OKX ليست مسؤولة عن المحتوى الوارد في مواقع الأطراف الثالثة. والاحتفاظ بالأصول الرقمية، بما في ذلك العملات المستقرة ورموز NFT، فيه درجة عالية من المخاطر وهو عُرضة للتقلُّب الشديد. وعليك التفكير جيِّدًا فيما إذا كان تداوُل الأصول الرقمية أو الاحتفاظ بها مناسبًا لك في ظل ظروفك المالية.