triton_vm::fri

Function barycentric_evaluate

Source
pub fn barycentric_evaluate<FF: FiniteField + Mul<XFieldElement, Output = XFieldElement>>(
    codeword: &[FF],
    indeterminate: XFieldElement,
) -> XFieldElement
๐Ÿ‘ŽDeprecated since 0.42.2: use twenty_first::math::polynomial::barycentric_evaluate instead
Expand description

Use the barycentric Lagrange evaluation formula to extrapolate the codeword to an out-of-domain location.

Credit for (re)discovering this formula and especially its application to FRI goes to Al-Kindi.

ยงPanics

Panics if the codeword is some length that is not a power of 2 or greater than (1 << 32).