A Blueprint for Protocol-Level Finance
Insights from the Messari Nexus Protocol Report Finance runs on complex computation, but almost none of it is verifiable from
Latest news (Page 18)
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,
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
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
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
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
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
Nexus and Fastnode Partner for Compute Capacity
We’re delighted to unveil a new partnership with Fastnode, a compute provider for decentralized networks specializing in high-throughput infrastructure