@misc{indiciae54cdbb2aadda,
  title = {Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture},
  author = {Morgan Thomas and Mamy Ratsimbazafy and Marcin Bugaj and Lewis Revill and Carlo Modica and Sebastian Schmidt and Ventali Tan and Daniel Lubarov and Max Gillett and Wei Dai},
  year = {2025},
  url = {https://arxiv.org/abs/2505.08114},
  note = {Source identifier: 2505.08114}
}