Fenbushi Capital недавно опубликовала обширный блог о сравнении восьми различных zkVM. () Вот краткое содержание, включая ключевые результаты и выводы.

Что такое zkVM? zkVM предназначены для криптографической проверки корректности выполнения программ без раскрытия входных данных или промежуточных вычислительных состояний. Что касается доказательства блоков Ethereum, zkVM синтезируют три основных криптографических гарантии для проверки всех переходов состояния: · Доказательства согласованности памяти для чтения и записи · Доказательства кодирования инструкций · Доказательства инструкций

Как zkVM могут масштабировать Ethereum? Вместо повторного выполнения каждой транзакции валидаторы могут проверять сжатое криптографическое доказательство, что очень эффективно и может значительно увеличить пропускную способность L1.

Блог Fenbushi представляет стандартизированную рамочную систему для бенчмаркинга, направленную на то, чтобы сделать производительность zkVM более сопоставимой. Он оценивает восемь zkVM — SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus и Novanet — по четырем вычислительным задачам и трем показателям производительности (время провайдера, размер доказательства и пиковое использование ОЗУ).

Среди различных систем доказательства есть несколько преобладающих, таких как основанные на FRI-STARK, Nova, Lasso lookup и GKR. Архитектуры zkVM можно дополнительно классифицировать на две преобладающие парадигмы: стиль vRAM и модульный стиль.

Оборудование и тестовые программы, использованные для бенчмаркинга: Бенчмарки проводились на системе Linux с установленной Ubuntu 24.04, 8 виртуальными ЦП, 192 ГБ ОЗУ и графическим процессором NVIDIA RTX 5090 с 32 ГБ видеопамяти. Четыре тестовые программы, использованные для оценки, включали: 1. Вычисление 100,000-го числа Фибоначчи. 2. Вычисление хеша SHA2–2048. 3. Проверка подписи ECDSA с использованием кривой secp256k1. 4. Симуляция 100 транзакций перевода Ethereum (ETHTransfer).

Время доказательства для SHA2–2048: Для криптографических операций, таких как SHA2, использование предкомпилированных ускорений является распространенной стратегией оптимизации.

Время подтверждения для 100 ETH-транзакций: Резюме: RISC Zero немного медленнее, чем SP1 в тесте Фибоначчи, но выделяется в других трех тестовых программах как явный победитель.

Эффективность использования памяти и пиковое использование памяти: SP1 (GPU), RISC Zero (GPU) продемонстрировали относительно постоянное потребление памяти независимо от тестовой программы.

Размеры доказательств (в кБ) были зафиксированы следующим образом: RISC Zero и Jolt последовательно демонстрировали одни из самых компактных размеров доказательств среди оцененных бенчмарков.

Обзор производительности: В целом, производительность RISC Zero демонстрирует исключительную стабильность, в то время как SP1, OpenVM, Pico и Jolt достигли отличных результатов в некоторых отдельных категориях.

Выводы: RISC Zero, OpenVM и SP1 демонстрируют особенно высокую производительность, особенно при выполнении вычислительных задач, связанных с EVM, что делает их отличными кандидатами для масштабирования Ethereum. RISC Zero показывает исключительную эффективность по ключевым метрикам, которые имеют значение для блокчейн-приложений, и все это с эффективным использованием памяти и компактным размером доказательства. Поздравляем @RiscZero, @openvm_org и @SuccinctLabs!