تبدو معظم zkVMs رائعة على الورق. تم تصميم SP1 للعالم الحقيقي. لم يستخدم Succinct Risc0 أو zkSync أو Polygon's zkVM ولسبب وجيه. SP1 ليس مقلدا. إنه zkVM من الألف إلى الياء تم تصميمه لتشغيل الجيل التالي من البنية التحتية غير الموثوقة. إليك سبب أهمية ذلك: لماذا تبني zkVM جديد؟ كان بإمكان @SuccinctLabs اختيار zkVMs الموجودة. Risc0 أو القاهرة أو حتى zkEVMs. لكنهم لم يفعلوا ذلك وإليك السبب: معظم zkVMs ليست للأغراض العامة بما فيه الكفاية كثيرون لا يدعمون العودية خارج الصندوق بعضها مقترن بإحكام بكاميرات DSL مخصصة (على سبيل المثال ، القاهرة) يفتقر البعض الآخر إلى الشفافية أو مضمن بعمق في مجموعات التجميع الأكبر احتاج Succinct إلى شيء أكثر: → zkVM يمكنه تشغيل أي برنامج في أي مكان وإثباته بكفاءة. هذا هو SP1. ما هو SP1؟ SP1 هو zkVM معياري مدمج في Rust يدعم ما يلي: - حساب الأغراض العامة - العودية الفعالة - قابلية الإثبات إلى سلاسل أخرى ومرونة مفتوحة المصدر بشكل حاسم تم تصميمه من المبادئ الأولى حول بعض الأفكار الأساسية: • يجب أن يكون ZK متاحا. • يجب أن يكون إنشاء الإثبات قابلا للتكوين والتحقق منه عبر السلاسل. • لا ينبغي أن يضطر المطورون إلى تعلم التشفير لاستخدام ZK. تم بناء SP1 على ISA مخصص (بنية مجموعة التعليمات) وليس نسخة من EVM ، مما يجعله أكثر أداء وقابلية للتوسيع. ويتم استخدامه بالفعل لتشغيل عملاء الإضاءة عبر السلاسل و EigenLayer AVS والمزيد. ما الذي يجعل SP1 مختلفا؟ بالمقارنة مع zkVMs الأخرى ، يبرز SP1 بعدة طرق كبيرة: مصممة للإثبات في العالم الحقيقي لم يتم تحسينه للألعاب ذات المعرفة الصفرية أو منافسة القيمة المحتسبة، وهي محسنة للتحقق متعدد السلاسل. وحدات للغاية يمكنك تعديل SP1 وتبديل المكونات وتوصيله بمنحنيات إثبات مختلفة أو استراتيجيات عودية. تجربة مطور أصلية للصدأ اكتب برامج ZK في Rust آمن وفعال ، وليس DSLs غريبة. دعم مدمج للبراهين المتكررة أمر بالغ الأهمية لقابلية التوسع وقابلية التركيب في التحقق من العديد من الأحداث خارج السلسلة على السلسلة. لماذا هذا مهم الآن مستقبل Crypto متعدد السلاسل. وهذا يعني المزيد من العملاء الخفيفين ، والمزيد من الجسور ، والمزيد من أنظمة الإثبات المشتركة. لكن إثبات حالة سلسلة واحدة على أخرى يتطلب بشكل آمن zkVMs التي تم تحسينها ليس فقط من أجل الإنتاجية ، ولكن من أجل المرونة وقابلية النقل. SP1 يفعل ذلك بالضبط. → إنها ليست مجرد ZK بدائية - إنها محرك الإثبات وراء التعقيم غير الموثوق به. في المنشور التالي ، نقوم بتفصيل شبكة Succinct Prover: كيف تدير حساب ZK خارج السلسلة ، وما الذي يفتحه هذا للمطورين والسلاسل. وضع علامات على Gigachads التي قد تكون مهتمة في هذا 👇 - @SamuelXeus - @TheDeFISaint - @hmalviya9 - @poopmandefi - @ayyeandy - @DigiTektrades - @zerokn0wledge_ - @LadyofCrypto1 - @milesdeutscher - @1CryptoMama - @Deebs_DeFi - @RubiksWeb3hub - @stacy_muur - @TheDeFinvestor - @splinter0n - @izu_crypt - @belizardd - @eli5_defi - @the_smart_ape - @ViktorDefi - @cryppinfluence - @CryptoGirlNova - @Haylesdefi - @DeRonin_ - @0xAndrewMoh - @defiinfant - @DeFiMinty - @Louround_ - @0xSalazar - @crypthoem - @CryptoShiro_