“Central to this approach is the so-called “glue-and-coprocessor” architecture, which blends a general-purpose zkVM with high-performance specialized circuits.”