From Assumptions to Proof: Nexus Across Asia
What happens when you take a theory of the verifiable finance out of whitepapers and into real rooms, with real
76 articles
(Page 6)
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
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
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
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
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
Recap: Discord AMA with Diego Prats
In our first live Discord AMA, Nexus VP of Engineering Diego Prats joined the community to share the latest from
Verifiable Identity: A Better Way to Prove Who We Are
Digital identity has never been more important — or more complex. Every action online, from logging into an app to signing
Proof-Oriented Programming and the Future of Trust
In a time of rapid advances in cryptography, AI, and distributed systems, how do we reimagine trust? At the ETHSF
Verifiable Media: Proof not Perception
In an age when digital content is easily manipulated and circulated faster than ever, trust on the Internet is becoming
Agentic AI and Verifiable Computation at ETH SF
How can we build AI systems we actually trust? That was the question during a fireside chat at ETHSF’s