StarkProofWithMetadata exists to combine a proof and a init_challenger_state. The latter is never used, and would be useful if we were proving each table in parallel after generating the CTL data, which we are not (they are proven sequentially).
This PR removes StarkProofWithMetadata and StarkProofWithMetadataTarget, and replaces them with the regular StarkProof and StarkProofTarget.
StarkProofWithMetadata
exists to combine aproof
and ainit_challenger_state
. The latter is never used, and would be useful if we were proving each table in parallel after generating the CTL data, which we are not (they are proven sequentially).This PR removes
StarkProofWithMetadata
andStarkProofWithMetadataTarget
, and replaces them with the regularStarkProof
andStarkProofTarget
.