A Cysic lançou hoje a primeira implementação de código aberto em FPGA de uma máquina virtual de conhecimento zero (zkVM), projetada para acelerar a geração de provas ZK para redes Layer 2 do Ethereum. O código, disponível no GitHub sob licenças Apache 2.0 e MIT, inclui o pipeline completo de prova para Venus, a zkVM de código aberto da Cysic, e é licenciado de forma permissiva para que pesquisadores e desenvolvedores possam estudar, modificar e implantar.
FPGAs (matrizes de portas programáveis em campo) podem executar computações de provas ZK ordens de grandeza mais rápido e com maior eficiência energética do que CPUs ou GPUs de uso geral. Se adotado por operadores de rollups e redes de provedores, a tecnologia pode reduzir os custos dos ZK-rollups a níveis competitivos com os optimistic rollups, potencialmente viabilizando aplicações para o consumidor, 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.