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

Команда Matter Labs, основной разработчик Ethereum-решения второго уровня zkSync Era, представила новую систему доказательства Boojum на основе протокола STARK. Данные: Twitter. Ранее сеть использовала модель 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.