Nexus Changelog 7.04.25
Welcome to the latest edition of the Nexus Changelog — your biweekly dispatch from across our engineering teams. This update highlights
Artificial Intelligence
Nexus is working at the intersection of AI, blockchain, and verifiable computation. Find more of our research and thoughts about building a blockchain for the AI era.
9 articles
Automating constraints generation for the Nexus zkVM
The Nexus zkVM is steadily evolving, with each release introducing incremental improvements in functionality and performance — all while maintaining a
Introducing the Nexus zkMCP: Verifiable Model Execution
Do you know what this number represents? "proof": "0xa3b9f83e95c3c2b...d904a" It’s not just a string
X Spaces Recap: Exploring Verifiable AI with Pi Squared
Nexus and Pi Squared came together for a live X Spaces discussion titled “Proof Over Promises: Exploring Verifiable AI.” The
Introducing VIA: The Verifiable Intelligence Alliance
The Verifiable Intelligence Alliance (VIA) is a new initiative designed to bring together leaders in cryptography, AI, and economics to
MCP Server Support on Nexus: How Nexus is Connecting AI Agents to Web3
The relationship between blockchain and artificial intelligence represents one of the most significant technological convergences of our generation. At Nexus,
Using Coding Agents for zkVM Guests: Applications to Accountability
One of the main reasons to use a zkVM is ease of development: instead of having to manually implement a
Verification in the Age of Exponential Intelligence
AI is evolving fast — faster than many realize. For those paying attention, it’s obvious that we’re in the
Cryptography, Ethereum, and the Coming Age of Autonomous Agents
At the ETHSF Verifiable Computation: From Zero-Knowledge to Infinite Intelligence, Michal Zajac, Head of Research at Nethermind, offered a compelling
Making Verifiable AI a Reality
We’re excited to announce the launch of the Nexus Verifiable AI Lab, a new research and development division of