Jolt prend en charge RISC-V 64 bits (et continue de devenir plus rapide)