كيف يبدو جهاز zkVM مصمم خصيصا لتوافق الإيثيريوم؟ في هذه الحلقة (4/6 من السلسلة المصغرة @LeanEthereum)، يناقش باحثو مؤسسة إيثيريوم، توماس كوراتجر (@tcoratger) وإميل، مع @nico_mnbl تصميم وتنفيذ leanVM، وهو الحد الأدنى من الذاكرة الافتراضية المستخدمة لتجميع التوقيعات بعد الكمومية. تغطي: – لماذا يستخدم leanVM آلة VM الافتراضية بدلا من الدوائر الثابتة لدعم تجميع XMSS المرن وتركيب الإثبات التكراري – بنية leanVM: مجموعة تعليمات دنيا (4 رموز عمليات) مصممة للبساطة والتحقق الرسمي – مكدس الإثبات وراء LeanVM: الحساب متعدد الخطيات، التحقق من التجميع، ومخطط التزام وير – تفاصيل التنفيذ: إثبات محسن للمعالج مع Plonky3، تقنيات SIMD، وتجزئة Poseidon2 – المعايير والقيود المتعلقة بالتكرار وتجميع XMSS كما يناقشون تصميم المواصفات، ومنهجية المقارنة المرجعية، والأسئلة المفتوحة حول تنفيذ التشفير ما بعد الكمومي في إيثيريوم. استمع إلى الحلقة كاملة. —-------------------- الرموز الزمنية 03:36 لماذا تم اختيار LeanVM 07:50 تصميم LeanVM البسيط 08:34 البساطة فوق السرعة 19:34 الأمن واختيار الملعب 20:41 معايير الأداء والتجميع 28:14 مواصفة إيثيريوم بايثون