У чому саме полягає нещодавня пропозиція Ethereum щодо leanVM? Давайте спочатку розберемося з передісторією та причинами. Щоб зрозуміти LeanVM, потрібно спочатку зрозуміти фреймворк leanEthereum. Фреймворк leanEthereum — це 10-річна дорожня карта, запропонована дослідником Ethereum Джастіном Дрейком (випущена 31 липня 2025 року), з метою реальності: мільйонний рівень TPS (L1 10k/L2 1M), перевірка zkVM у реальному часі та квантово-стійка безпека. Ця дорожня карта включає zkVM, і LeanVM спрямований на досягнення мінімізованих zkVM (віртуальних машин з нульовим розголошенням) для перевірки безпеки, агрегації підписів і рекурсивних доказів у постквантову епоху. Фреймворк leanEthereum складається з трьох частин: консенсус Lean (спрощений консенсус, використання доказів zk для перевірки коренів станів для підтримки звичайних побутових пристроїв), lean-виконання (оптимізація виконання, впровадження SNARKed L1 EVM або впровадження RISC-V) і Lean data (оптимізація даних, нове покоління схеми доступності даних). Іншими словами, LeanVM є частиною бачення LeanEthereum щодо покращення продуктивності, безпеки та децентралізації Ethereum мінімалістичним способом. zkVM підтримує перевірку обчислень і стану без розголошення конкретного вмісту даних, що робить його придатним для перевірки стану в реальному часі, захисту конфіденційності та крос-чейн програм. Сам leanVM зосереджується на вирішенні обчислювальних вузьких місць Ethereum, намагаючись вирішити проблему надійних, але дорогих обчислень у ланцюжку та дешевих, але відсутніх довіри до офчейн обчислень. В основному він намагається досягти ефективних доказів за допомогою мультилінійних парадигм і малих полів (таких як Koala Bear, 31-бітне просте поле), замінюючи традиційні одновимірні PCS (схеми зобов'язань) для зменшення накладних витрат на доведення. Згідно з документацією, архітектура LeanVM в основному використовує таблиці AIR (Arithmetic Intermediate Representation) як мультилінійні поліноміальні подання; Справедливість обмежень доводиться за допомогою протоколу перевірки суми, а оцінка спрощується до одного поліноміального оголошення; Базовий набір інструкцій включає додавання, множення, посилання (доступ до пам'яті) та умовний перехід. Видаліть регістр покажчика розподілу (AP), використовуйте пам'ять тільки для читання (розділи public і commitment) і покладайтеся на підказки (підказки) доказу для виділення кадрів; З точки зору оптимізації, для зниження витрат на зобов'язання використовується logup star, і за цикл фіксується лише 5 елементів поля (PC, FP та три індекси пам'яті), що зменшується до менш ніж 18 у порівнянні з іншими zkVM (наприклад, KO), але ступінь обмеження збільшується до 5. Підтримка рекурсивного доведення: поточна неоптимізована продуктивність становить 2,7 секунди/рекурсивна частина, а цільове прискорення більше ніж у 10 разів. Криптографічна складова включає інтеграцію Poseidon 2 (ZK-friendly хеш-функція), яка підтримує попередню компіляцію 16 і 24-польових елементів; Для агрегації та рекурсії XMSS (Optimized Hashbase Post-Quantum Signature Scheme) загальний ключ становить близько 50 байт, підпис – 3 КБ, а < перевірки – 1 мс; Поля та PCS: поля коала Ведмедя, мультилінійні PCS, внутрішня та мультилінійна оцінка в розширених полях. З точки зору реалізації, валідатор Proof of Concept (POC) реалізований у < 500 рядках Python, що підкреслює максимальну простоту. Компілятор підтримує вбудоване та циклічне розгортання, але ще не є зрілим; З точки зору тестування, модульні тести, тести на цілісність по колу та тести на відому відповідь використовують фреймворк Pytest. Сценарії застосування LeanVM включають: агрегацію підписів (стиснення тисяч підписів у невеликі докази, що підходить для кількох підписів); червоточина конфіденційності, повноланцюгові ігри, ринки прогнозів, перевірка ШІ; кросчейн-повторне використання (може застосовуватися до BTC і т.д.); Інтеграція з leanMultisig (leanMultisig — це фреймворк з мультипідписом на основі хешів, який використовує підписування та агрегацію XMSS листків, покладаючись на zk-докази leanVM для забезпечення пост-квантової безпеки). Статус впровадження LeanVM, згідно з останньою публічною інформацією, leanVM все ще знаходиться на ранній стадії досліджень та розробки прототипів. Дорожня карта lean Ethereum була випущена 31 липня 2025 року, і, за оцінками, Lean Ethereum виконає пріоритетні завдання у 2026 році, підтримуватиме розгортання тестової мережі у 2027-28 роках та завершить тестування у 2029 році. В цілому, Lean Ethereum буде впроваджуватися не менше 3-5 років. Однак, дивлячись на загальну дорожню карту, дорожня карта Ethereum на майбутнє відкриває майбутнє високої продуктивності, децентралізації, безпеки та конфіденційності. Як тільки вона досягне мільйонного рівня TPS, вона не за горами стане світовим шаром поселень.