Cysic publie en open source la première implémentation FPGA pour les preuves ZK, visant des couches 2 Ethereum moins coûteuses.

Cysic a publié aujourd'hui la première implémentation open-source sur FPGA d'une machine virtuelle à connaissance nulle (zkVM), conçue pour accélérer la génération de preuves ZK pour les réseaux de couche 2 d'Ethereum. Le code, disponible sur GitHub sous les licences Apache 2.0 et MIT, inclut le pipeline de preuve complet pour Venus, la zkVM open-source de Cysic, et est sous licence permissive pour que les chercheurs et développeurs puissent l'étudier, le modifier et le déployer.

Les FPGA (réseaux de portes programmables in situ) peuvent exécuter des calculs de preuves ZK avec des ordres de grandeur plus rapides et plus économes en énergie que les CPU ou GPU généralistes. Si elle est adoptée par les opérateurs de rollups et les réseaux de prouveurs, cette technologie pourrait réduire les coûts des ZK-rollups à des niveaux compétitifs avec les rollups optimistes, permettant potentiellement des applications grand public telles que les paiements en stablecoins privés, la vérification d'identité préservant la vie privée, l'IA vérifiable sur des appareils locaux, et les jeux en chaîne avec finalité instantanée. Le code est actuellement en développement actif et n'a pas encore été audité pour une utilisation en production.