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

TL;DR
The paper introduces Valida ISA, a specification optimized for zero-knowledge virtual machines, aiming to facilitate efficient proof generation and execution in zkVM environments.
Contribution
It provides a clear, formal specification of Valida ISA, supporting implementation and formalization efforts for zkVMs and compiler toolchains.
Findings
Defines unambiguous semantics for Valida programs
Supports formalization and implementation of zkVMs
Aids in developing efficient zk-proof systems
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
