Proposal leanVM dari Vitalik Buterin adalah mesin virtual zero-knowledge minimal yang dirancang untuk menurunkan biaya transaksi Ethereum dan meningkatkan skalabilitas. leanVM menggunakan ISA empat instruksi, multilinear STARKs, dan logup lookups untuk memungkinkan rekursi yang efisien dan agregasi XMSS dengan beban pemrosesan yang jauh lebih rendah.
-
Desain zkVM minimal: ISA empat instruksi ditambah multilinear STARKs untuk pembuktian yang hemat biaya.
-
Menargetkan rekursi dan agregasi XMSS untuk mengurangi beban kerja prover dan biaya verifikasi on-chain.
-
Dipresentasikan oleh Vitalik Buterin sebagai bagian dari roadmap Ethereum menuju alat kriptografi yang lebih ringan dan elegan.
leanVM: Proposal zkVM minimal dari Vitalik Buterin untuk memangkas biaya Ethereum dan meningkatkan skalabilitas. Pelajari apa artinya bagi rollup dan desain protokol — baca sekarang.
Apa itu leanVM dan mengapa penting untuk Ethereum?
leanVM adalah proposal mesin virtual zero-knowledge minimal yang memprioritaskan kesederhanaan dan biaya prover yang rendah. Desainnya berpusat pada ISA empat instruksi, multilinear STARKs, dan logup lookups untuk memungkinkan rekursi dan agregasi yang efisien, berpotensi mengurangi penggunaan sumber daya dibandingkan implementasi zkVM yang lebih berat.
Bagaimana leanVM meningkatkan skalabilitas Ethereum?
leanVM mengurangi waktu prover dengan menyederhanakan set instruksi dan struktur pembuktian. Multilinear STARKs menurunkan overhead ukuran bukti dan logup lookups mempercepat akses state. Pilihan ini membantu membuat rekursi dan agregasi XMSS lebih murah, yang dapat diterjemahkan ke throughput rollup yang lebih tinggi dan biaya per transaksi yang lebih rendah.
Vitalik Buterin membingkai proposal ini sebagai upaya menulis “kode ringkas” dan membangun primitif kriptografi yang dapat dipelihara jangka panjang, bukan hanya tambalan skalabilitas sementara.
Kapan Vitalik mengusulkan leanVM dan apa yang dia katakan?
Proposal ini muncul pada 8 September 2025 selama diskusi roadmap Ethereum. Vitalik Buterin menggambarkan leanVM sebagai bagian dari fase penting dalam evolusi teknis Ethereum, menekankan desain protokol yang ringkas dan elegan daripada tambalan sementara.
Apa saja sorotan teknis dari leanVM?
Elemen kunci termasuk ISA empat instruksi untuk menjaga semantik eksekusi tetap minimal. Ini dipasangkan dengan multilinear STARKs untuk mengurangi overhead bukti dan logup lookups untuk mengoptimalkan akses state. Pilihan ini secara eksplisit bertujuan membuat rekursi dan agregasi XMSS lebih murah dalam praktiknya.
Pertanyaan yang Sering Diajukan
Bagaimana leanVM akan memengaruhi rollup?
leanVM dapat menurunkan biaya prover rollup dengan menyederhanakan model komputasi dan pembuatan bukti. Overhead prover yang lebih rendah dapat mengurangi biaya operator dan meningkatkan throughput untuk desain optimistic dan zk-rollup yang mengadopsi tooling yang kompatibel.
Apakah leanVM aman dibandingkan zkVM yang ada?
Keamanan tergantung pada implementasi dan pilihan kriptografi. leanVM mengandalkan bukti berbasis STARK, yang dianggap aman pasca-kuantum; namun, setiap VM baru memerlukan analisis formal dan peer review sebelum digunakan secara produksi.
Poin Penting
- leanVM bertujuan untuk minimalisme: ISA empat instruksi dan bukti ringkas menargetkan biaya prover yang lebih rendah.
- Fokus pada rekursi dan agregasi: Multilinear STARKs dan logup lookups membuat rekursi dan agregasi XMSS lebih praktis.
- Bagian dari roadmap jangka panjang Ethereum: Proposal ini mencerminkan dorongan yang lebih luas menuju alat kriptografi yang tangguh dan elegan daripada solusi sementara.
Kesimpulan
Proposal leanVM menandai langkah penting dalam roadmap Ethereum menuju alat berbasis zk yang skalabel dan hemat biaya. Dengan menekankan ISA minimal, multilinear STARKs, dan lookup yang dioptimalkan, leanVM bertujuan mengurangi biaya prover dan memungkinkan rekursi serta agregasi yang lebih efisien. Pengembang dan peneliti sebaiknya mengikuti diskusi dan peer review yang sedang berlangsung untuk menilai adopsi praktisnya.
Cerita terkait
- Jutaan Dompet Ethereum Baru Dibuat – Namun Investor Semakin Bearish — 2 jam lalu — 3 menit baca
- Reli Ethereum Menyembunyikan Realitas Gelap, Peneliti Memperingatkan — 18 jam lalu — 2 menit baca
- Inilah Berapa Kekayaan Co-Founder Ethereum Vitalik Buterin di 2025 — 24 jam lalu — 3 menit baca
- Ethereum ETF Catat Outflow $787M Setelah Rekor Inflow Agustus — 2 hari lalu — 2 menit baca
- Ethereum Whale Bangun Setelah 3 Tahun – Stake $646M dalam ETH — 3 hari lalu — 2 menit baca
- Grayscale Luncurkan Ethereum ETF yang Membayar Setiap 2 Minggu — 3 hari lalu — 2 menit baca
