Cysic disponibiliza em código aberto a primeira implementação FPGA para provas ZK, visando camadas 2 da Ethereum mais baratas.

A Cysic lançou hoje a primeira implementação FPGA de código aberto de uma máquina virtual de conhecimento zero (zkVM), concebida para acelerar a geração de provas ZK para redes Ethereum Layer 2. O código, disponível no GitHub sob as licenças Apache 2.0 e MIT, inclui todo o pipeline de prova para a Venus, a zkVM de código aberto da Cysic, e está licenciado de forma permissiva para que investigadores e programadores possam estudar, modificar e implementar.

Os FPGA (field-programmable gate arrays) podem executar computações de prova ZK em ordens de grandeza mais rapidamente e de forma mais eficiente em termos energéticos do que CPUs ou GPUs de uso geral. Se adotada por operadores de rollup e redes de provadores, a tecnologia poderia reduzir os custos dos ZK-rollups para níveis competitivos com os optimistic rollups, potencialmente possibilitando aplicações de consumo, incluindo pagamentos privados com stablecoins, verificação de identidade com preservação de privacidade, IA verificável em dispositivos locais e jogos on-chain com finalidade instantânea. O código está atualmente em desenvolvimento ativo e ainda não foi auditado para uso em produção.