LayerZero Blog·· 17 天前AI 评分58
LayerZero 宣布 Jolt 字节码扩展完成形式化验证
Jolt Bytecode Expansion: Formal Verification Complete
AI 导读
LayerZero团队宣布完成针对Jolt字节码扩展的Lean形式化验证，发布机器可检查证明仓库和预印本。证明范围为未实现RISC-V指令的扩展模拟与原程序语义一致，公告将Jolt其余组件列为后续验证工作。
来源：LayerZero Blog · layerzero.network
入库时 BTC：暂缺