pub fn get_program_commit<C: Config>( builder: &mut Builder<C>, proof: &StarkProofVariable<C>, ) -> [Felt<C::F>; 8]