Skip to main content

eq_ind_prefix_partial_eval_in

Function eq_ind_prefix_partial_eval_in 

Source
pub fn eq_ind_prefix_partial_eval_in<A: Allocator, P: PackedField>(
    alloc: &A,
    m: usize,
    point: &[P::Scalar],
) -> FieldVec<P, A>
Expand description

Computes the partial evaluation eq_{<m}(r, ·) into a buffer drawn from an allocator: the eq tensor of r with every entry at index >= m zeroed.

§Preconditions

  • m must be at most 2^n, where n is the length of point