بالمقارنة مع @SuccinctLabs، لم تحظَ @boundless_xyz بالاهتمام والاعتبار اللذين تستحقهما في السوق، لكنها، مثل Succinct، تمتلك القدرة على أن تصبح رائدة في مجال البنية التحتية العامة لـ zk، وهذا هو السبب وراء كتابتي لهذه المقالة، التي تُعتبر أكثر المقالات تفصيلاً في الشبكة الصينية حتى الآن.
في الوقت الحالي ، لا شك أن البروتوكول الأكثر طلبًا في سوق إثبات zk هو @SuccinctLabs ، حيث جعلت فعالية دعوة النجوم الموجهة للاعبين من الطرف C Succinct تبرز بسرعة. ولكن في الوقت نفسه ، يدعم شبكة إثبات zk @RiscZero ، حيث بدأت @boundless_xyz في الظهور ، وهذا هو أيضًا أكبر منافس أعتقد أن Succinct يواجهه في قطاع السوق المحدد الذي يستهدفه.
هذه التغريدة تتحدث بإيجاز عن أوجه التشابه والاختلاف بين @SuccinctLabs و @boundless_xyz ومزايا المنافسة، ومن غير المعروف بعد من سيفوز بقيادة هذا المجال.
zkVM الذي لا يمكن تجاوزه
سواء كانت @SuccinctLabs أو @boundless_xyz، فإن تنفيذ تقنياتهما لا يمكن أن يتجاوز zkVM. النقطة المميزة هي أن Succinct تستخدم آلة افتراضية SP1، بينما تستخدم Boundless آلة افتراضية R0VM مطورة بواسطة RISC؟
ما هو zkVM إذن؟
zkVM هو آلة افتراضية لإثبات المعرفة الصفرية، تتيح للمطورين إثبات تنفيذ أي برنامج يعتمد على Rust( أو لغات برمجة أخرى تعتمد على LLVM).
بعبارة بسيطة، المطورون يعتمدون على zkVM دون الحاجة إلى تنفيذ عملية توليد إثبات zk المكثفة حسابياً (بناء وتحسين الدوائر يدوياً)، حيث يتم توليد الإثبات تلقائياً في الخلفية، مما يقلل بشكل كبير من الوقت المطلوب لتطوير إثبات zk.
مختصر: SP1 مقابل غير المحدود: R0VM
تعمل آلة zkVM الافتراضية على خلق بيئة موضوعية لتجريد تعقيد إثباتات المعرفة الصفرية، مما يجعل توليد الإثباتات سهلاً كما هو الحال في الحوسبة التقليدية.
تستند SP1 من Succinct و R0VM من Boundless إلى مجموعة تعليمات RISC-V، وكلاهما يدعم البرمجة بلغة Rust، وتوليد إثباتات ZK تلقائيًا. وكلاهما مناسب لمشاهد الحسابات العامة.
@SuccinctLabs نظام الإثبات الأساسي لـ SP1 يستند إلى مجموعة أدوات الإثبات ZK المعيارية التي طورتها فريق Polygon Plonky3، والتي تم ترقيتها من Plonky2 في أوائل عام 2022، مما يجعل التقنية أكثر نضجًا، حيث تقف Succinct على أكتاف عمالقة Polygon.
R0VM من @boundless_xyz يعتمد على تقنية البحث والتطوير الخاصة بالشركة الأم RISC، وبعد إطلاق النسخة 1.0 من R0VM في يونيو 2024، تم إجراء عدة تكرارات تقنية (1.1.0-1.1.2)، والآن تم التكرار إلى النسخة الأحدث R0VM 2.0.
2) درجة المصدر المفتوح؛
@SuccinctLabs SP1 يدعي أنه أول zkVM مفتوح المصدر بنسبة 100%. لقد قمت بالبحث عن المعلومات ذات الصلة، واكتشفت أن RISC's R0VM كان مفتوح المصدر جزئيًا عند الإطلاق في المراحل المبكرة، وقد أعلن أيضًا عن كونه مفتوح المصدر بنسبة 100% في أغسطس 2024.
3) الأداء؛
الأداء هو أحد المؤشرات الأساسية لـ zkVM، وعادة ما يشير إلى وقت توليد إثبات zk ووقت التحقق. نظرًا لأن هذه البيانات حساسة إلى حد ما، وكون Succinct و Boundless هما منافسان مباشران، فإن البيانات التي يعلنان عنها قد لا تكون عادلة تمامًا (مثل بيانات الاختبار في بيئات معينة، إلخ). ولم أتمكن من العثور على بيانات موثوقة ومحايدة من طرف ثالث للمقارنة، لذا لضمان الموضوعية في البيانات المحددة، لن أقوم بالكشف عنها.
تعتقد الآراء السائدة في الصناعة حاليًا أن @SuccinctLabs SP1 يظهر أداءً أفضل في المهام كثيفة الهاش (مثل التحقق من عميل Tendermint الخفيف) حيث يتمثل ذلك في سرعة توليد الأدلة؛ بينما R0VM من @boundless_xyz أكثر ملاءمة لمشاهد الحوسبة العامة، ولديه مزايا واضحة في إدارة الذاكرة.
لقد قلل دعم SP1 للتجميع المسبق من عدد دورات تعليمات RISC-V المطلوبة لإنشاء الإثبات، مما أدى إلى تسريع وقت توليد الإثبات وتقليل تكلفة توليد الإثبات. ولكن مع إطلاق إصدار R0VM 2.0، تمت إضافة اثنين من التجميعات المسبقة الرئيسية وهما BN254 و BLS12-381، مما سيؤدي أيضًا إلى تحسين الأداء بشكل ملحوظ.
توليد إثبات zk هو أساس التحول إلى التجارة الواسعة النطاق لـ @SuccinctLabs و @boundless_xyz ، وهدفهم النهائي هو أن يصبحوا سوق إثبات zk أكثر كفاءة ولامركزية، وتحويل الحوسبة القابلة للتحقق إلى سلعة عامة وغير موثوق بها.
السوق تلعب دور الوسيط بين طرفي البيع والشراء، ويمكن فهم سوق zk كوسيط بين مزودي zk والمستفيدين منها. مزودي zk هم منشئو الإثباتات، وعادة ما يكونون مشغلين يقومون بتشغيل GPU أو أجهزة أخرى؛ أما المستفيدون من zk فهم عادة المستخدمون من نوع B الذين يحتاجون إلى التحقق.
آلية المطابقة بين جانب العرض والطلب في سوق الإثباتات @SuccinctLabs ليست معقدة، يتكون شبكة Succinct من نوعين من المشاركين الرئيسيين: الطلبة (جانب الطلب على إثبات zk) والمثبتون (جانب تقديم إثبات zk).
Succinct يعمل كوسيط لتسوية الأموال: يقوم المثبت بإيداع ضمانات على السلسلة للحصول على مؤهلات المشاركة في مسابقة الإثبات، وتقوم بروتوكولات Succinct مسبقًا بحجز رسوم خدمة الإثبات المطلوبة من قبل الطلب. يتنافس المثبتون من خلال مزاد الإثبات، حيث يقوم الفائز النهائي في المزاد بتسليم إثبات zk للطالب ويكسب العوائد المقابلة. وهكذا يتم إغلاق حلقة المطابقة بأكملها.
يمكنك الاطلاع على آلية تنفيذ الهيكل الفني الأكثر تفصيلاً في الوثيقة الرسمية لـ @SuccinctLabs:
@boundless_xyz قد أصدرت مؤخرًا ورقة بيضاء، تعمل كآلية تطبيق لإثبات zk في السوق، وهي متشابهة إلى حد كبير مع @boundless_xyz، لن أتحدث عن ذلك أكثر هنا، يمكن الاطلاع على التفاصيل الفنية في رابط ورقة Boundless البيضاء المرفقة في نهاية النص.
كنموذج بنية تحتية شائع يحظى بإعجاب رأس المال ، لدى @SuccinctLabs و @SuccinctLabs مجموعاتهم الأساسية من مستخدمي B ، مما أدى إلى تشكيل فصيل موالي لـ Succinct و فصيل موالي لـ RISC(Boundless).
عزيزي Succinct派：
مثل Cosmos، توفر IBC Eureka المتكاملة الأصلية خدمات توليد إثبات zk，实现 التشغيل البيني عبر IBC في توسيع الشبكات المتنوعة العالمية. بما في ذلك، ولكن لا تقتصر على: تقديم الدعم الفني المبكر لـ Polygon، طبقة DA @celestia، @AvailProject، وغيرها؛
** Pro-RISC(Boundless) فصيل:**
مثل بروتوكول إعادة الرهن ETH @eigenlayer، وبروتوكول التشغيل البيني عبر السلاسل zk @union_build، و Bitcoin zk-Rollup @citrea_xyz وغيرها.
ملخص
@boundless_xyz و @SuccinctLabs لهما تشابه كبير في التوجهات الأساسية، كما أن نطاق الأعمال بينهما يتداخل بشكل كبير. في رأيي، المنافسة بينهما لا تتركز أكثر على الابتكار التكنولوجي، بل تتعلق بصراع المستخدمين الأساسيين بين المستخدمين من الطرف B والمستخدمين من الطرف C.
تنافس الطرف B متكافئ، بينما يتمتع الطرف C بمزايا واضحة، ويجب على Boundless سد الثغرات، ومن المرجح أن تطلق أنشطة مشابهة لنظام النقاط أو نظام الدعوات، للاستحواذ على مستخدمي الطرف C.
كتب في النهاية
إذا كنت لا تستطيع تخيل مدى حجم السوق المحتمل تحت سطح الجليد لتقنية zk العامة، فلا يمكنك تخيل مدى ارتفاع السقف المحتمل لـ @SuccinctLabs و @boundless_xyz.
لكن كل هذا سيكون له أثر يمكن تتبعه، إذا كنت لا تفهم أو لا تعترف بقيمة سوق إثبات zk الآن، فقط عليك أن تظل متابعاً.
أعتقد أننا سننغمس في هذه الثورة الكبرى للـ zk ، والآن ، هذه الثورة بدأت للتو.
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
صراع القائد في سوق إثبات ZK: Succinct vs. Boundless
المؤلف: yyy المصدر: X، @y_cryptoanalyst
بالمقارنة مع @SuccinctLabs، لم تحظَ @boundless_xyz بالاهتمام والاعتبار اللذين تستحقهما في السوق، لكنها، مثل Succinct، تمتلك القدرة على أن تصبح رائدة في مجال البنية التحتية العامة لـ zk، وهذا هو السبب وراء كتابتي لهذه المقالة، التي تُعتبر أكثر المقالات تفصيلاً في الشبكة الصينية حتى الآن.
! qmpGkK5I0XbHF8jYekNUOnVaV8Tzn0esF7CWi7XZ.png
في الوقت الحالي ، لا شك أن البروتوكول الأكثر طلبًا في سوق إثبات zk هو @SuccinctLabs ، حيث جعلت فعالية دعوة النجوم الموجهة للاعبين من الطرف C Succinct تبرز بسرعة. ولكن في الوقت نفسه ، يدعم شبكة إثبات zk @RiscZero ، حيث بدأت @boundless_xyz في الظهور ، وهذا هو أيضًا أكبر منافس أعتقد أن Succinct يواجهه في قطاع السوق المحدد الذي يستهدفه.
هذه التغريدة تتحدث بإيجاز عن أوجه التشابه والاختلاف بين @SuccinctLabs و @boundless_xyz ومزايا المنافسة، ومن غير المعروف بعد من سيفوز بقيادة هذا المجال.
zkVM الذي لا يمكن تجاوزه
سواء كانت @SuccinctLabs أو @boundless_xyz، فإن تنفيذ تقنياتهما لا يمكن أن يتجاوز zkVM. النقطة المميزة هي أن Succinct تستخدم آلة افتراضية SP1، بينما تستخدم Boundless آلة افتراضية R0VM مطورة بواسطة RISC؟
ما هو zkVM إذن؟
zkVM هو آلة افتراضية لإثبات المعرفة الصفرية، تتيح للمطورين إثبات تنفيذ أي برنامج يعتمد على Rust( أو لغات برمجة أخرى تعتمد على LLVM).
بعبارة بسيطة، المطورون يعتمدون على zkVM دون الحاجة إلى تنفيذ عملية توليد إثبات zk المكثفة حسابياً (بناء وتحسين الدوائر يدوياً)، حيث يتم توليد الإثبات تلقائياً في الخلفية، مما يقلل بشكل كبير من الوقت المطلوب لتطوير إثبات zk.
مختصر: SP1 مقابل غير المحدود: R0VM
تعمل آلة zkVM الافتراضية على خلق بيئة موضوعية لتجريد تعقيد إثباتات المعرفة الصفرية، مما يجعل توليد الإثباتات سهلاً كما هو الحال في الحوسبة التقليدية.
تستند SP1 من Succinct و R0VM من Boundless إلى مجموعة تعليمات RISC-V، وكلاهما يدعم البرمجة بلغة Rust، وتوليد إثباتات ZK تلقائيًا. وكلاهما مناسب لمشاهد الحسابات العامة.
! 1UuwP6JKRDlta0cJQdpV29ZXtoKAJe130kODWKAC.png
اختلاف:
1）الأصالة في التكنولوجيا الأساسية؛
@SuccinctLabs نظام الإثبات الأساسي لـ SP1 يستند إلى مجموعة أدوات الإثبات ZK المعيارية التي طورتها فريق Polygon Plonky3، والتي تم ترقيتها من Plonky2 في أوائل عام 2022، مما يجعل التقنية أكثر نضجًا، حيث تقف Succinct على أكتاف عمالقة Polygon.
R0VM من @boundless_xyz يعتمد على تقنية البحث والتطوير الخاصة بالشركة الأم RISC، وبعد إطلاق النسخة 1.0 من R0VM في يونيو 2024، تم إجراء عدة تكرارات تقنية (1.1.0-1.1.2)، والآن تم التكرار إلى النسخة الأحدث R0VM 2.0.
2) درجة المصدر المفتوح؛
@SuccinctLabs SP1 يدعي أنه أول zkVM مفتوح المصدر بنسبة 100%. لقد قمت بالبحث عن المعلومات ذات الصلة، واكتشفت أن RISC's R0VM كان مفتوح المصدر جزئيًا عند الإطلاق في المراحل المبكرة، وقد أعلن أيضًا عن كونه مفتوح المصدر بنسبة 100% في أغسطس 2024.
3) الأداء؛
الأداء هو أحد المؤشرات الأساسية لـ zkVM، وعادة ما يشير إلى وقت توليد إثبات zk ووقت التحقق. نظرًا لأن هذه البيانات حساسة إلى حد ما، وكون Succinct و Boundless هما منافسان مباشران، فإن البيانات التي يعلنان عنها قد لا تكون عادلة تمامًا (مثل بيانات الاختبار في بيئات معينة، إلخ). ولم أتمكن من العثور على بيانات موثوقة ومحايدة من طرف ثالث للمقارنة، لذا لضمان الموضوعية في البيانات المحددة، لن أقوم بالكشف عنها.
تعتقد الآراء السائدة في الصناعة حاليًا أن @SuccinctLabs SP1 يظهر أداءً أفضل في المهام كثيفة الهاش (مثل التحقق من عميل Tendermint الخفيف) حيث يتمثل ذلك في سرعة توليد الأدلة؛ بينما R0VM من @boundless_xyz أكثر ملاءمة لمشاهد الحوسبة العامة، ولديه مزايا واضحة في إدارة الذاكرة.
لقد قلل دعم SP1 للتجميع المسبق من عدد دورات تعليمات RISC-V المطلوبة لإنشاء الإثبات، مما أدى إلى تسريع وقت توليد الإثبات وتقليل تكلفة توليد الإثبات. ولكن مع إطلاق إصدار R0VM 2.0، تمت إضافة اثنين من التجميعات المسبقة الرئيسية وهما BN254 و BLS12-381، مما سيؤدي أيضًا إلى تحسين الأداء بشكل ملحوظ.
! d2jSbG55IK5BG8DaojfPmAo9vR4LFXluPagWH2VO.png
ما هو سوق إثبات zk؟
توليد إثبات zk هو أساس التحول إلى التجارة الواسعة النطاق لـ @SuccinctLabs و @boundless_xyz ، وهدفهم النهائي هو أن يصبحوا سوق إثبات zk أكثر كفاءة ولامركزية، وتحويل الحوسبة القابلة للتحقق إلى سلعة عامة وغير موثوق بها.
السوق تلعب دور الوسيط بين طرفي البيع والشراء، ويمكن فهم سوق zk كوسيط بين مزودي zk والمستفيدين منها. مزودي zk هم منشئو الإثباتات، وعادة ما يكونون مشغلين يقومون بتشغيل GPU أو أجهزة أخرى؛ أما المستفيدون من zk فهم عادة المستخدمون من نوع B الذين يحتاجون إلى التحقق.
آلية المطابقة بين جانب العرض والطلب في سوق الإثباتات @SuccinctLabs ليست معقدة، يتكون شبكة Succinct من نوعين من المشاركين الرئيسيين: الطلبة (جانب الطلب على إثبات zk) والمثبتون (جانب تقديم إثبات zk).
Succinct يعمل كوسيط لتسوية الأموال: يقوم المثبت بإيداع ضمانات على السلسلة للحصول على مؤهلات المشاركة في مسابقة الإثبات، وتقوم بروتوكولات Succinct مسبقًا بحجز رسوم خدمة الإثبات المطلوبة من قبل الطلب. يتنافس المثبتون من خلال مزاد الإثبات، حيث يقوم الفائز النهائي في المزاد بتسليم إثبات zk للطالب ويكسب العوائد المقابلة. وهكذا يتم إغلاق حلقة المطابقة بأكملها.
يمكنك الاطلاع على آلية تنفيذ الهيكل الفني الأكثر تفصيلاً في الوثيقة الرسمية لـ @SuccinctLabs:
@boundless_xyz قد أصدرت مؤخرًا ورقة بيضاء، تعمل كآلية تطبيق لإثبات zk في السوق، وهي متشابهة إلى حد كبير مع @boundless_xyz، لن أتحدث عن ذلك أكثر هنا، يمكن الاطلاع على التفاصيل الفنية في رابط ورقة Boundless البيضاء المرفقة في نهاية النص.
! hbUgNpWOClQ50f5Tqk54HtVvnJF2EEqFvrt8aLIe.png
وقوف مستخدمي الطرف B
كنموذج بنية تحتية شائع يحظى بإعجاب رأس المال ، لدى @SuccinctLabs و @SuccinctLabs مجموعاتهم الأساسية من مستخدمي B ، مما أدى إلى تشكيل فصيل موالي لـ Succinct و فصيل موالي لـ RISC(Boundless).
عزيزي Succinct派：
مثل Cosmos، توفر IBC Eureka المتكاملة الأصلية خدمات توليد إثبات zk，实现 التشغيل البيني عبر IBC في توسيع الشبكات المتنوعة العالمية. بما في ذلك، ولكن لا تقتصر على: تقديم الدعم الفني المبكر لـ Polygon، طبقة DA @celestia، @AvailProject، وغيرها؛
** Pro-RISC(Boundless) فصيل:**
مثل بروتوكول إعادة الرهن ETH @eigenlayer، وبروتوكول التشغيل البيني عبر السلاسل zk @union_build، و Bitcoin zk-Rollup @citrea_xyz وغيرها.
ملخص
@boundless_xyz و @SuccinctLabs لهما تشابه كبير في التوجهات الأساسية، كما أن نطاق الأعمال بينهما يتداخل بشكل كبير. في رأيي، المنافسة بينهما لا تتركز أكثر على الابتكار التكنولوجي، بل تتعلق بصراع المستخدمين الأساسيين بين المستخدمين من الطرف B والمستخدمين من الطرف C.
تنافس الطرف B متكافئ، بينما يتمتع الطرف C بمزايا واضحة، ويجب على Boundless سد الثغرات، ومن المرجح أن تطلق أنشطة مشابهة لنظام النقاط أو نظام الدعوات، للاستحواذ على مستخدمي الطرف C.
كتب في النهاية
إذا كنت لا تستطيع تخيل مدى حجم السوق المحتمل تحت سطح الجليد لتقنية zk العامة، فلا يمكنك تخيل مدى ارتفاع السقف المحتمل لـ @SuccinctLabs و @boundless_xyz.
لكن كل هذا سيكون له أثر يمكن تتبعه، إذا كنت لا تفهم أو لا تعترف بقيمة سوق إثبات zk الآن، فقط عليك أن تظل متابعاً.
أعتقد أننا سننغمس في هذه الثورة الكبرى للـ zk ، والآن ، هذه الثورة بدأت للتو.