Skip to main content

eval_shift_predicate

zinc_piop::shift_predicate

Function eval_shift_predicate 

Source 
pub fn eval_shift_predicate<F: PrimeField>(
    x: &[F],
    y: &[F],
    c: usize,
    cfg: &F::Config,
) -> F
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.