Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
Cryptography and Security
2025-05-21 v1 Programming Languages
Abstract
The Valida instruction set architecture is designed for implementation in zkVMs to optimize for fast, efficient execution proving. This specification intends to guide implementors of zkVMs and compiler toolchains for Valida. It provides an unambiguous definition of the semantics of Valida programs and may be used as a starting point for formalization efforts.
Keywords
Cite
@article{arxiv.2505.08114,
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},
journal= {arXiv preprint arXiv:2505.08114},
year = {2025}
}