Spark Program | CKB-VM Sail Formal Verification — Proving CKB-VM RISC-V Instruction Equivalence via Sail Specification and Coq Theorem Prover / CKB-VM Sail 形式化验证 — 基于 Sail 规范与 Coq 定理证明器的 CKB-VM RISC-V 指令等价性证明

[zz_tovarishch]

Hi 欢迎来到Nervos Talk以及申请Spark

目前论坛已经有了AI翻译插件，Spark不再强制需要双语撰写proposal、回复了

cc @xingtianchunyan