Paper 2025/1110
A Framework for Compiling Custom Languages as Efficiently Verifiable Virtual Machines
Abstract
In this work, we develop a framework for compiling languages into efficient Interactive Oracle Proofs (IOPs, or ‘circuits’), motivated by applications in verifiable Virtual Machine (zkVM) design. We provide a set of sufficient conditions on a language under which it can be compiled into an efficient IOP, alongside corresponding performance costs. We identify a subclass of languages, which we denote as traversable, and demonstrate how traversable languages can be efficiently compiled as circuits using established techniques. To demonstrate the efficacy of our compilation framework, we develop a zkVM for the Nock programming language by (1) formalizing the existing Nock specification, and (2) applying our techniques to design an efficient IOP representation for the Nock VM. The resulting circuit is small, on par with existing state-of-the-art zkVM designs and can be generated for any traversable language in a generic way.
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Preprint.
- Keywords
- zkvmzero-knowledge proofsnockprogramming languages
- Contact author(s)
-
akis @ kattis io
brian @ zorp io
phil @ zorp io
logan @ zorp io - History
- 2025-06-13: approved
- 2025-06-12: received
- See all versions
- Short URL
- https://ia.cr/2025/1110
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2025/1110,
author = {Assimakis A. Kattis and Brian Klatt and Philip Quirk and Logan Allen},
title = {A Framework for Compiling Custom Languages as Efficiently Verifiable Virtual Machines},
howpublished = {Cryptology {ePrint} Archive, Paper 2025/1110},
year = {2025},
url = {https://eprint.iacr.org/2025/1110}
}
