Cysic открывает исходный код первой реализации FPGA для ZK-доказательств, нацеленной на более дешевые решения второго уровня Ethereum

Cysic сегодня выпустил первую открытую реализацию zero-knowledge виртуальной машины (zkVM) на ПЛИС (FPGA), предназначенную для ускорения генерации ZK-доказательств для сетей второго уровня (Layer 2) Ethereum. Код, доступный на GitHub под лицензиями Apache 2.0 и MIT, включает полный конвейер доказательств для Venus, открытой zkVM от Cysic, и лицензирован разрешительно для исследователей и разработчиков — для изучения, модификации и развёртывания.

ПЛИС (программируемые логические интегральные схемы) могут выполнять вычисления ZK-доказательств на порядки быстрее и энергоэффективнее, чем процессоры общего назначения (CPU) или графические ускорители (GPU). Если технология будет принята операторами роллапов и сетями провайдеров доказательств, это может снизить затраты на ZK-роллапы до конкурентного уровня с оптимистическими роллапами, потенциально открывая потребительские приложения, включая частные платежи в стейблкоинах, проверку личности с сохранением конфиденциальности, проверяемый ИИ на локальных устройствах и ончейн-игры с мгновенной финализацией. Код в настоящее время активно разрабатывается и ещё не прошел аудит для использования в производственных средах.