戻る

LayerZero Research、Joltの命令67種中60種を形式検証

検証中
  • LayerZero ResearchはJoltのバイトコード展開コンポーネントを形式検証した。
  • 67種類の展開可能なRISC-V命令のうち60種類を、約2.5カ月で完全に証明した。
  • 文書化されたエッジケースを理由に、7命令は未検証となった。
当サイトの情報はAIを用いて生成されており、正確性を保証するものではありません。 参考情報としてご活用ください。