Cysic released the first open-source FPGA implementation of a zero-knowledge virtual machine (zkVM) today, designed to accelerate ZK-proof generation for Ethereum Layer 2 networks. The code, available on GitHub under Apache 2.0 and MIT licenses, includes the complete proving pipeline for Venus, Cysic's open-source zkVM, and is licensed permissively for researchers and developers to study, modify, and deploy.
FPGA (field-programmable gate arrays) can run ZK-proof computations orders of magnitude faster and more power-efficiently than general-purpose CPUs or GPUs. If adopted by rollup operators and prover networks, the technology could lower ZK-rollup costs to competitive levels with optimistic rollups, potentially enabling consumer applications including private stablecoin payments, privacy-preserving identity verification, verifiable AI on local devices, and on-chain gaming with instant finality. The code is currently under active development and not yet audited for production use.