Struct ark_r1cs_std::poly::polynomial::univariate::dense::DensePolynomialVar

pub struct DensePolynomialVar<F: PrimeField> {
    pub coeffs: Vec<FpVar<F>>,
}

Stores a polynomial in coefficient form, where coeffcient is represented by a list of Fpvar<F>.

Fields

coeffs: Vec<FpVar<F>>

The coefficient of x^i is stored at location i in self.coeffs.

Implementations

impl<F: PrimeField> DensePolynomialVar<F>

pub fn from_coefficients_slice(coeffs: &[FpVar<F>]) -> Self

Constructs a new polynomial from a list of coefficients.

pub fn from_coefficients_vec(coeffs: Vec<FpVar<F>>) -> Self

Constructs a new polynomial from a list of coefficients.

pub fn evaluate(&self, point: &FpVar<F>) -> Result<FpVar<F>, SynthesisError>

Evaluates self at the given point and just gives you the gadget for the result. Caution for use in holographic lincheck: The output has 2 entries in one matrix