Jolt tukee 64-bittistä RISC-V:tä (ja nopeutuu jatkuvasti)