Valida ISA Spec, version 1.0：面向 zkVM 的 zk 优化指令集架构
密码学与安全
2025-05-21 v1 编程语言
摘要
Valida 指令集架构专为在 zkVM 中实现，旨在优化快速、高效的执行证明。本规范旨在指导实现 zkVM 和针对 Valida 的编译器工具链的开发者。它提供了 Valida 程序语义的明确定义，可作为形式化工作的起点。
引用
@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}
}