TY  - RPRT
TI  - Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
AU  - Morgan Thomas
AU  - Mamy Ratsimbazafy
AU  - Marcin Bugaj
AU  - Lewis Revill
AU  - Carlo Modica
AU  - Sebastian Schmidt
AU  - Ventali Tan
AU  - Daniel Lubarov
AU  - Max Gillett
AU  - Wei Dai
PY  - 2025
UR  - https://arxiv.org/abs/2505.08114
ID  - 2505.08114
ER  -