Function verify_gkr 

pub fn verify_gkr<SC: StarkProtocolConfig, TS: FiatShamirTranscript<SC>>(
    proof: &GkrProof<SC>,
    transcript: &mut TS,
    total_rounds: usize,
) -> Result<(SC::EF, SC::EF, Vec<SC::EF>), GkrVerificationError<SC::EF>>

Verifies the GKR protocol for fractional sumcheck.

Reduces the fractional sum ∑{y ∈ H{ℓ+n_logup}} p̂(y)/q̂(y) = 0 to evaluation claims on the input layer polynomials p̂(ξ) and q̂(ξ) at a random point ξ.

The argument total_rounds must equal ℓ+n_logup.

Returns

(p̂(ξ), q̂(ξ), ξ) where ξ ∈ F_ext^{ℓ+n_logup} is the random evaluation point.