Nexus in Asia: Highlights from Shenzhen and Seoul
Nexus has been on the move. Over the past two weeks, Nexus brought our community together in Shenzhen and Seoul.
1 article
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,
