Theory to Code: Building the Breakthrough zkVM Jolt photo