Propozycja leanVM autorstwa Vitalika Buterina to minimalistyczna maszyna wirtualna zero-knowledge zaprojektowana w celu obniżenia kosztów transakcji na Ethereum i poprawy skalowalności. Wykorzystuje czteroinstrukcyjne ISA, wieloliniowe STARKi oraz logup lookups, aby umożliwić wydajną rekursję i agregację XMSS przy znacznie niższym obciążeniu przetwarzania.
-
Minimalistyczny projekt zkVM: czteroinstrukcyjne ISA plus wieloliniowe STARKi dla efektywnych kosztowo dowodów.
-
Skierowany na rekursję i agregację XMSS w celu zmniejszenia obciążenia dla dowodzącego oraz kosztów weryfikacji on-chain.
-
Przedstawiony przez Vitalika Buterina jako część roadmapy Ethereum w kierunku lżejszych, bardziej eleganckich narzędzi kryptograficznych.
leanVM: minimalistyczna propozycja zkVM Vitalika Buterina mająca na celu obniżenie kosztów Ethereum i zwiększenie skalowalności. Dowiedz się, co to oznacza dla rollupów i projektowania protokołów — przeczytaj teraz.
Czym jest leanVM i dlaczego ma znaczenie dla Ethereum?
leanVM to proponowana minimalistyczna maszyna wirtualna zero-knowledge, która stawia na prostotę i niskie koszty dla dowodzącego. Projekt koncentruje się na czteroinstrukcyjnym ISA, wieloliniowych STARKach oraz logup lookups, aby umożliwić wydajną rekursję i agregację, potencjalnie zmniejszając zużycie zasobów w porównaniu do cięższych implementacji zkVM.
Jak leanVM poprawia skalowalność Ethereum?
leanVM skraca czas dowodzenia poprzez uproszczenie zestawu instrukcji i struktury dowodu. Wieloliniowe STARKi zmniejszają narzut wielkości dowodu, a logup lookups usprawniają dostęp do stanu. Te wybory pomagają uczynić rekursję i agregację XMSS tańszymi, co może przełożyć się na większą przepustowość rollupów i niższe opłaty za transakcję.
Vitalik Buterin przedstawił tę propozycję jako próbę pisania „kompaktowego kodu” i budowania długoterminowych, łatwych w utrzymaniu prymitywów kryptograficznych zamiast tymczasowych łatek skalujących.
Kiedy Vitalik zaproponował leanVM i co powiedział?
Propozycja pojawiła się 8 września 2025 roku podczas dyskusji na temat roadmapy Ethereum. Vitalik Buterin opisał leanVM jako część decydującej fazy ewolucji technicznej Ethereum, podkreślając kompaktowy, elegancki projekt protokołu zamiast tymczasowych łatek.
Jakie są techniczne wyróżniki leanVM?
Kluczowe elementy to czteroinstrukcyjne ISA, aby zachować minimalizm semantyki wykonania. Łączy to z wieloliniowymi STARKami, aby zmniejszyć narzut dowodu oraz logup lookups, by zoptymalizować dostęp do stanu. Te wybory mają na celu uczynienie rekursji i agregacji XMSS tańszymi w praktyce.
Najczęściej zadawane pytania
Jak leanVM wpłynie na rollupy?
leanVM może obniżyć koszty dowodzenia dla rollupów poprzez uproszczenie modelu obliczeniowego i generowania dowodów. Niższy narzut dla dowodzącego może zmniejszyć wydatki operatorów i poprawić przepustowość dla projektów optimistic i zk-rollup, które wdrożą kompatybilne narzędzia.
Czy leanVM jest bezpieczny w porównaniu do istniejących zkVM?
Bezpieczeństwo zależy od implementacji i wyborów kryptograficznych. leanVM opiera się na dowodach STARK, które są uznawane za bezpieczne post-kwantowo; jednak każda nowa maszyna wirtualna wymaga formalnej analizy i recenzji środowiska przed wdrożeniem produkcyjnym.
Kluczowe wnioski
- leanVM stawia na minimalizm: Czteroinstrukcyjne ISA i kompaktowe dowody mają na celu obniżenie kosztów dowodzenia.
- Skupienie na rekursji i agregacji: Wieloliniowe STARKi i logup lookups czynią rekursję i agregację XMSS bardziej praktycznymi.
- Część długoterminowej roadmapy Ethereum: Propozycja odzwierciedla szerszy nacisk na odporne, eleganckie narzędzia kryptograficzne zamiast tymczasowych rozwiązań.
Podsumowanie
Propozycja leanVM stanowi znaczący krok w roadmapie Ethereum w kierunku skalowalnych, efektywnych kosztowo narzędzi opartych o zk. Poprzez nacisk na minimalistyczne ISA, wieloliniowe STARKi i zoptymalizowane lookups, leanVM dąży do obniżenia kosztów dowodzenia i umożliwienia bardziej wydajnej rekursji oraz agregacji. Programiści i badacze powinni śledzić bieżące dyskusje i recenzje środowiska, aby ocenić praktyczną adopcję.
Powiązane artykuły
- Miliony nowych portfeli Ethereum utworzonych – a jednak inwestorzy są bardziej niedźwiedzi niż kiedykolwiek — 2 godziny temu — 3 min czytania
- Rajd Ethereum ukrywa mroczną rzeczywistość, ostrzega badacz — 18 godzin temu — 2 min czytania
- Oto ile wart jest współzałożyciel Ethereum Vitalik Buterin w 2025 roku — 24 godziny temu — 3 min czytania
- Ethereum ETF odnotowują odpływy na poziomie 787M USD po rekordowych napływach w sierpniu — 2 dni temu — 2 min czytania
- Ethereum Whale budzi się po 3 latach – stakuje 646M USD w ETH — 3 dni temu — 2 min czytania
- Grayscale uruchamia Ethereum ETF, który wypłaca co 2 tygodnie — 3 dni temu — 2 min czytania
