Skip to main content

eval_shift_predicate

zinc_piop::shift_predicate

Function eval_shift_predicate 

Source 
pub fn eval_shift_predicate<C: SemiringConfig>(
    cfg: &C,
    x: &[C::Element],
    y: &[C::Element],
    c: usize,
) -> C::Element
Expand description

Evaluate the shift predicate S_c(x, y) at arbitrary field points.

Uses the high/low decomposition: S_c(x, y) = L_0(x_lo, y_lo) · eq(x_hi, y_hi) + L_1(x_lo, y_lo) · next_mle(x_hi, y_hi)

where k = ceil(log2(2c)) determines the split point.

Cost: O(m + c · log c) field operations.