Skip to main content

evaluate

Function evaluate 

Source
pub fn evaluate<F: Field>(entries: &[TensorEntry<F>], point: &[Vec<F>]) -> F
Expand description

The tensor’s multilinear extension at one point, evaluated directly from its entries.

This is the reference a folded claim is settled against. It reads the entries and the point, and nothing from the run that raised the claim.

The indicator is materialized in full, so the cost is one element per vertex of the point. Call it only where that fits.