Разработчики zkSync создали новый механизм доказательств

Команда Matter Labs, основной разработчик Ethereum-решения второго уровня zkSync Era, представила новую систему доказательства Boojum на основе протокола STARK.

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

«Повышенная производительность Boojum означает, что система может быстрее подтверждать транзакции, а сниженные требования к оборудованию улучшают доступ сети к более дешевым машинам для повышения горизонтальной масштабируемости», — заявили в Matter Labs. 

Ключевой особенностью Boojum является способность работать на графических процессорах потребительского уровня, требующих всего 16 Гб оперативной памяти. 

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

Обновление Boojum уже интегрировали в основную сеть, но оно находится на экспериментальной стадии. На текущий момент механизм способен только создавать и проверять «теневые доказательства» с использованием реальных производственных данных.

Matter Labs запустила альфа-версию zkSync Era в марте 2023 года. Позднее поддержку L2-решения добавили 1inch Network, Aave и Rocket Pool.

Напомним, в июне разработчики представили ZK Stack — модульный набор инструментов для создания сетей Hyperchains поверх и вместе с zkSync Era.