ما هو بالضبط اقتراح Ethereum الأخير ل leanVM؟ دعونا نلقي نظرة على الخلفية والأسباب أولا. لفهم LeanVM ، يجب على المرء أولا فهم إطار عمل leanEthereum. إطار عمل leanEthereum هو خارطة طريق مدتها 10 سنوات اقترحها باحث Ethereum جاستن دريك (تم إصداره في 31 يوليو 2025) ، بهدف الواقع: TPS على مستوى المليون (L1 10k / L2 1M) ، والتحقق من zkVM في الوقت الفعلي ، والأمان المقاوم للكم. تتضمن خارطة الطريق هذه zkVMs ، وتهدف LeanVM إلى تحقيق zkVMs (الأجهزة الافتراضية صفر المعرفة) المصغرة للتحقق من الأمان وتجميع التوقيعات والبراهين المتكررة في عصر ما بعد الكم. يتكون إطار عمل leanEthereum من ثلاثة أجزاء: الإجماع الخالي من الهدر (إجماع مبسط ، باستخدام إثباتات zk للتحقق من جذور الحالة لدعم الأجهزة المنزلية العادية) ، والتنفيذ الخالي من الهدر (تبسيط التنفيذ ، أو تنفيذ SNARKed L1 EVM ، أو تقديم RISC-V) ، والبيانات الخالية من الهدر (تبسيط البيانات ، جيل جديد من مخطط توفر البيانات). بمعنى آخر ، يعد LeanVM جزءا من رؤية LeanEthereum لتحسين أداء Ethereum وأمانها ولامركزيتها بطريقة بسيطة. يدعم zkVM التحقق من الحسابات والحالة دون الكشف عن محتوى بيانات معين ، مما يجعله مناسبا للتحقق من الحالة في الوقت الفعلي وحماية الخصوصية والتطبيقات عبر السلاسل. تركز leanVM نفسها على حل اختناقات Ethereum الحسابية ، في محاولة لحل مشكلة الحوسبة الجديرة بالثقة والمكلفة على السلسلة والرخيصة ولكن عدم الثقة في الحوسبة خارج السلسلة. يحاول بشكل أساسي تحقيق براهين فعالة من خلال نماذج متعددة الخطوط والحقول الصغيرة (مثل Koala Bear ، حقل رئيسي 31 بت) ، ليحل محل PCS التقليدية أحادية المتغير (مخططات الالتزام) لتقليل نفقات الإثبات. وفقا لوثائقها ، تستخدم بنية LeanVM بشكل أساسي جداول AIR (التمثيل الحسابي الوسيط) كعمليات إرسال متعددة الحدود متعددة الخطوط. وتثبت صحة القيود من خلال بروتوكول التحقق من المجموع، ويبسط التقييم إلى إعلان واحد متعدد الحدود؛ تتضمن مجموعة التعليمات الأساسية الجمع والضرب والمرجع (الوصول إلى الذاكرة) والقفز الشرطي. قم بإزالة سجل مؤشر التخصيص (AP) ، واستخدم ذاكرة القراءة فقط (الأقسام العامة والالتزام) ، واعتمد على تلميحات (تلميحات) المؤكد لتخصيص الإطارات ؛ فيما يتعلق بالتحسين ، يتم استخدام نجمة تسجيل الدخول لتقليل تكاليف الالتزام ، ويتم الالتزام ب 5 عناصر ميدانية فقط (PC و FP وثلاثة فهارس ذاكرة) لكل دورة ، والتي يتم تقليلها إلى أقل من 18 مقارنة ب zkVMs الأخرى (مثل KO) ، ولكن يتم زيادة درجة القيد إلى 5. دعم الدليل المتكرر: الأداء الحالي غير المحسن هو 2.7 ثانية / جزء متكرر ، والتسارع المستهدف أكثر من 10 مرات. يتضمن مكون التشفير تكامل Poseidon 2 (وظيفة التجزئة الصديقة ل ZK) ، والتي تدعم التحويل البرمجي المسبق ل 16 و 24 عنصرا مجالا. لتجميع وتكرار XMSS (نظام توقيع ما بعد الكم المحسن لقاعدة التجزئة) ، يكون المفتاح المشترك حوالي 50 بايت ، والتوقيع 3 كيلوبايت ، والتحقق < 1 مللي ثانية ؛ الحقول وأجهزة الكمبيوتر الشخصية: حقول الدب الكوالا ، وأجهزة الكمبيوتر متعددة الخطوط ، والمنتج الداخلي والتقييم متعدد الخطوط في الحقول الممتدة. فيما يتعلق بالتنفيذ ، يتم تنفيذ مدقق إثبات المفهوم (POC) في < 500 سطر من Python ، مع التركيز على أقصى قدر من البساطة. يدعم المترجم المضمنة والحلقة ، ولكنه لم ينضج بعد. فيما يتعلق بالاختبار ، تستخدم اختبارات الوحدة واختبارات النزاهة ذهابا وإيابا واختبارات الإجابة المعروفة إطار عمل Pytest. تتضمن سيناريوهات تطبيق LeanVM ما يلي: تجميع التوقيعات (ضغط آلاف التوقيعات في براهين صغيرة ، مناسبة لتوقيعات متعددة) ؛ الثقب الدودي للخصوصية, ألعاب السلسلة الكاملة, أسواق التنبؤ, التحقق من الذكاء الاصطناعي; إعادة الاستخدام عبر السلاسل (قد تنطبق على BTC ، وما إلى ذلك) ؛ التكامل مع leanMultisig (leanMultisig هو إطار عمل متعدد التوقيعات قائم على التجزئة يستخدم توقيع أوراق XMSS وتجميعها ، بالاعتماد على براهين zk الخاصة ب leanVM لضمان أمان ما بعد الكم). حالة تنفيذ LeanVM ، وفقا لأحدث المعلومات العامة ، لا تزال leanVM في مرحلة البحث المبكرة وتطوير النموذج الأولي. تم إصدار خارطة طريق Ethereum الخالية من الهدر في 31 يوليو 2025 ، ومن المقدر أن Lean Ethereum ستكمل المهام ذات الأولوية في عام 2026 ، وتدعم نشر شبكة الاختبار في 2027-28 ، وتكمل الاختبار في عام 2029. بشكل عام ، سيتم تنفيذ Lean Ethereum لمدة 3-5 سنوات على الأقل. ومع ذلك ، بالنظر إلى خارطة الطريق الشاملة ، تكشف خارطة طريق Ethereum للمستقبل عن مستقبل من الأداء العالي واللامركزية والأمان والخصوصية. بمجرد أن يحقق مليون مستوى TPS ، فإنه ليس بعيدا ليصبح طبقة الاستيطان في العالم.