Enum arrabbiata::columns::Gadget

pub enum Gadget {
    App,
    EllipticCurveAddition,
    EllipticCurveScaling,
    Poseidon,
}

This enum represents the different gadgets that can be used in the circuit. The selectors are defined at setup time, can take only the values 0 or 1 and are public.

Variants

App

EllipticCurveAddition

EllipticCurveScaling

Poseidon

This gadget implement the Poseidon hash instance described in the top-level documentation. This implementation does use the “next row” to allow the computation of one additional round per row. In the current setup, with crate::NUMBER_OF_COLUMNS columns, we can compute 5 full rounds per row.

Trait Implementations

impl Clone for Gadget

fn clone(&self) -> Gadget

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Gadget

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl EnumCount for Gadget

const COUNT: usize = 4usize

impl IntoEnumIterator for Gadget

type Iterator = GadgetIter

fn iter() -> GadgetIter

impl PartialEq<Gadget> for Gadget

fn eq(&self, other: &Gadget) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Gadget

impl StructuralPartialEq for Gadget