Function binius_core::protocols::zerocheck::validate_witness
source · pub fn validate_witness<F, PW, W>(
claim: &ZerocheckClaim<F>,
witness: W
) -> Result<(), Error>
pub fn validate_witness<F, PW, W>(
claim: &ZerocheckClaim<F>,
witness: W
) -> Result<(), Error>