LayerZero Research 完成 Jolt 字节码扩展的形式化验证

[ZRO] 该团队使用精益定理证明器在大约 2.5 个月内正式验证了 67 条 RISC-V 指令中的 60 条，这标志着 zkVM 正确性的一个重要里程碑。现在验证的具体组件是字节码扩展，该过程在任何零知识证明发生之前将原始 RISC-V 指令转换为 Jolt 的内部表示。为什么 Jolt 以及为什么这现在很