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