اقتراح leanVM من Vitalik Buterin هو آلة افتراضية للمعرفة الصفرية (zkVM) مصغرة صممت لخفض تكاليف معاملات Ethereum وتحسين قابلية التوسع. تستخدم مجموعة تعليمات من أربع أوامر، وSTARKs متعددة الخطوط وعمليات بحث logup لتمكين التكرار الفعال وتجميع XMSS مع تقليل كبير في عبء المعالجة.
-
تصميم zkVM مصغر: مجموعة تعليمات من أربع أوامر مع STARKs متعددة الخطوط لإثباتات منخفضة التكلفة.
-
يستهدف التكرار وتجميع XMSS لتقليل عبء العمل على المُثبِت وتكاليف التحقق على السلسلة.
-
قدمه Vitalik Buterin كجزء من خارطة طريق Ethereum نحو أدوات تشفير أخف وأكثر أناقة.
leanVM: اقتراح zkVM مصغر من Vitalik Buterin لخفض تكاليف Ethereum وتعزيز قابلية التوسع. تعرف على ما يعنيه ذلك للـ rollups وتصميم البروتوكول — اقرأ الآن.
ما هو leanVM ولماذا هو مهم لـ Ethereum؟
leanVM هو آلة افتراضية للمعرفة الصفرية (zkVM) مقترحة تعطي الأولوية للبساطة وانخفاض تكلفة المُثبِت. يركز التصميم على مجموعة تعليمات من أربع أوامر، وSTARKs متعددة الخطوط وعمليات بحث logup لتمكين التكرار والتجميع بكفاءة، مما قد يقلل من استخدام الموارد مقارنة بتطبيقات zkVM الأثقل.
كيف يحسن leanVM من قابلية التوسع في Ethereum؟
يقلل leanVM من وقت المُثبِت من خلال تبسيط مجموعة التعليمات وبنية الإثبات. تقلل STARKs متعددة الخطوط من عبء حجم الإثبات، وتبسط عمليات بحث logup الوصول إلى الحالة. تساعد هذه الخيارات في جعل التكرار وتجميع XMSS أقل تكلفة، مما قد يؤدي إلى زيادة إنتاجية rollup وخفض الرسوم لكل معاملة.
وصف Vitalik Buterin الاقتراح كمحاولة لكتابة "كود مضغوط" وبناء بدائيات تشفيرية طويلة الأمد وقابلة للصيانة بدلاً من حلول التوسع المؤقتة.
متى اقترح Vitalik leanVM وماذا قال؟
ظهر الاقتراح في 8 سبتمبر 2025 خلال مناقشة خارطة طريق Ethereum. وصف Vitalik Buterin leanVM كجزء من مرحلة حاسمة لتطور Ethereum التقني، مشدداً على تصميم بروتوكول مضغوط وأنيق بدلاً من الحلول المؤقتة.
ما هي أبرز الجوانب التقنية لـ leanVM؟
تشمل العناصر الرئيسية مجموعة تعليمات من أربع أوامر للحفاظ على بساطة دلالات التنفيذ. يقترن ذلك مع STARKs متعددة الخطوط لتقليل عبء الإثبات وعمليات بحث logup لتحسين الوصول إلى الحالة. تهدف هذه الخيارات صراحةً إلى جعل التكرار وتجميع XMSS أقل تكلفة عملياً.
الأسئلة الشائعة
كيف سيؤثر leanVM على rollups؟
يمكن أن يقلل leanVM من تكاليف مُثبِت rollup من خلال تبسيط نموذج الحوسبة وتوليد الإثباتات. يمكن أن يؤدي انخفاض عبء المُثبِت إلى تقليل نفقات المشغلين وتحسين الإنتاجية لتصاميم optimistic وzk-rollup التي تعتمد أدوات متوافقة.
هل leanVM آمن مقارنةً بـ zkVMs الحالية؟
تعتمد الأمان على التنفيذ والخيارات التشفيرية. يعتمد leanVM على إثباتات STARK، والتي تعتبر آمنة بعد الكم؛ ومع ذلك، يتطلب أي آلة افتراضية جديدة تحليلاً رسمياً ومراجعة من الأقران قبل الاستخدام الإنتاجي.
النقاط الرئيسية
- يهدف leanVM إلى الحد الأدنى: مجموعة تعليمات من أربع أوامر وإثباتات مضغوطة تستهدف تقليل تكاليف المُثبِت.
- يركز على التكرار والتجميع: تجعل STARKs متعددة الخطوط وعمليات بحث logup التكرار وتجميع XMSS أكثر عملية.
- جزء من خارطة طريق Ethereum طويلة الأمد: يعكس الاقتراح دفعاً أوسع نحو أدوات تشفير قوية وأنيقة بدلاً من الإصلاحات المؤقتة.
الخلاصة
يمثل اقتراح leanVM خطوة بارزة في خارطة طريق Ethereum نحو أدوات zk فعالة من حيث التكلفة وقابلة للتوسع. من خلال التركيز على مجموعة تعليمات مصغرة، وSTARKs متعددة الخطوط وعمليات بحث محسنة، يسعى leanVM إلى تقليل تكلفة المُثبِت وتمكين تكرار وتجميع أكثر كفاءة. يجب على المطورين والباحثين متابعة المناقشات الجارية والمراجعات من الأقران لتقييم التبني العملي.
قصص ذات صلة
- تم إنشاء ملايين محافظ Ethereum جديدة – ومع ذلك أصبح المستثمرون أكثر تشاؤماً من أي وقت مضى — قبل ساعتين — قراءة 3 دقائق
- ارتفاع Ethereum يخفي حقيقة مظلمة، يحذر باحث — قبل 18 ساعة — قراءة دقيقتين
- إليك كم تبلغ ثروة Vitalik Buterin، الشريك المؤسس لـ Ethereum في عام 2025 — قبل 24 ساعة — قراءة 3 دقائق
- سجلت صناديق Ethereum ETFs تدفقات خارجة بقيمة 787 مليون دولار بعد تدفقات قياسية في أغسطس — قبل يومين — قراءة دقيقتين
- حوت Ethereum يستيقظ بعد 3 سنوات – يراهن بـ 646 مليون دولار في ETH — قبل 3 أيام — قراءة دقيقتين
- Grayscale تطلق Ethereum ETF يدفع لك كل أسبوعين — قبل 3 أيام — قراءة دقيقتين
