Artificial Intelligence

A collection of 9 posts

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 strong focus on security. Development of a new version starts with a formal specification, which serves as the foundation for the code. This document outlines how instruction execution, register and
- 4 min read

Introducing the Nexus zkMCP: Verifiable Model Execution

Do you know what this number represents? "proof": "0xa3b9f83e95c3c2b...d904a" It’s not just a string of hex. This proof verifies that a machine learning model – a simple decision tree – evaluated an input with specific features, and classified it as low risk. It also proves exactly
- 5 min read

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

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

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

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 midst of exponential change. But what does exponential really mean when applied to artificial intelligence? To help visualize this, we highly recommend checking out ai-2027.com, a remarkable site that
- 5 min read

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 vision for how cryptography and Ethereum will converge to drive the next wave of innovation in artificial intelligence and user autonomy.  His central thesis: blockchains aren’t just infrastructure for
- 3 min read

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