Modulus ZK·Nov 4, 2025Unpacking zkVMsYou are probably thinking, why should I care about zkVMs?A response icon2
BroadNotes by 0xjacobzhao·Oct 27, 2025Brevis Research Report: The Infinite Verifiable Computing Layer of zkVM and ZK Data CoprocessorAuthor: 0xjacobzhao | linktr.ee/0xjacobzhao
BroadNotes by 0xjacobzhao·Oct 27, 2025Brevis研报：ZKVM 与数据协处理器的无限可信计算层作者：0xjacobzhao | https://linktr.ee/0xjacobzhao
Hideaki Takahashi·Oct 2, 2025Formal Verification of Real-World zkVMs with Runwai — Case Study ①In a previous post, we introduced Runwai, a new domain-specific language (DSL) for writing and verifying AIR (Algebraic Intermediate…
BroadNotes by 0xjacobzhao·Aug 25, 2025From zkVM to Open Proof Market: An Analysis of RISC Zero and BoundlessBy 0xjacobzhao | https://linktr.ee/0xjacobzhao
