LayerZero Research formally verified Jolt zkVM bytecode expansion using Lean, proving 60 of 67 RISC-V instructions in roughly 2.5 months.
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results