Type Alias AssignedNative 

pub type AssignedNative<F> = AssignedCell<F, F>;

AssignedNative

Aliased Type

pub struct AssignedNative<F> { /* private fields */ }

Trait Implementations

impl<F: CircuitField> From<&AssignedByte<F>> for AssignedNative<F>

fn from(value: &AssignedByte<F>) -> Self

Converts to this type from the input type.

impl<F: CircuitField> From<AssignedBit<F>> for AssignedNative<F>

fn from(bit: AssignedBit<F>) -> Self

Converts to this type from the input type.

impl<F: CircuitField> From<AssignedByte<F>> for AssignedNative<F>

fn from(value: AssignedByte<F>) -> Self

Converts to this type from the input type.

impl<F: CircuitField> InnerConstants for AssignedNative<F>

fn inner_zero() -> F

The zero of Self::Element (additive identity).

fn inner_one() -> F

The unit of Self::Element (multiplicative identity and/or additive generator).

impl<F: CircuitField> InnerValue for AssignedNative<F>

type Element = F

Represents the unassigned type corresponding to the InnerValue

fn value(&self) -> Value<F>

Returns the value of the assigned element.

impl<F: CircuitField> Instantiable<F> for AssignedNative<F>

fn as_public_input(element: &F) -> Vec<F>

This function is the off-circuit analog of crate::instructions::PublicInputInstructions::as_public_input.

impl<F: CircuitField> Vectorizable for AssignedNative<F>

const FILLER: F = F::ZERO

Value to fill the space in the buffer that is not occupied with vector data.