Your Complete Guide to Earning Camp Nexus Rewards
zkGM, Campers, thank you for being among the very first campers to join Camp Nexus. One of the most important
Latest news (Page 6)
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
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