The Nexus zkVM 3.0 spec: A 130-page paper on the circuitry and modules of the machine, plus benchmarks and other numeric evaluations. Available at: specification.nexus.xyz

The Verifiable Internet is happening. Following our Testnet II, which engaged millions worldwide in testing deep tech via a seamless UX experience, we released a new research-driven zkVM complete with code, full specs, walkthroughs and more. Serious cryptography. Massive scale.

Write in Rust, prove with Stwo. The Nexus zkVM brings client-side proving to the Rust fam. Stwo everywhere.

“With AI, we’re entering a world where it’s easy to make deep fakes with videos, images, anything. We will need ways to verify everything we see on the internet and zero knowledge proofs can be part of that solution.” - Jens Groth

We are living in the age of blur. AI-generated content, misinformation, and deepfakes are everywhere. Trust is collapsing. We don’t know what’s real anymore. That’s why we need a Verifiable Internet.

Updates on Google Wallet's ZK system. I've reached out to abhi shelat at Google and got the confirmation that the system described in the below paper was indeed deployed in Google Wallet. - Standard proposals and open source code are to be released. - The system makes the

Welcome Riyaz Faizullabhoy (Riyaz Faizullabhoy) as VP of Security. Riyaz joins Nexus after co-founding Bastion, being CTO a16z crypto, tech lead and architect for Novi (formerly Facebook’s Blockchain wallet), and more. blog.nexus.xyz/welcoming-riya…

The future of AI will be verifiable. Today we launched the Nexus Verifiable AI Lab — building systems we can trust, prove, and verify. In just weeks: investors aligned, partners engaged, thousands eager to join. Let’s build a more accountable future!

Constraints and Soundness Analysis for zkVM Instructions blog.nexus.xyz/constraints-an…

In a world where AI agents are increasingly autonomous and embedded in critical decision loops, trusting the output is no longer enough. We must prove how it was generated. Who ran the model? What data was used? What parameters were applied? And can we verify that,

In March, we released the zkVM 3.0. Take a deep dive into more detail about its design intent and features. New post from Michel Abdalla blog.nexus.xyz/zkvm-3-0-and-b…

An open letter from leading academics highlights the critical role of university research in driving crypto and blockchain innovation. They argue that the U.S. can't lead crypto innovation through regulation alone; it needs top-notch research. Opinion. trib.al/h1mMrF5

Crypto wasn’t built overnight – or by accident. It’s the result of decades of work by visionary cryptographers and computer scientists. We can’t continue to lead without investing in science. This piece gets it right.

Soon.

Testnet III has begun. Today, we're rolling out Testnet III across the United States, Vietnam, Nigeria, Russia, India, Indonesia, the United Kingdom, Hong Kong SAR and Mainland China. Tomorrow, the world. Learn more: nexus.xyz/testnet?utm_so…

Today, I had the privilege of talking with the person who created the foundation of our current online security ... Victor S Miller. Spotify: open.spotify.com/episode/2sDHST… Apple: podcasts.apple.com/gb/podcast/ase…

At BASS and SBC conversations around AI and crypto circled the same question: How do we trust systems we can’t see inside? Alex Fowler and Daniel Marin | nexus.xyz argued that trust will come from infrastructure designed for proofs. Read more: blog.nexus.xyz/verifiable-ai-…

In the 90s, cryptography was regulated like a weapon. Today, it might be our best defense against runaway AI. Just dropped a convo with Alex Fowler on the post-user internet, the ethics vacuum, and why verifiability matters more than ever.