The Nexus zkVM is steadily evolving, with each release introducing incremental improvements in functionality and performance — all while maintaining a strong focus on security. Development of a new version starts with a formal specification, which serves as the foundation for the code. This document outlines how instruction execution, register and

One of the main reasons to use a zkVM is ease of development: instead of having to manually implement a custom circuit to prove the correctness of a computation, you can just write normal code, compile it down to a well-known ISA like RISC-V, and let the zkVM do the