use crate::{field::Field, protocols::sumcheck::SumcheckClaim};

use super::{
	error::VerificationError,
	zerocheck::{reduce_zerocheck_claim, ZerocheckClaim, ZerocheckProof},
};

pub fn verify<'a, F>(
	claim: &'a ZerocheckClaim<F>,
	proof: ZerocheckProof,
	challenge: Vec<F>,
) -> Result<SumcheckClaim<'a, F>, VerificationError>
where
	F: Field,
{
	let _ = proof;
	reduce_zerocheck_claim(claim, challenge)
}
