Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture. - Morgan Thomas; Mamy Ratsimbazafy; Marcin Bugaj; Lewis Revill; Carlo Modica; Sebastian Schmidt; Ventali Tan; Daniel Lubarov; Max Gillett; Wei Dai (CoRR, 2025)