Cysic відкриває вихідний код першої реалізації FPGA для ZK-доказів, націленої на дешевші Ethereum Layer 2

Cysic сьогодні випустив першу відкриту FPGA-реалізацію віртуальної машини з нульовим знанням (zkVM), призначену для прискорення генерації ZK-доказів для мереж Ethereum Layer 2. Код, доступний на GitHub під ліцензіями Apache 2.0 та MIT, включає повний конвеєр доведення для Venus, відкритої zkVM від Cysic, і ліцензований дозвільно для дослідників та розробників для вивчення, модифікації та розгортання.

FPGA (програмовані вентильні матриці) можуть виконувати обчислення ZK-доказів на порядки швидше та енергоефективніше, ніж універсальні CPU чи GPU. Якщо технологію буде прийнято операторами rollup та мережами доказів, вона зможе знизити вартість ZK-rollup до конкурентного рівня з оптимістичними rollup, потенційно уможлививши споживчі застосунки, включно з приватними платежами в стейблкоїнах, верифікацією особи зі збереженням приватності, верифікованим ШІ на локальних пристроях та іграми в мережі з миттєвою фіналізацією. Код наразі активно розробляється і ще не пройшов аудит для використання в продакшені.