返回

LayerZero Research 证明了67条Jolt字节码指令中的60条

正在验证中
  • LayerZero Research已对Jolt的字节码扩展组件进行了形式化验证。
  • 在约2.5个月内，67条可展开的RISC-V指令中有60条获得了完整证明。
  • 由于存在有据可查的边界情况，仍有7条指令未得到证明。
本网站上的信息是使用AI生成的，我们无法保证其准确性。 请仅作为参考信息使用。