“Pico’s modular “glue-and-coprocessor” architecture combines a general-purpose zkVM with high-performance specialized circuits”