Economic Throughput and Security in a Proof-of-Stake Blockchain
The Nexus blockchain is still in the design stage, but we want to share some ideas about our vision for
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.
11 articles
AI Collective Talk with Alec James Recap
Over the last decade, AI has surged from speculative research to high-stakes deployment. During an AI Collective talk, Nexus business
AI, Proof, and the Future: Five Questions with Tanner Duve
The people working at Nexus come from a wide-variety of backgrounds, and each of them bring a different skill-set that
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