Jolt can theoretically support 64-bit word sizes with relative ease. We would like to evaluate the extent to which RV64 would be more efficient than RV32 for certain programs. For example, we expect RV64 to generate smaller traces than RV32 for programs using a lot of large-field arithmetic.

As an initial exploration, we should compare the trace lengths of programs compiled to RV32IM vs RV64IM.