Struct VectorGadget 

pub struct VectorGadget<F: CircuitField> { /* private fields */ }

A gadget for vector operations of elements that are or fit within a native field element:

Implementations

impl<F> VectorGadget<F>

where F: CircuitField,

pub fn new( native_gadget: &NativeGadget<F, P2RDecompositionChip<F>, NativeChip<F>>, ) -> Self

Create a new vector gadgets.

Trait Implementations

impl<F, T, const M: usize, const A: usize> AssertionInstructions<F, AssignedVector<F, T, M, A>> for VectorGadget<F>

where F: CircuitField, T: Vectorizable, T::Element: Copy, Self: VectorInstructions<F, T, M, A> + EqualityInstructions<F, AssignedVector<F, T, M, A>>, NativeGadget<F, P2RDecompositionChip<F>, NativeChip<F>>: ArithInstructions<F, AssignedNative<F>> + EqualityInstructions<F, T> + EqualityInstructions<F, AssignedNative<F>> + AssertionInstructions<F, AssignedBit<F>> + AssertionInstructions<F, T> + BinaryInstructions<F>,

fn assert_equal( &self, layouter: &mut impl Layouter<F>, x: &AssignedVector<F, T, M, A>, y: &AssignedVector<F, T, M, A>, ) -> Result<(), Error>

Ensures that the given assigned elements are the same.

fn assert_not_equal( &self, layouter: &mut impl Layouter<F>, x: &AssignedVector<F, T, M, A>, y: &AssignedVector<F, T, M, A>, ) -> Result<(), Error>

Ensures that the given assigned elements are different.

fn assert_equal_to_fixed( &self, layouter: &mut impl Layouter<F>, x: &AssignedVector<F, T, M, A>, constant: <AssignedVector<F, T, M, A> as InnerValue>::Element, ) -> Result<(), Error>

Ensures that the given assigned element is equal to the given constant.

fn assert_not_equal_to_fixed( &self, layouter: &mut impl Layouter<F>, x: &AssignedVector<F, T, M, A>, constant: <AssignedVector<F, T, M, A> as InnerValue>::Element, ) -> Result<(), Error>

Ensures that the given assigned element is different from the given constant.

impl<F, const M: usize, T, const A: usize> AssignmentInstructions<F, AssignedVector<F, T, M, A>> for VectorGadget<F>

where F: CircuitField, T: Vectorizable, T::Element: Copy, Self: VectorInstructions<F, T, M, A>,

fn assign_fixed( &self, _layouter: &mut impl Layouter<F>, _constant: <AssignedVector<F, T, M, A> as InnerValue>::Element, ) -> Result<AssignedVector<F, T, M, A>, Error>

Assigns a fixed (constant) element.

fn assign( &self, layouter: &mut impl Layouter<F>, value: Value<<AssignedVector<F, T, M, A> as InnerValue>::Element>, ) -> Result<AssignedVector<F, T, M, A>, Error>

Assigns an element as a private input to the circuit.

fn assign_many( &self, layouter: &mut impl Layouter<F>, values: &[Value<Assigned::Element>], ) -> Result<Vec<Assigned>, Error>

Assigns several elements as private inputs to the circuit.

fn assign_many_fixed( &self, layouter: &mut impl Layouter<F>, values: &[Assigned::Element], ) -> Result<Vec<Assigned>, Error>

Assigns several elements fixed values to the circuit.

impl<F: Clone + CircuitField> Clone for VectorGadget<F>

fn clone(&self) -> VectorGadget<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + CircuitField> Debug for VectorGadget<F>

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

Formats the value using the given formatter.

impl<F, const M: usize, T, const A: usize> EqualityInstructions<F, AssignedVector<F, T, M, A>> for VectorGadget<F>

where F: CircuitField, T: Vectorizable, T::Element: Copy, Self: VectorInstructions<F, T, M, A>, NativeGadget<F, P2RDecompositionChip<F>, NativeChip<F>>: ArithInstructions<F, AssignedNative<F>> + EqualityInstructions<F, T> + EqualityInstructions<F, AssignedNative<F>> + BinaryInstructions<F>,

fn is_equal( &self, layouter: &mut impl Layouter<F>, x: &AssignedVector<F, T, M, A>, y: &AssignedVector<F, T, M, A>, ) -> Result<AssignedBit<F>, Error>

Returns 1 if the elements are equal, returns 0 otherwise.

fn is_not_equal( &self, layouter: &mut impl Layouter<F>, x: &AssignedVector<F, T, M, A>, y: &AssignedVector<F, T, M, A>, ) -> Result<AssignedBit<F>, Error>

Returns 0 if the elements are equal, returns 1 otherwise.

fn is_equal_to_fixed( &self, layouter: &mut impl Layouter<F>, x: &AssignedVector<F, T, M, A>, constant: Vec<T::Element>, ) -> Result<AssignedBit<F>, Error>

Returns 1 iff the given element equals the given constant.

fn is_not_equal_to_fixed( &self, layouter: &mut impl Layouter<F>, x: &AssignedVector<F, T, M, A>, constant: Vec<T::Element>, ) -> Result<AssignedBit<F>, Error>

Returns 1 iff the given element is not equal to the given constant.

impl<F, T, const M: usize, const A: usize> VectorInstructions<F, T, M, A> for VectorGadget<F>

where F: CircuitField, T: Vectorizable, T::Element: Copy, NativeGadget<F, P2RDecompositionChip<F>, NativeChip<F>>: RangeCheckInstructions<F, AssignedNative<F>> + AssignmentInstructions<F, T> + AssignmentInstructions<F, AssignedNative<F>> + AssignmentInstructions<F, AssignedBit<F>> + EqualityInstructions<F, AssignedNative<F>> + BinaryInstructions<F> + ControlFlowInstructions<F, AssignedNative<F>> + ControlFlowInstructions<F, T> + DivisionInstructions<F, AssignedNative<F>> + AssertionInstructions<F, AssignedBit<F>> + ArithInstructions<F, AssignedNative<F>>,

fn resize<const L: usize>( &self, layouter: &mut impl Layouter<F>, input: AssignedVector<F, T, M, A>, ) -> Result<AssignedVector<F, T, L, A>, Error>

Changes the size of an AssignedVector from M to L.

fn assign_with_filler( &self, layouter: &mut impl Layouter<F>, value: Value<Vec<T::Element>>, filler: Option<T::Element>, ) -> Result<AssignedVector<F, T, M, A>, Error>

Assigns vector with a chosen filler value.

fn padding_flag( &self, layouter: &mut impl Layouter<F>, input: &AssignedVector<F, T, M, A>, ) -> Result<(Box<[AssignedBit<F>; M]>, VectorBounds<F>), Error>

Returns a vector of AssignedBits signaling the cells that represent padding with a 1, and the ones that represent payload data with a 0. Also returns the (start, end) limits of the data in the buffer, since they are computed internally.

fn get_limits( &self, layouter: &mut impl Layouter<F>, input: &AssignedVector<F, T, M, A>, ) -> Result<(AssignedNative<F>, AssignedNative<F>), Error>

Returns the first and last positions of data in the buffer.

fn trim_beginning( &self, layouter: &mut impl Layouter<F>, input: &AssignedVector<F, T, M, A>, n_elems: usize, ) -> Result<AssignedVector<F, T, M, A>, Error>

Trims n_elems elements from the beginning of the vector. The trimmed elements will not be changed by filler elements, they will remain in the buffer but not as part of the effective payload.