The objective of this post is to take following figure from the Jolt documentation, and walk the reader through an actual real example of the proving in action.

For each component, we will explicitly describe the input and output components, and detail exactly how we compute them. We start with the setup before we get to actually proving claims.

1. Day 1: The Bytecode and The Trace
2. Day 2: The Committed Polynomials
3. Day 3: Why Do We Need Sumchecks? Constraints in Jolt
4. Day 4: Sumcheck Stages 1-3