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

We’re excited to announce the Nexus 2.0, the next iteration of our zero-knowledge machine. 2.0 is a major leap forward over last month’s 1.0 zkVM release, and introduces some key new components that are driving performance and efficiency gains: * A new prover frontend, powered by

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

We’re excited to announce $25M in Series A funding co-led by Lightspeed and Pantera, with participation from Dragonfly, Faction, and Blockchain Builders Fund. This follows a $2M seed round led by Dragonfly in late 2022, with participation from Alliance, SV Angel, Blockchain Builders Fund, and others. Enabling the Verifiable

We are excited to introduce the Nexus Project, a scientific and engineering effort aiming to bring truth to the field of computation. We’re bringing to life a new form of compute: verifiable computation, and are powering it with open science and open-source software so it can benefit everyone. Our