Jolt is a RISC-V zero-knowledge virtual machine that uses sumcheck and lookup arguments to generate...