Jolt: Introduction
Jolt - a Birds Eye View
1
Technically this statement is not strictly true. The input also allows some custom instructions that are not native RISC-V instructions.
A user supplies a guest program1 (a RISC-V elf) to Jolt. Jolt runs this program, and writes any outputs on the output tape, along with a proof. A proof is simply another program that the user runs to get output 0 or 1. If the output of the proof is 1, then the user agrees