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
ETHPrague 2025 Field Notes
ETHPrague 2025 brought together leading voices from the Ethereum and broader Web3 ecosystem to discuss the future of decentralized technology.
Eurocrypt 2025 Field Notes: Invited Lectures, Awards, and Recent Results in Cryptography Research
Eurocrypt 2025, held in the heart of Europe, brought together the global cryptographic community to discuss cutting-edge research across both
zkVM 3.0 and Beyond: Toward Modular, Distributed Zero-Knowledge Proofs
In March, we released the zkVM 3.0, this post goes into more detail about its design intent and features.
Constraints and Soundness Analysis for zkVM Instructions
In the rapidly advancing domain of zero-knowledge virtual machines (zkVMs), the correctness and efficiency of specifications are foundational. At Nexus,
