Решение для масштабирования второго уровня Ethereum zkSync Era запустило новую систему доказательств на основе масштабируемого прозрачного аргумента знаний (STARK) под названием Boojum, которая обещает работать на общих процессорах (GPU) потребительского уровня.

ZkSync Era — один из немногих протоколов масштабирования Ethereum, использующих объединения с нулевым разглашением (ZK-rollup) для увеличения емкости и скорости при одновременном снижении комиссий. В ZK-сборках в основном используются две известные системы доказательства: zk-STARK и краткий неинтерактивный аргумент знания с нулевым разглашением (zk-SNARKs).

Новая система доказательств Boojum основана на основанной на Rust криптографической библиотеке от zkSync, которая реализует обновленную версию арифметических схем для zkSync Era и ее стека разработчиков ZK. Самое главное, что он позволяет запускать пруверы Boojum на обычных персональных компьютерах вместо мощного оборудования и серверов.

Обновление может работать на компьютерах с объемом оперативной памяти (ОЗУ) графического процессора всего 16 гигабайт (ГБ), что гарантирует обычным пользователям возможность участвовать в сетевой активности. Для примера, zkSync в настоящее время работает на кластере из 100 графических процессоров, каждый из которых имеет 80 ГБ оперативной памяти.

До запуска Boojum zkSync в основном зависела от zk-SNARK, которые были функциональными, но сравнительно менее прозрачными, чем системы на базе zk-STARK. Предыдущая система обрабатывала около 100 транзакций в секунду, а Boojum обещает предложить превосходные возможности обработки.

На заключительном этапе реализации новое доказательство будет включать доказательства STARK в непрозрачный SNARK на основе спаривания. По сути, это будет слегка модернизированная версия нынешней системы доказательств на основе SNARK. Это доказательство требует меньше места для хранения и его дешевле проверять, что снижает стоимость системы доказательства и, следовательно, самих транзакций.

В настоящее время Boojum доступен в сети zkSync Era для тестирования, создания и проверки «теневых доказательств». В настоящее время разработчики тестируют теневые доказательства на реальных производственных данных перед полной миграцией и более широким использованием. Новая система будет модернизирована без какого-либо регенезиса.