Skip to main content

zerocheck_fix_last_variable

sp1_hypercube::prover

Function zerocheck_fix_last_variable 

Source 
pub fn zerocheck_fix_last_variable<K: Field, F: Field, EF: ExtensionField<F> + Add<K, Output = EF> + Mul<K, Output = EF> + From<K> + ExtensionField<K>, A>(
    poly: ZeroCheckPoly<K, F, EF, A>,
    alpha: EF,
) -> ZeroCheckPoly<EF, F, EF, A>
Expand description

This function will set the last variable to alpha.