Modulus ZK·Nov 4, 2025Unpacking zkVMsYou are probably thinking, why should I care about zkVMs?A response icon2A 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
BroadNotes by 0xjacobzhao·Aug 25, 2025从 zkVM 到开放证明市场：RISC Zero与Boundless解析By 0xjacobzhao | https://linktr.ee/0xjacobzhao
InKromabyKroma·Feb 11, 2025Kroma’s transition to zkVM Fault ProofThe Kroma network has successfully upgraded to version v2.1.1+geth.v0.6.1 (Kroma MPT hardfork).
Backdoor·Dec 16, 2024Jolt & LassoRead the latest and complete on my Notion: https://doutv.notion.site/Jolt-Lasso-1591aee049b480b7a44ad7d00e3e9265?pvs=4
InKromabyKroma·Nov 26, 2024zkEVM to zkVM: Enhancing Security and AuditabilityWe are paving the way for #zkVM to enhance security and auditability.
