Michel Abdalla

ETHPrague 2025 Field Notes

ETHPrague 2025 brought together leading voices from the Ethereum and broader Web3 ecosystem to discuss the future of decentralized technology. With a rich program of fireside chats, panels, and deep-dive talks, the event explored critical topics from AI and zero-knowledge proofs to post-quantum cryptography and user experience innovations. The highlights

June 21, 2025 - 11 min read

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 theoretical and applied domains. With 123 research papers, a vibrant lineup of distinguished and invited talks, and multiple community events, this year’s program showcased a wide-ranging exploration of Secure

June 09, 2025 - 12 min read

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. The landscape of zero-knowledge virtual machines (zkVMs) is evolving quickly, driven by the demand for scalable, efficient, and reliable systems that can prove the correct execution of arbitrary programs regardless

May 30, 2025 - 10 min read

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, we’ve recently been experimenting with how AI tools can support the development of zkVM circuits — especially in detecting errors, proposing optimizations, and improving specification clarity. This post outlines our

May 16, 2025 - 3 min read