Struct prio::pcp::gadgets::PolyEval

pub struct PolyEval<F: FieldElement> { /* fields omitted */ }

An arity-1 gadget that evaluates its input on some polynomial.

Implementations

impl<F: FieldElement> PolyEval<F>

pub fn new(poly: Vec<F>, num_calls: usize) -> Self

Returns a gadget that evaluates its input on poly. num_calls is the number of times this gadget is called by the validity circuit.

Trait Implementations

impl<F: FieldElement> Gadget<F> for PolyEval<F>

fn call(&mut self, inp: &[F]) -> Result<F, PcpError>

Evaluates the gadget on input inp and returns the output.

fn call_poly(&mut self, outp: &mut [F], inp: &[Vec<F>]) -> Result<(), PcpError>

Evaluate the gadget on input of a sequence of polynomials. The output is written to outp.

fn arity(&self) -> usize

Returns the arity of the gadget. This is the length of inp passed to call or call_poly.

fn degree(&self) -> usize

Returns the circuit’s arithmetic degree. This determines the minimum length the outp buffer passed to call_poly.

fn as_any(&mut self) -> &mut dyn Any

This call is used to downcast a Box<dyn Gadget<F>> to a concrete type.