We're excited to announce the Nexus zkVM 3.0, our next-generation zero-knowledge virtual machine. This release is a full, ground-up rewrite of the previous generations of the Nexus zkVM, and is accompanied by a rigorous formal specification. The machine features a redesigned architecture for the robust, extensible, and