Uses new Jolt SDK to feed public inputs to guest program.
Also fixes some issues around load and store instructions.
TODO: Verifier currently reconstructs the full v_init memory polynomial when computing v_init(r). This is fine for programs with small memory usage, but this opening should take O(|bytecode| + |inputs|) instead of O(|memory|)
Uses new Jolt SDK to feed public inputs to guest program. Also fixes some issues around load and store instructions. TODO: Verifier currently reconstructs the full v_init memory polynomial when computing v_init(r). This is fine for programs with small memory usage, but this opening should take O(|bytecode| + |inputs|) instead of O(|memory|)