ZK-Tracer: A High-Performance Heterogeneous Accelerator for Zero-Knowledge VM Trace Generation
2026-05-25 • Hardware Architecture
Hardware Architecture
AI summaryⓘ
The authors study zero-knowledge virtual machines (zkVMs), which are important for zero-knowledge proofs but currently slow in practice. They find that the first step, called frontend execution and trace generation, is now the main performance problem. To fix this, they create ZK-Tracer, a special hardware accelerator designed to speed up this frontend work. Their tests show ZK-Tracer is much faster than current CPUs and greatly improves the overall system speed when combined with existing backend accelerators.
zero-knowledge proofszero-knowledge virtual machinesfrontend executiontrace generationhardware acceleratorASICinstruction set extensionpermutation trace unitsbackend provingmulti-core CPU
Authors
Jieran Cui, Zhengkai Wen, Haowen Fang, Yinan Zhu, Jia Xiong, Cheng Ni, Mingchi Zhang, Nan Guan, Xi Wang
Abstract
Zero-knowledge virtual machines (zkVMs) are a key technology for driving the large-scale adoption of zero-knowledge proofs (ZKP), but their performance bottlenecks severely limit their practicality. While current hardware acceleration research has exclusively focused on backend proving, we identify that the frontend execution and trace generation phase is rapidly emerging as the new system bottleneck. To address this challenge, we propose ZK-Tracer, the first hardware accelerator architecture specifically designed for the zkVM frontend. ZK-Tracer features a novel heterogeneous design comprising a Main Trace Unit and parallel Permutation Trace Units. It exposes a fine-grained interface to the host software through a lightweight instruction set extension, enabling efficient task offloading. Our ASIC implementation results demonstrate that ZK-Tracer achieves up to 1829x speedup in trace generation over a high-performance multi-core CPU. When integrated with existing backend proving accelerators, it delivers a remarkable 963x end-to-end performance improvement for the entire ZKP system.