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 Nexus dedicated to exploring the frontier of verifiability, economics, and artificial intelligence in order to expand the boundaries of human and machine cooperation. To meet one of the most urgent

Marching Toward Mainnet

Nexus is building a world supercomputer to ensure that everything, from identity to digital content and AI models, is verifiable. We’ve been getting a lot of questions about what’s coming next. Here are a few upcoming milestones that we’re excited to share:  * Testnet III in Q2 2025

Announcing the Nexus Layer 1

We are excited to announce the Nexus Layer 1 blockchain: A planetary-scale supercomputer.  After multiple releases of the Nexus zkVM and the Nexus Network, this is the next step in the evolution of the Nexus Project. The Nexus Layer 1 will concentrate all the world’s compute power into a

A Supercomputer for Everyone

Launching a new Nexus network testnet We are building a supercomputer to make the Verifiable Internet possible. The goal of the Verifiable Internet is to make truth foundational, and put users in control.  We are launching the new Nexus network testnet at 9:00 am Pacific on December 9, 2024.

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 talks about what it means to build an open, global culture around a deeply technical mission — creating the Verifiable Internet. Curiosity → Community Bria’s journey into Web3 began after hearing

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. This issue of the Changelog reflects key improvements across the board, but the headline is simplicity: the Nexus CLI is now easier than ever to install and more powerful in

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 event featured Nexus Chief Scientist Jens Groth and Pi Squared founder Grigore Roșu, moderated by Nicholas Harness. Together, they unpacked one of the most urgent questions related to verifiability: As

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 advance the performance, privacy, and scalability of verified computation across the Nexus ecosystem. Nexus is building the world’s most powerful supercomputer. As part of that mission, The Nexus zkVM

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 the Nexus Execution Layer. Based on an IVC machine design, the Execution Layer is built to orchestrate and verify vast amounts of computation in real time. The goal is to

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 make verifiability a first-class property of intelligent systems. Backed by initial funding from Nexus, VIA will coordinate research, develop open industry standards, and accelerate the adoption of provable, auditable, and

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

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

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
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