نهاية لعبة ZK: بلا حدود مقابل موجز اقترب موسم ZK ، ومن المتوقع أن ينمو سوق البنية التحتية ZK إلى > 10 مليارات دولار بحلول عام 2030. وفي الوقت نفسه ، يتشكل Boundless و Succinct ليكونا المهيمنين اللذين يثبتان. ما يفشل الكثيرون في فهمه ، هو أنه على الرغم من تشابههما ، إلا أنهما مختلفان. اسمحوا لي أن أقوم بتفريغ هذا ↓ بلا حدود: "Uber for ZK Compute" - نموذج التنفيذ: يوفر سوقا عالميا حيث يتم نشر الوظائف على السلسلة (ممكن على أي سلسلة بدون سد ، وهو عامل تمييز رئيسي) ، والمزادات الهولندية العكسية ، وإثبات العمل القابل للتحقق (PoVW) لإنشاء سوق تنافسي يربط بين طالبي الإثبات والمثبتين ، مع مكافأة الأخير بناء على دورات الحوسبة الفعلية التي يؤدونها. يستخدم Boundless بنية ثلاثية الطبقات: Bento (إثبات محلي) ، وسيط (واجهة السوق) ، والتسوية على السلسلة. - الأداء والتبني: سوق إثبات مفتوح يعمل على تشغيل R0 zkVM (استنادا إلى RISC-V) بواسطة RiscZero ، مما يقلل من تكاليف الإثبات من الآلاف إلى بضعة دولارات فقط ، وينتج إثباتات أصغر بمقدار 7 مرات من SP1 (Succinct's zkVM) ، مما يجعلها مثالية للتحقق على السلسلة وأعباء العمل الأصغر. لدى Boundless بالفعل >1,700 برهان يعيشون على الإصدار التجريبي من الشبكة الرئيسية و >391 ألف إثبات مطلوب من "The Signal" (براهين ولاية ZK للصالح العام) وحدها. موجز: منصة المطورين عالية الأداء - نموذج التنفيذ: شبكة هزيلة وعالية الأداء تعمل ك "واجهة برمجة تطبيقات لإثباتات ZK" ، مدعومة من SP1 zkVM (يعتمد أيضا على RISC-V) وبائع مزاد سريع خارج السلسلة لمطابقة / تعيين بروفر واحد لكل وظيفة ، وتحسين زمن الوصول المنخفض ، والسماح للمطورين بإنشاء براهين من كود Rust القياسي الذي يتم التحقق منه لاحقا على السلسلة (على Ethereum). يقوم Succinct بتشغيل SP1 إما من خلال الإثبات المحلي أو واجهة برمجة تطبيقات شبكة prover المستضافة. - الأداء والتبني: تتفوق شبكة prover عالية الأداء من SP1 في عمليات التشفير المعقدة نظرا لبنية التجميع المسبق. إنه جاهز تماما للإنتاج وعلى سبيل المثال يقلل من >2h Tendermint إلى غضون دقائق فقط. أنتجت شبكات prover بالفعل ما يقرب من 5M إثبات مع وقت تشغيل 99.9٪ + ، واستضافة >1,600 برنامج. ما هي الوجبات الجاهزة الرئيسية؟ بينما يسعى كلاهما في النهاية لجعل ZK أكثر كفاءة ويمكن الوصول إليها على نطاق واسع للبناة ، إلا أنهما يتخذان نهجا مميزا لتلك المهمة على المستوى التقني. لا حدود لها على سبيل المثال هي أكثر من شبكة مفتوحة ، حيث يمكن لأي بروفير حساب خارج السلسلة أثناء تقديم جميع البراهين على السلسلة ، ومع عقود السوق عبر جميع النظم البيئية / السلاسل الرئيسية. وفي الوقت نفسه ، يضمن PoVW مكافآت prover مقننة بناء على الحساب الفعلي الذي يتم إجراؤه. إنه أيضا دليل على البنية التحتية الحيادية للنظام ، وكسوق غير مصرح به ، يهدف إلى أن يكون متجرا شاملا لجميع احتياجات الحوسبة والإثبات التي يمكن التحقق منها (بخلاف تشغيل مجموعة منتجات RiscZero ZK الكاملة بما في ذلك R0 zkVM و Kailua والمعالج المساعد الفولاذي الخاص بها وما إلى ذلك أو مؤخرا "The Signal" بواسطة Boundless). يوفر نظام RiscZero البيئي حول Boundless بالكامل حل تطوير ZK متكامل. من ناحية أخرى ، على شبكة prover الخاصة ب Suchinct ، فإن نظام المزاد العلني للشبكة هو الذي يجد أرخص prover في الوقت الفعلي ، مع فوز ممثل واحد بالوظيفة ، والتحقق اللاحق على السلسلة من الدليل الذي تم تسليمه ، مع وجود مكونات onchain على Ethereum. إنه يركز بشكل خاص على تشغيل SP1 ، و zkVM عالي الأداء من Compact ، وأدوات التطوير من حوله. ينبع الكثير من التبني الحالي ل Sumcinct من مجموعات "ZKfiyng" مع إطار عمل OP Succinct الخاص به أو تشغيل سلاسل تطبيقات ZK (مثل Hibachi) مع التركيز على النظام البيئي المعياري. هل هم منافسون؟ إلى حد كبير نعم ، لأن حقيقة أن كلا من @boundless_xyz و @SuccinctLabs يقدمان خدمات إثبات في النهاية ، تعني أيضا أنه ستكون هناك حتما منتجات مبنية فوق تلك البنية التحتية التي تنافس بعضها البعض في النهاية من حيث التبني (وإثبات الطلب الذي يتراكم على البنية التحتية الأساسية). بعض الأمثلة هنا ، هي zkVMs (R0 و SP1) ، والعديد من حالات الاستخدام التي تم تمكينها من خلال ذلك ، بما في ذلك. إطار عمل OP Kailua الخاص ب RiscZero لإثباتات الاحتيال الهجينة ZK التي تتنافس مع OP Succinct (إطار عمل ZK الخاص ب Succinct لسلاسل OP) ، والإصدارين المدعومين من ZK من Blobstream (جسر DA ل Celestia) اللذان بناهما كلا الفريقين فوق البنية التحتية الخاصة بهما ، أو معالجات ZK المشتركة الداخلية (Steel vs SP1-CC) ، إلخ. ومع ذلك ، أعتقد أن سوق البنية التحتية لإثبات ZK كبير بما يكفي لاثنين (أو أكثر؟) لاعبين رئيسيين ، وأنه خاصة في حالة التطبيقات عالية المخاطر (مثل DeFi المؤسسي ، وبعض حالات استخدام الذكاء الاصطناعي ، وما إلى ذلك) ، أو السلاسل التي تلبي احتياجات هذه القطاعات ، ستصبح الأنظمة متعددة المرافق منتشرة بشكل متزايد (تحسين المتانة والأمان) ، مما قد يؤدي إلى تكامل مزدوج مع كلتا الشبكتين. سنرى أيضا طبقات تجميع مبنية على أسواق / شبكات إثبات متعددة ، والتي ستؤدي في النهاية إلى عمل طبقات البنية التحتية هذه جنبا إلى جنب إلى حد ما. ZK هي نهاية اللعبة. موسم ZK علينا. دراسة ZK.