pub fn verify_whir<SC: StarkProtocolConfig, TS: FiatShamirTranscript<SC>>(
transcript: &mut TS,
config: &SC,
whir_proof: &WhirProof<SC>,
stacking_openings: &[Vec<SC::EF>],
commitments: &[SC::Digest],
u: &[SC::EF],
) -> Result<(), VerifyWhirError>Expand description
Verify a WHIR proof.
Assumes that all inputs have already been checked to have the correct sizes.