Back

LayerZero Research proves 60 of 67 Jolt bytecode instructions

Verifying
  • LayerZero Research formally verified Jolt's bytecode expansion component.
  • 60 of 67 expandable RISC-V instructions were fully proven in approximately 2.5 months.
  • Seven instructions remained unproven because of documented edge cases.
The information on this website is generated using AI and we cannot guarantee its accuracy. Please use it as reference information only.