Random Walks

Jolt: Introduction

By Ari

Jolt - a Birds Eye View#

A user supplies a guest program[1] (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

Trace to Polynomials#

  1. Technically this statement is not strictly true. The input also allows some custom instructions that are not native RISC-V instructions. ↩