Specialization, Verifiability, and the Machine Future: A Conversation with Nexus CEO Daniel Marin
In a recent episode of Web3 with Sam Kamani, Nexus founder and CEO Daniel Marin joined the show to unpack
4 articles
Using Coding Agents for zkVM Guests: Applications to Accountability
One of the main reasons to use a zkVM is ease of development: instead of having to manually implement a
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
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,
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