#zkvm لا تزال هناك منتجات مبتكرة تخرج على عكس RISC-B zkvm العام مثل @boundless_xyz ، تستند جميع البراهين إلى إثبات كل دائرة في مجموعة التعليمات المشتركة. اعتمد Brevis zkvm - مخطط خياطة الغراء ، جاء هذا المخطط لأول مرة من منشور مدونة بواسطة V God - تحديد تلك العمليات المحددة المكلفة (عادة التجزئة والتوقيعات) التي تشكل غالبية الحساب ، ثم إنشاء وحدات متخصصة لإثبات هذه العمليات بكفاءة. يمنحك الجمع بين نظام إثبات مجموعة تعليمات VM غير الفعال ولكن العام مع نظام إثبات فعال ولكنه متخصص أفضل ما في العالمين. في الواقع ، هناك أيضا القليل من تقنية التجميع المسبق مثل EVM ، والتي تنتمي إلى تقنية التجميع المسبق على مستوى الدائرة - الابتكار في السلسلة 1) دليل ZK النقي ، مشكلة التكلفة موجودة دائما. 2) إثبات OP-ZK ، مما يعني أنه فقط بعد التعديل يتم إنشاء دليل ZK ، ثم دع السلسلة تحقق من الإثبات. إذا لم يتم تعديله ، فهذا تأكيد متفائل. يجب أن ينتمي هذا إلى فئة OPZK الجديدة. النواة يحل مشكلتين ، مشكلة تكلفة إثبات zk. إنها خطة عملية للغاية التفاصيل:

تم تعديله فقط = 》 فقط التصحيح المطبعي الذي تم الطعن فيه

لقد تحدثت للتو مع @brevis_zk المؤسس ، واستخدموا أيضا مجموعة تعليمات RISC-V ، جنبا إلى جنب مع دوائر التجميع المسبق المجمعة مسبقا.

أشعر أن هذا هو الأكثر احتمالا لتوسيع نطاقه لأنه قام بالكثير من التصميم على جانب التكلفة من خطته.