الجزء الخامس من "من صفر معرفة إلى صفر معرفة" متاح مباشرة. كيف يصبح الكود قابلا للإثبات فعليا؟ ما هو zkVM ولماذا يهم؟ 🧵

أنظمة إثبات ZK تعمل مع المعادلات الرياضية. المطورون يكتبون الكود. كان سد هذه الفجوة يتطلب كتابة دوائر حسابية يدويا. قوي، لكن فقط الخبراء يمكنهم فعل ذلك. zkVMs غيرت هذا. اكتب Rust العادي، واحصل على البراهين. لا حاجة لخبرة في الدائرة.

فكر في كيف تطور تطوير الذكاء الاصطناعي. قبل TensorFlow، كنت بحاجة لكتابة كود GPU منخفض المستوى. فقط المتخصصون يمكنهم بناء شبكات عصبية. الأطر قامت بتجرد التعقيد. تبع المطورين المباراة. zkVMs يفعلون الشيء نفسه بدون أي معرفة.

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