Як виглядає zkVM, спеціально розроблений для консенсусу Ethereum? У цьому епізоді (4/6 мінісеріалу @LeanEthereum року) дослідники з Ethereum Foundation, Томас Коратгер (@tcoratger) та Еміль, обговорюють з @nico_mnbl дизайн і реалізацію leanVM — мінімальної віртуальної машини, що використовується для агрегування постквантових підписів. Вони охоплюють: – Чому leanVM використовує віртуальну машину замість фіксованих схем для підтримки гнучкої агрегації XMSS та рекурсивної композиції доказів – Архітектура leanVM: мінімальний набір інструкцій (4 коди операцій), розроблений для простоти та формальної верифікації – Стек доведення, що лежить в основі LeanVM: багатолінійна арифметизація, сумна перевірка та схема зобов'язань Веїра – Деталі реалізації: оптимізоване CPU-доведення з Plonky3, техніки SIMD та хешування Poseidon2 – Бенчмарки та обмеження щодо рекурсії та пропускної здатності агрегації XMSS Вони також обговорюють дизайн специфікацій, методологію бенчмаркінгу та відкриті питання щодо впровадження постквантової криптографії в Ethereum. Послухайте повний епізод. —-------------------- ТАЙМКОДИ 03:36 Чому було обрано LeanVM 07:50 LeanVM Мінімалістичний дизайн 08:34 Простота замість швидкості 19:34 Охорона та відбір на полі Бенчмарки продуктивності та агрегації 20:41 28:14 Специфікація Ethereum Python