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, we're not just building another L1 blockchain; we're creating the infrastructure for an AI-native financial system. Today, I want to share a key component of this
- 6 min read

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 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
- 20 min read

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 alignment rise sharply. At ETHSF, Nexus and Nethermind organized a panel discussion as part of a Verifiable Computation event that explored the future of online interactions in the era of
- 3 min read

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, 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
- 3 min read

The Verifiable Internet: Trust by Proof

We’ve spent the last three decades building a global digital system without a native way to verify anything. Content is copyable. Identity is spoofable. AI is unaccountable. Even computation — the thing we rely on to automate decisions and enforce contracts — runs invisibly, with no way to prove what happened.
- 3 min read

Partnering with Finoa Consensus Services

We’re excited to announce a strategic partnership with Finoa Consensus Services. This collaboration marks another significant step in scaling our capabilities and accelerating the mission to build the Verifiable Internet. Finoa Consensus Services (FCS) bridges the gap between crypto innovation and institutional needs giving investors early access to carefully
- 2 min read

X Space Recap with Jens Groth: Verifiable AI and Startup Mode for Civilization

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
- 2 min read

Infinite Compute, Infinite Security: The Road to the Universal Proof

At Nexus, we’re building a world supercomputer — one capable of proving billions of computations per second. The reason? We need to fundamentally rethink blockchain infrastructure to prepare for the AI age. The Nexus L1 is built for ultra-high performance. It’s also built for access: anyone, anywhere can connect
- 4 min read

Seeing the System: Joseph Zhang on Mapping Nexus

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
- 3 min read
Join our mission

Subscribe to get regular updates as we continue our mission to build the Verifiable Internet. We send a monthly digest of news and important updates about new releases.

* indicates required