Cysic lanzó hoy la primera implementación FPGA de código abierto de una máquina virtual de conocimiento cero (zkVM), diseñada para acelerar la generación de pruebas ZK para redes de Capa 2 de Ethereum. El código, disponible en GitHub bajo las licencias Apache 2.0 y MIT, incluye el pipeline de prueba completo para Venus, la zkVM de código abierto de Cysic, y está licenciado de forma permisiva para que investigadores y desarrolladores lo estudien, modifiquen e implementen.
Las FPGA (matrices de puertas programables en campo) pueden ejecutar cálculos de pruebas ZK órdenes de magnitud más rápido y con mayor eficiencia energética que las CPU o GPU de uso general. Si son adoptadas por operadores de rollups y redes de probadores, la tecnología podría reducir los costos de los ZK-rollups a niveles competitivos con los optimistic rollups, lo que potencialmente permitiría aplicaciones de consumo, como pagos estables privados, verificación de identidad con preservación de la privacidad, IA verificable en dispositivos locales y juegos en cadena con finalidad instantánea. El código se encuentra actualmente en desarrollo activo y aún no ha sido auditado para uso en producción.