Как выглядит zkVM, разработанная специально для консенсуса Ethereum? В этом эпизоде (4/6 мини-сериала @LeanEthereum) исследователи из Фонда Ethereum, Томас Кораджер (@tcoratger) и Эмиль, обсуждают с @nico_mnbl проектирование и реализацию leanVM, минимальной виртуальной машины, используемой для агрегации постквантовых подписей. Они обсуждают: – Почему leanVM использует виртуальную машину вместо фиксированных схем для поддержки гибкой агрегации XMSS и рекурсивной компоновки доказательств – Архитектура leanVM: минимальный набор инструкций (4 опкода), разработанный для простоты и формальной верификации – Стек доказательства за LeanVM: многолинейная арифметизация, проверка суммы и схема обязательств Weir – Подробности реализации: оптимизированное для ЦП доказательство с Plonky3, техники SIMD и хеширование Poseidon2 – Бенчмарки и ограничения по рекурсии и пропускной способности агрегации XMSS Они также обсуждают проектирование спецификаций, методологию бенчмаркинга и открытые вопросы, касающиеся реализации постквантовой криптографии в Ethereum. Слушайте полный эпизод. —-------------------- ВРЕМЕННЫЕ КОДЫ 03:36 Почему был выбран LeanVM 07:50 Минималистичный дизайн LeanVM 08:34 Простота важнее скорости 19:34 Безопасность и выбор поля 20:41 Бенчмарки производительности и агрегации 28:14 Спецификация Ethereum на Python