هذا دليل رائع لمستقبل محتمل للتولفات. تتمثل إحدى أكبر فوائد الانتقال إلى اللغة الأصلية في أنه سيمكن من حذف مئات الآلاف من أسطر التعليمات البرمجية لفرق التجميع عن طريق إزالة الحاجة إلى الحفاظ على نظام إثبات. سيتم الانتهاء من الجسر في نفس وقت التجميع ، مما يعني عدم وجود المزيد من نافذة 7 أيام للتجميع المتفائل. لا يزال من غير المؤكد بعض الشيء كيف ستعمل التخصيصات على وظيفة انتقال الحالة في الممارسة العملية. ربما الخطافات في التحويل البرمجي المسبق ل EXECUTE إلى برامج RISC-V على السلسلة؟ طريقة ما لتفويض التنفيذ المخصص إلى مجموعة من السيارات الجانبية الخاصة بالتطبيق؟ يبدو أيضا أنه سيكون من المستحيل إزالة الحوكمة تماما إذا كانت هناك تخصيصات يمكن تعديلها. شكرا لتجميع هذا معا @donnoh_eth!

عمل مذهل ، لإلقاء نظرة خلال عطلة نهاية الأسبوع

علاوة على عملنا المعتاد ، قام @donnoh_eth مؤخرا بتوضيح الرؤية والتفاصيل العملية للمجموعات الأصلية. لا يزال في المراحل الأولى ، لكن ألق نظرة واتبعه للبقاء على اطلاع دائم بهذا الموضوع. إذا كان لديك أي أسئلة ، أو إذا كنت ترغب في مشاركة أفكارك / وجهات نظرك / مخاوفك / قضاياك ، فلا تتردد في الاتصال بي أو له مباشرة.

يسعدني مشاركة التقدم المحرز في الشهر الماضي على المجموعات الأصلية! تم إنشاء موقع ويب لامع جديد لجمع مسودة المواصفات وأفكار التصميم ، بهدف توفير نقطة انطلاق للتعليقات من أعضاء المجتمع ومطوري L2. الرابط في نهاية الموضوع 🧵👇

حصل كتالوج ZK للتو على تحديث كبير! نحن نقدم إطارا عاما لتقييم الإعدادات الموثوقة لأنظمة إثبات ZK عبر التطبيقات المتعلقة ب L2. الهدف: جعل افتراضات الثقة الخفية صريحة ، ووضع معايير واضحة وجعلها مرجعا للانتقال إلى نظامنا البيئي. 🧵👇

لماذا المجموعات الأصلية؟ 🧵 (1/5) أمن • بالنسبة لمكافئ EVM - لا داعي للقلق بشأن الأخطاء ، يتم التحديث تلقائيا باستخدام انقسام L1 • لا توجد مخاوف بشأن إثبات الأخطاء ، يمكنك الحصول على إثبات من عقد L1. إذا كان هناك استغلال في prover ، L1 هارد فورك • Multi Prover - ترث تلقائيا إثباتا متعدد (براهين ZK متعددة) للمرحلة 2 • لاحظ أن المرحلة 2 لا تزال تتطلب نافذة خروج لمدة 30 يوما ، ولا توجد ترقيات فورية. هون • يمكن نشر أي dapp على الأجزاء الأصلية دون أي تعديلات على الإطلاق (لا داعي للقلق بشأن الاختلاف بين المجموعات أو L1) • من السهل إطلاق مجموعة Native لامركزية (بافتراض التسلسل المستند) - الحالة المنخفضة هي حوالي 100 سطر من التعاقد مع مكالمة واحدة • هذا يقلل أيضا من المخاطر القانونية إذا كانت لامركزية

"هناك العديد من المشاكل اليوم مع ZK." لقد دعونا @donnoh_eth (باحث في @l2beat) لتقديم قمة برلين Ethproofs لإعطاء منظور معاكس حول ZK - وهذا بالضبط ما حصلنا عليه. بعض النقاط الرئيسية: • أجهزة التحقق غير شفافة. يمكن فحص العقود الذكية ، ولكن بمجرد أن تصل إلى مدقق ZK ، فإنك تنظر إلى أرقام عشوائية - وبدون إعادة إنتاج المدقق من المصدر ، لا يمكنك معرفة ما يتم إثباته بالفعل. • التكاثر صعب. لا تنشر العديد من المشاريع تجزئات الالتزام أو إصدارات الأدوات الدقيقة اللازمة لإعادة إنشاء أدوات التحقق الخاصة بها. في بعض الحالات ، من المستحيل عمليا تأكيد ما يتم تشغيله على السلسلة. • الأدوات المخصصة تضيف المخاطر. يبني كل مشروع مجموعته الخاصة ، مما يجعل التحقق معقدا وغير متسق عبر النظام البيئي. • عمليات التدقيق لا تكفي. يمكن أن تكون عمليات التدقيق جزئية أو قديمة أو تفوت الإصلاحات. إن مجرد الادعاء بعبارة "مدقق بالكامل" مضلل بدون روابط ونطاق شفافين. نقطة لوكا الأساسية: ZK لا تقضي بالضرورة على الثقة. بدلا من ذلك ، فإنه يغيرها - والتحدي هو تقليل وتوضيح مكان هذه الثقة. شاهد الحديث الكامل:

التوقيع الأعمى محفوف بالمخاطر. لقد كنت أستخدم نصا بسيطا لسنوات لمعاينة المعاملات بأمان قبل إرسالها. مع بعض المساعدة في الذكاء الاصطناعي ، قمت بتحويلها إلى أداة CLI حتى تتمكن من محاكاة معاملتك بسهولة قبل البث. 👉

يا إلهي ، لقد وصلنا للتو إلى سعة Blob وتضاعفت الرسوم الأساسية للكائن الثنائي كبير الحجم من 1 wei إلى 2 wei شكرا شمعة 🙏 حمراء كبيرة

هل أنا الوحيد الذي يعتقد أن هذه L1s الجديدة لا تعني أي شيء لأي شخص؟ سنرى فقط التأثيرات عندما يريدون التفاعل مع بعضهم البعض وسيحتاجون إلى تحديد المكان الذي يجب أن يحدث فيه ذلك