When IsFoldingFlavor==true, Prover and Verifier produce NUM_RELATIONS - 1 challenges that are separatiing different relations. It's mostly needed for PG, as the challenges there do contribute to the subrelation degrees. When IsFoldingFlavor==false, we produce a single challenge and use its's powers to separate the relations.
Turn RelationSeparator for the latter Flavor into an array, populate it before entering the Sumcheck, remove the redundant method.
Benefits:
When
IsFoldingFlavor==true, Prover and Verifier produceNUM_RELATIONS - 1challenges that are separatiing different relations. It's mostly needed for PG, as the challenges there do contribute to the subrelation degrees. WhenIsFoldingFlavor==false, we produce a single challenge and use its's powers to separate the relations.Turn
RelationSeparatorfor the latter Flavor into an array, populate it before entering the Sumcheck, remove the redundant method.Benefits: