LayerZero Research formally verified Jolt zkVM bytecode expansion using Lean, proving 60 of 67 RISC-V instructions in roughly 2.5 months.
Results that may be inaccessible to you are currently showing.
Hide inaccessible resultsResults that may be inaccessible to you are currently showing.
Hide inaccessible results