🎥 دردشة جديدة بجانب المدفأة: داخل SP1 مع @tamirhemo، رئيس قسم التشفير في @SuccinctLabs. نتعمق في بنية SP1، واختراقات الأداء، وما يتطلبه الأمر لتأمين آلات ZK-VM من مستوى الإنتاج. الطوابع الزمنية: 0:00 ما هي مهمة SP1 وSuccinct 2:31 لماذا تعتبر أجهزة ZK-VM أكثر عمومية من الدوائر المخصصة ل ZK 3:30 HyperCube وإثبات الوقت الحقيقي في EthProofs 4:30 قرارات التصميم وراء مكاسب أداء SP1 7:36 مفاضلات النظرية مقابل الحساب 10:19 أسطح هجوم SP1 والتخفيف 14:04 إثبات النظريات التفاعلية مقابل أدوات SMT (بيكوس) 15:36 دمج الأدوات وما الذي لا يزال مفقودا 18:18 ما قبل التجميع: متى يجب إضافتها وتأثير الأمان 20:24 هل "الترجمة إلى الدائرة" هو ثنائي-مفيد لأجهزة ZK-VM؟ 21:12 ضمانات بروفر، والنشر، ومخاطر الخصوصية 24:04 إثبات تدريجي: إثباتات محلية + خادمية 26:14 البراهين مقابل الافتراضات والأولوية التشفيرية 29:23 التشفير الجديد وما يثير حماس تامير أكثر 32:01 التطبيقات التي تبني على SP1 34:45 شبكة Prover مقابل خدمات الإثبات الخاصة 36:55 الجدول الزمني لإثبات 99٪ من الكتل في المنزل 39:34 أصعب 1٪: عنق زجاجة لمدة 12 ثانية 42:08 حجب عدائية ورموز عمليات "قاتلة إثبات" 43:18 ما بعد الإيثيريوم: أعباء عمل أخرى ل SP1 45:16 ما هو القادم ل SP1 47:15 ملاحظات ختامية يقدمه @bensepanski من @VeridiseInc، تم تصويره في بوينس آيرس، 17 نوفمبر 2025 🇦🇷 ملخص الفيديو أدناه 🧵 1/5

تمير يشرح لماذا انتقل Succinct من دوائر ZK المخصصة إلى ZK-VM متعددة الأغراض، ولماذا SP1 يركز على ما قبل الترجمة: دوائر محسنة حيث يكون الأمر مهما، وبرامج مرنة في كل مكان آخر. الهدف ليس إثبات كل دورة — بل SP1 يثبت السلوك الموعود للبرنامج. 2/5

🚀 أبرز أداءها يثبت SP1 Hypercube الآن ~99.7٪ من كتل الإيثيريوم تحت 12 مع ~16 وحدة معالجة رسومات — ليصل إلى الحد الأدنى للأجهزة الاستهلاكية. فتح المفتاح: كثير الحدود متعددة الخطيات، حرية تحسين الحساب، وإزالة عنق الزجاجة في العودية. 3/5

الأمن في المقدمة. يشرح تامير كيف يتم تخفيف أسطح الهجوم، ورموز العمليات التي تقتل البراهين، ولماذا التحقق الرسمي ضروري لأجهزة ZK-VM. @SuccinctLabs يعمل مع @VeridiseInc للتحقق رسميا من دوائر SP1 باستخدام Picus للقضاء على الأخطاء قبل شحنها. 4/5