pub type RapPhaseSeqPartialProof<SC> = <<SC as StarkGenericConfig>::RapPhaseSeq as RapPhaseSeq<Val<SC>, <SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::PartialProof;pub type RapPhaseSeqPartialProof<SC> = <<SC as StarkGenericConfig>::RapPhaseSeq as RapPhaseSeq<Val<SC>, <SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::PartialProof;