ZkSync запускает новую систему проверки на основе STARK с упором на массовое использование

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

ZkSync Era — один из немногих протоколов масштабирования Ethereum, использующих накопительные пакеты с нулевым разглашением (ZK-свертки) для увеличения пропускной способности и скорости при одновременном снижении комиссий. ZK-свертки в основном используют две известные системы доказательств: zk-STARKs и Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (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 для тестирования, создания и проверки «теневых доказательств». В настоящее время разработчики тестируют теневые доказательства с реальными производственными данными перед полной миграцией и более широким использованием. Новая система будет модернизирована без повторного генезиса.

Соберите эту статью как NFT, чтобы сохранить этот момент в истории и показать свою поддержку независимой журналистики в криптопространстве.

Журнал: вот как ZK-свертки Ethereum могут стать совместимыми

Источник: Сointеlеgrаph