pub fn verify_proof<'params, C: CurveAffine, E: EncodedChallenge<C>, T: TranscriptRead<C, E>>(
params: &'params ParamsIPA<C>,
msm: MSMIPA<'params, C>,
transcript: &mut T,
x: C::Scalar,
v: C::Scalar,
) -> Result<GuardIPA<'params, C>, Error>Expand description
Checks to see if the proof represented within transcript is valid, and a
point x that the polynomial commitment P opens purportedly to the value
v. The provided msm should evaluate to the commitment P being opened.