المعركة على الصدارة في سوق ZK Proof: الموجز مقابل اللامحدود

المؤلف: yyy المصدر: X، @y_cryptoanalyst

بالمقارنة مع @SuccinctLabs، لم يحصل @boundless_xyz على الاهتمام والأهمية التي يستحقها من السوق، ولكن مثل Succinct، لديه القدرة على أن يصبح رائدًا في مسار البنية التحتية العامة zk. وهذا هو أيضًا القصد الأصلي من كتابة هذه المقالة التمهيدية الأكثر تفصيلاً في المنطقة الصينية بأكملها.

في الوقت الحاضر، البروتوكول ذو أعلى صوت في قطاع سوق ZK proof هو بلا شك @SuccinctLabs. لقد أدى حدث النجوم المبني على الدعوة للاعبي C-end إلى جعل Succinct مشهورًا بسرعة. لكن في الوقت نفسه، تشهد شبكة zk proof @boundless_xyz المدعومة من @RiscZero ارتفاعًا، وهو ما أعتقد أنه أكبر منافس لشركة Succinct في المسار المتخصص الذي تستهدفه.

تناقش هذه التغريدة بشكل موجز أوجه التشابه والاختلاف والمزايا التنافسية بين @SuccinctLabs و@boundless_xyz. ولا يزال من غير المعروف أي شركة ستصبح الرائدة في هذا المجال.

zkVM أمر لا مفر منه

سواء كان @SuccinctLabs أو @boundless_xyz، فإن تنفيذهما الفني لا يستطيع تجنب zkVM. الفرق هو أن Succinct يستخدم آلة افتراضية SP1، بينما يستخدم Boundless آلة افتراضية R0VM تم تطويرها بواسطة RISC؟

إذن ما هو zkVM؟ zkVM هي آلة افتراضية خالية من المعرفة تسمح للمطورين بإثبات تنفيذ أي برنامج يعتمد على Rust (أو أي لغة برمجة LLVM أخرى). ببساطة، لا يحتاج المطورون الذين يعملون على أساس zkVM إلى تنفيذ عملية إنشاء دليل zk التي تتطلب حسابات مكثفة (بناء الدوائر وتحسينها يدويًا). سيتم إكمال إنشاء الإثبات تلقائيًا في الخلفية، مما يقلل بشكل كبير من وقت تطوير إثباتات zk.

مختصر: SP1 مقابل Boundless: R0VM

تلخص الآلة الافتراضية zkVM تعقيد إثبات المعرفة الصفرية من خلال إنشاء بيئة موضوعية، مما يجعل إنشاء الإثبات بسيطًا مثل الحوسبة التقليدية. يعتمد كل من SP1 الخاص بـ Succinct وR0VM الخاص بـ Boundless على مجموعة تعليمات RISC-V، وكلاهما يدعم الكتابة في Rust وتوليد دليل ZK التلقائي. وهي كلها مناسبة لسيناريوهات الحوسبة العامة.

التمايز:

1) أصالة التكنولوجيا الأساسية؛

يعتمد نظام الإثبات الأساسي الخاص بـ @SuccinctLabs SP1 على مجموعة أدوات الإثبات المعيارية ZK Plonky3 التي طورها فريق Polygon. إنه ترقية تكرارية لـ Plonky2 في وقت مبكر من بداية عام 2022، مع نضج تقني أعلى. إن الإيجاز يعادل الوقوف على أكتاف عملاق Polygon؛

@boundless_xyz R0VM يعتمد على التكنولوجيا التي طورتها الشركة الأم RISC بنفسها. بعد إطلاق إصدار R0VM 1.0 في يونيو 2024، خضع أيضًا لتكرارات فنية متعددة (1.1.0-1.1.2) وهو يتكرر حاليًا إلى أحدث إصدار R0VM 2.0. 2) درجة المصدر المفتوح؛

@SuccinctLabs تدعي SP1 أنها أول zkVM مفتوح المصدر بنسبة 100%. لقد بحثت عن معلومات ذات صلة ووجدت أن R0VM الخاص بـ RISC كان مفتوح المصدر جزئيًا عندما تم إطلاقه لأول مرة، كما تم الإعلان عنه أيضًا على أنه مفتوح المصدر بالكامل بنسبة 100% في أغسطس 2024. 3) الأداء؛

يعتبر الأداء أحد المؤشرات الأساسية لـ zkVM، وعادةً ما يشير إلى وقت التوليد ووقت التحقق من zk proof. نظرًا لأن هذه البيانات حساسة نسبيًا وSuccinct وBoundless متنافستان بشكل مباشر، فقد لا تكون البيانات التي تنشرها عادلة (مثل بيانات الاختبار لبيئة معينة، وما إلى ذلك). لم أجد بيانات موثوقة ومعتمدة من جهة خارجية محايدة، لذا لن أفصح عنها لضمان بيانات موضوعية ومحددة.

إن وجهة النظر السائدة الحالية في الصناعة هي أن @SuccinctLabs SP1 يعمل بشكل أفضل في المهام التي تعتمد على التجزئة بشكل مكثف (مثل التحقق الخفيف من عميل Tendermint)، وهو ما ينعكس في وقت إنشاء الدليل الأسرع؛ يعد R0VM الخاص بـ @boundless_xyz أكثر ملاءمة لسيناريوهات الحوسبة العامة وله مزايا واضحة في إدارة الذاكرة. يؤدي دعم SP1 للتجميع المسبق إلى تقليل عدد دورات تعليمات RISC-V المطلوبة لإنشاء الأدلة، وبالتالي تسريع وقت إنشاء الأدلة وتقليل تكاليف إنشاء الأدلة. ومع ذلك، مع إطلاق R0VM 2.0، تمت إضافة تجميعين مسبقين رئيسيين جديدين، BN254 وBLS12-381، مما سيؤدي أيضًا إلى تحسينات كبيرة في الأداء.

ما هو سوق zk proof؟

يعتبر إنشاء دليل zk هو الأساس لـ @SuccinctLabs و@boundless_xyz للتحرك نحو التسويق التجاري على نطاق واسع. هدفهم النهائي هو أن يصبحوا سوقًا أكثر كفاءة ولامركزية لـ zk proof، وتحويل الحوسبة القابلة للتحقق إلى سلعة عالمية لا تحتاج إلى ثقة.

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

آلية مطابقة العرض والطلب في سوق الأدلة الخاصة بـ @SuccinctLabs ليست معقدة. تتكون شبكة Succinct من نوعين من المشاركين الأساسيين: الطالبون (المطالبون بإثباتات zk) والمثبتون (مقدمو إثباتات zk).

تعمل شركة Succinct كوسيط لتسوية الأموال: حيث يقوم المُثبت بإيداع ضمانات على السلسلة للحصول على المؤهل للمشاركة في مسابقة الإثبات، ويقوم بروتوكول Succinct أولاً بإيداع الرسوم لمقدم الطلب لطلب خدمة الإثبات؛ يتنافس مقدم الإثبات من خلال مزاد الإثبات، والفائز النهائي بالمزاد يسلم إثبات zk إلى مقدم الطلب ويحصل على دخل الرسوم المقابل. تم الآن إغلاق عملية التوفيق بأكملها.

للحصول على آلية تنفيذ معمارية تقنية أكثر تفصيلاً، يُرجى الاطلاع على الوثيقة الرسمية لـ @SuccinctLabs:

https://docs.succinct.xyz/docs/network/architecture/components

أصدرت @boundless_xyz للتو ورقة بيضاء منذ فترة ليست طويلة، والتي تعمل كسوق مقاوم لـ zk. آلية التنفيذ الخاصة به مشابهة لـ @boundless_xyz، لذلك لن أدخل في التفاصيل هنا. للحصول على تفاصيل التنفيذ الفني، يرجى الاطلاع على الرابط الخاص بالورقة البيضاء الخاصة بـ Boundless المرفقة في نهاية المقالة.

مواقع مستخدمي الطرفية B

باعتبارها بروتوكولات بنية تحتية عامة يفضلها رأس المال، فإن @SuccinctLabs و@SuccinctLabs لديهما مجموعات مستخدمي الطرفية B الأساسية الخاصة بهما، والتي تشكل الفصيل المؤيد لـ Succinct والفصيل المؤيد لـ RISC (Boundless).

فصيل Pro-Succinct:

مثل Cosmos، يدمج IBC Eureka بشكل أصلي لتوفير خدمات توليد zk proof، مما يتيح توسيع قابلية التشغيل البيني عبر سلسلة IBC في شبكة السلسلة غير المتجانسة العالمية. بما في ذلك على سبيل المثال لا الحصر: Polygon، وDA layer @celestia، و@AvailProject، وما إلى ذلك التي توفر الدعم الفني المبكر؛

فصيل Pro-RISC (Boundless):

مثل اتفاقية إعادة وضع ETH @eigenlayer، واتفاقية التشغيل البيني عبر سلسلة zk @union_build، وBitcoin zk-Rollup @citrea_xyz، وما إلى ذلك.

الملخص

الموقع الأساسي لـ @boundless_xyz و@SuccinctLabs متشابه للغاية، والتداخل في نطاق أعمالهما مرتفع للغاية أيضًا. في رأيي، المنافسة بين الاثنين ليست منافسة على الابتكار التكنولوجي، بل هي منافسة على المستخدمين الأساسيين مثل مستخدمي الطرف B ومستخدمي الطرف C.

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

وأخيرًا

إذا لم تتمكن من تخيل مدى ضخامة السوق المحتملة تحت جبل الجليد الخاص بـ zk general proof، فلن تتمكن من تخيل مدى ارتفاع سقف الإمكانات المحتملة لـ @SuccinctLabs و@boundless_xyz.

ولكن كل هذا سيكون قابلاً للتتبع. إذا كنت لا تفهم ذلك الآن ولا تدرك قيمة السوق التي أثبتت كفاءتها، فما عليك سوى الاستمرار في الاهتمام.

أعتقد أننا سوف نشارك في نهاية المطاف في ثورة zk هذه، والآن، بدأت هذه الثورة للتو.