zkSync запускает новую систему доказательства под названием Boojum

zkSync запускает новую систему доказательства под названием Boojum

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

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

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

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

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

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

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

Читайте также: