zkMIPS: A High-Level Specification