Valida ISA 正式规范（PDF ⬇️） 本规范旨在指导 Valida 的零知识虚拟机（zkVMs）和编译器工具链的实施者。 它提供了 Valida 程序语义的明确定义，并可作为形式化工作的起点。