In the rapidly advancing domain of zero-knowledge virtual machines (zkVMs), the correctness and efficiency of specifications are foundational. At Nexus, we’ve recently been experimenting with how AI tools can support the development of zkVM circuits — especially in detecting errors, proposing optimizations, and improving specification clarity. This post outlines our

In a recent Nexus X Space, Nexus Chief Scientist Jens Groth, a pioneer in zero-knowledge cryptography, unpacked what verifiability means in the age of intelligent machines. Building on themes from “Verification in the Age of Exponential Intelligence” and Nexus’s Verifiable AI Lab announcement, the conversation traced the arc from

When Joseph Zhang joined Nexus a few weeks ago, one of the first projects he got involved with was the launch of a global map interface for the Nexus OS. The new map, which just launched, is not just a visual — it’s a window into the scale and shape