Apa sebenarnya proposal Ethereum baru-baru ini tentang leanVM? Mari kita lihat latar belakang dan alasannya terlebih dahulu. Untuk memahami LeanVM, pertama-tama seseorang harus memahami kerangka kerja leanEthereum. Kerangka kerja leanEthereum adalah peta jalan 10 tahun yang diusulkan oleh peneliti Ethereum Justin Drake (dirilis pada 31 Juli 2025), dengan tujuan realitas: TPS tingkat jutaan (L1 10k/L2 1M), verifikasi zkVM waktu nyata, dan keamanan tahan kuantum. Peta jalan ini mencakup zkVM, dan LeanVM bertujuan untuk mencapai zkVM (mesin virtual tanpa pengetahuan) yang diminimalkan untuk verifikasi keamanan, agregasi tanda tangan, dan bukti rekursif di era pasca-kuantum. Kerangka kerja leanEthereum terdiri dari tiga bagian: Konsensus Lean (konsensus yang disederhanakan, menggunakan bukti zk untuk memverifikasi akar status untuk mendukung perangkat rumah tangga biasa), eksekusi ramping (merampingkan eksekusi, menerapkan SNARKed L1 EVM, atau memperkenalkan RISC-V), dan data Lean (merampingkan data, skema ketersediaan data generasi baru). Dengan kata lain, LeanVM adalah bagian dari visi LeanEthereum untuk meningkatkan kinerja, keamanan, dan desentralisasi Ethereum dengan cara yang minimalis. zkVM mendukung verifikasi perhitungan dan status tanpa mengungkapkan konten data tertentu, sehingga cocok untuk verifikasi status real-time, perlindungan privasi, dan aplikasi lintas rantai. leanVM sendiri berfokus pada pemecahan kemacetan komputasi Ethereum, mencoba memecahkan masalah komputasi on-chain yang dapat dipercaya tetapi mahal dan murah tetapi kurang percaya pada komputasi off-chain. Ini terutama mencoba untuk mencapai bukti yang efisien melalui paradigma multilinier dan bidang kecil (seperti Koala Bear, bidang utama 31-bit), menggantikan PCS univariat tradisional (skema komitmen) untuk mengurangi overhead bukti. Menurut dokumentasinya, arsitektur LeanVM terutama menggunakan tabel AIR (Arithmetic Intermediate Representation) sebagai pengiriman polinomial multilinier; Validitas kendala dibuktikan melalui protokol pengecekan jumlah, dan evaluasi disederhanakan menjadi deklarasi polinomial tunggal; Set instruksi dasar mencakup penjumlahan, perkalian, referensi (akses memori), dan lompatan bersyarat. Hapus register penunjuk alokasi (AP), gunakan memori baca-saja (bagian publik dan komitmen), dan andalkan petunjuk (petunjuk) pemberi untuk mengalokasikan bingkai; Dalam hal pengoptimalan, bintang logup digunakan untuk mengurangi biaya komitmen, dan hanya 5 elemen bidang (PC, FP, dan tiga indeks memori) yang dilakukan per siklus, yang berkurang menjadi kurang dari 18 dibandingkan dengan zkVM lain (seperti KO), tetapi tingkat kendala ditingkatkan menjadi 5. Mendukung bukti rekursif: Kinerja yang tidak dioptimalkan saat ini adalah 2,7 detik/bagian rekursif, dan akselerasi target lebih dari 10 kali. Komponen kriptografi mencakup integrasi Poseidon 2 (fungsi hash ramah ZK), yang mendukung prakompilasi elemen 16 dan 24 bidang; Untuk agregasi dan rekursi XMSS (Optimized Hashbase Post-Quantum Signature Scheme), kunci umum adalah sekitar 50 byte, tanda tangannya adalah 3KB, dan < verifikasi adalah 1ms; Bidang dan PCS: Bidang Koala Bear, PCS multilinier, produk dalam, dan evaluasi multilinier di bidang yang diperluas. Dalam hal implementasi, validator Proof of Concept (POC) diimplementasikan dalam < 500 baris Python, menekankan kesederhanaan maksimum. Kompiler mendukung pembukaan sebaris dan perulangan, tetapi belum matang; Dalam hal pengujian, pengujian unit, uji integritas pulang pergi, dan tes jawaban yang diketahui menggunakan kerangka kerja Pytest. Skenario aplikasi LeanVM meliputi: agregasi tanda tangan (mengompresi ribuan tanda tangan menjadi bukti kecil, cocok untuk beberapa tanda tangan); lubang cacing privasi, game rantai penuh, pasar prediksi, verifikasi AI; penggunaan kembali lintas rantai (mungkin berlaku untuk BTC, dll.); Integrasi dengan leanMultisig (leanMultisig adalah kerangka kerja multi-tanda tangan berbasis hash yang menggunakan penandatanganan dan agregasi daun XMSS, mengandalkan bukti zk leanVM untuk memastikan keamanan pasca-kuantum). Status implementasi LeanVM, menurut informasi publik terbaru, leanVM masih dalam tahap awal penelitian dan pengembangan prototipe. Peta jalan Lean Ethereum dirilis pada 31 Juli 2025, dan diperkirakan Lean Ethereum akan menyelesaikan tugas prioritas pada tahun 2026, mendukung penerapan testnet pada tahun 2027-28, dan menyelesaikan pengujian pada tahun 2029. Secara keseluruhan, Lean Ethereum akan diterapkan setidaknya selama 3-5 tahun. Namun, melihat peta jalan secara keseluruhan, peta jalan Ethereum untuk masa depan mengungkapkan masa depan kinerja tinggi, desentralisasi, keamanan, dan privasi. Setelah mencapai TPS tingkat jutaan, tidak jauh lagi untuk menjadi lapisan pemukiman dunia.