Samuel Judson

Samuel Judson

The Nexus zkVM 3.0

We're excited to announce the Nexus zkVM 3.0, our next-generation zero-knowledge virtual machine. This release is a full, ground-up rewrite of the previous generations of the Nexus zkVM, and is accompanied by a rigorous formal specification. The machine features a redesigned architecture for the robust, extensible, and

The Murky Proof System Waters: Part II

If you haven't done so yet check out Part I for the first part of this blog post, where we give some background on zkVMs and discuss the capabilities of a zkVM that we need or want a proof system to enable. Here, we continue by looking at

The Murky Proof System Waters: Part I

At the heart of the every zkVM is a proving scheme that turns a trace of a computation into an efficiently verifiable proof of its execution. This choice of proof system is one of the defining design decisions for a zkVM – it impacts speed, security, interoperability, and suitability for a
Join our mission

Subscribe to get regular updates as we continue our mission to build the Verifiable Internet. We send a monthly digest of news and important updates about new releases.

* indicates required