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
Latest news (Page 4)
Nexus Playground: A New Creative Contest Series
Nexus is built by the community and now we’re handing you the creative reins. We’re launching Nexus Playground,
Introducing the Nexus zkMCP: Verifiable Model Execution
Do you know what this number represents? "proof": "0xa3b9f83e95c3c2b...d904a" It’s not just a string
Community Building: Bria Han on Plugging In
At the heart of every transformative technology lies a human story. In the latest Nexus Chat, community manager Bria Han
Nexus Changelog 5.23.25
Every layer of the Nexus stack is designed to make verifiability feel seamless — whether you’re building, proving, or exploring.
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
Partnering With Starkware to Push the Boundaries of ZK
We’re proud to announce a new partnership with StarkWare, the trailblazers behind STARK-based zero-knowledge proofs. This collaboration helps us
The Nexus Execution Layer: Incrementally Verifiable Computation
What if a blockchain wasn’t just a ledger — but a fully verifiable, distributed supercomputer? This is the premise behind
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
Agentic Verifiability and the Future of Online Interactions
As the Internet becomes increasingly agentic — populated by autonomous systems acting on our behalf — the stakes for verifiability, trust, and
Constraints and Soundness Analysis for zkVM Instructions
In the rapidly advancing domain of zero-knowledge virtual machines (zkVMs), the correctness and efficiency of specifications are foundational. At Nexus,
