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