Jupiter Local Execution Proof