Struct snarkvm_circuit_types_address::Address

pub struct Address<E: Environment>(_);

Trait Implementations

impl<E: Clone + Environment> Clone for Address<E>

fn clone(&self) -> Address<E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Environment> Compare<Address<E>> for Address<E>

fn is_less_than(&self, other: &Self) -> Self::Output

Returns true if self is less than other.

fn is_greater_than(&self, other: &Self) -> Self::Output

Returns true if self is greater than other.

fn is_less_than_or_equal(&self, other: &Self) -> Self::Output

Returns true if self is less than or equal to other.

fn is_greater_than_or_equal(&self, other: &Self) -> Self::Output

Returns true if self is greater than or equal to other.

type Output = Boolean<E>

impl<E: Environment> Debug for Address<E>

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

Formats the value using the given formatter.

impl<E: Environment> Display for Address<E>

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

Formats the value using the given formatter.

impl<E: Environment> Eject for Address<E>

fn eject_mode(&self) -> Mode

Ejects the mode of the address.

fn eject_value(&self) -> Self::Primitive

Ejects the address.

type Primitive = Address<<E as Environment>::Network>

fn eject(&self) -> (Mode, Self::Primitive)

Ejects the mode and primitive value of the circuit type.

fn is_constant(&self) -> bool

Returns true if the circuit is a constant.

fn is_public(&self) -> bool

Returns true if the circuit is a public.

fn is_private(&self) -> bool

Returns true if the circuit is a private.

impl<E: Environment> Equal<Address<E>> for Address<E>

fn is_equal(&self, other: &Self) -> Self::Output

Returns true if self and other are equal.

fn is_not_equal(&self, other: &Self) -> Self::Output

Returns true if self and other are not equal.

type Output = Boolean<E>

impl<E: Environment> From<&Address<E>> for Field<E>

fn from(value: &Address<E>) -> Self

Returns the x-coordinate of the affine group element in the address.

impl<E: Environment> From<&Address<E>> for Group<E>

fn from(value: &Address<E>) -> Self

Returns the affine group element in the address.

impl<E: Environment> From<&Address<E>> for LinearCombination<E::BaseField>

fn from(address: &Address<E>) -> Self

Converts to this type from the input type.

impl<E: Environment> From<&Field<E>> for Address<E>

fn from(value: &Field<E>) -> Self

Initializes an address from the x-coordinate of an affine group element.

impl<E: Environment> From<&Group<E>> for Address<E>

fn from(value: &Group<E>) -> Self

Initializes an address from an affine group element.

impl<E: Environment> From<Address<E>> for Field<E>

fn from(value: Address<E>) -> Self

Returns the x-coordinate of the affine group element in the address.

impl<E: Environment> From<Address<E>> for Group<E>

fn from(value: Address<E>) -> Self

Returns the affine group element in the address.

impl<E: Environment> From<Address<E>> for LinearCombination<E::BaseField>

fn from(address: Address<E>) -> Self

Converts to this type from the input type.

impl<E: Environment> From<Field<E>> for Address<E>

fn from(value: Field<E>) -> Self

Initializes an address from the x-coordinate of an affine group element.

impl<E: Environment> From<Group<E>> for Address<E>

fn from(value: Group<E>) -> Self

Initializes an address from an affine group element.

impl<E: Environment> FromBits for Address<E>

fn from_bits_le(bits_le: &[Self::Boolean]) -> Self

Initializes an address from a list of little-endian bits without trailing zeros.

fn from_bits_be(bits_be: &[Self::Boolean]) -> Self

Initializes an address from a list of big-endian bits without leading zeros.

type Boolean = Boolean<E>

impl<E: Environment> FromField for Address<E>

fn from_field(x_coordinate: Field<E>) -> Self

Initializes an address from the x-coordinate of an affine group element.

type Field = Field<E>

impl<E: Environment> FromGroup for Address<E>

fn from_group(group: Self::Group) -> Self

Initializes an address from an affine group element.

type Group = Group<E>

type Scalar = Scalar<E>

impl<E: Environment> FromStr for Address<E>

fn from_str(string: &str) -> Result<Self>

Parses a string into a address.

type Err = Error

The associated error which can be returned from parsing.

impl<E: Environment> Inject for Address<E>

fn new(mode: Mode, address: Self::Primitive) -> Self

Initializes a new instance of an address.

type Primitive = Address<<E as Environment>::Network>

fn constant(value: Self::Primitive) -> Selfwhere Self: Sized,

Initializes a constant of the given primitive value.

impl<E: Environment> Metrics<dyn Ternary<Output = Address<E>, Boolean = Boolean<E>>> for Address<E>

type Case = (Mode, Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment> OutputMode<dyn Ternary<Output = Address<E>, Boolean = Boolean<E>>> for Address<E>

type Case = (CircuitType<Boolean<E>>, Mode, Mode)

fn output_mode(parameter: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment> Parser for Address<E>

fn parse(string: &str) -> ParserResult<'_, Self>

Parses a string into an address circuit.

impl<E: Environment> Ternary for Address<E>

fn ternary( condition: &Self::Boolean, first: &Self, second: &Self ) -> Self::Output

Returns first if condition is true, otherwise returns second.

type Boolean = Boolean<E>

type Output = Address<E>

impl<E: Environment> ToBits for &Address<E>

fn to_bits_le(&self) -> Vec<Self::Boolean>

Outputs the little-endian bit representation of self.x without trailing zeros.

fn to_bits_be(&self) -> Vec<Self::Boolean>

Outputs the big-endian bit representation of self.x without leading zeros.

type Boolean = Boolean<E>

impl<E: Environment> ToBits for Address<E>

fn to_bits_le(&self) -> Vec<Self::Boolean>

Outputs the little-endian bit representation of self.x without trailing zeros.

fn to_bits_be(&self) -> Vec<Self::Boolean>

Outputs the big-endian bit representation of self.x without leading zeros.

type Boolean = Boolean<E>

impl<E: Environment> ToField for Address<E>

fn to_field(&self) -> Field<E>

Returns the x-coordinate of the affine group element in the address.

type Field = Field<E>

impl<E: Environment> ToGroup for Address<E>

fn to_group(&self) -> Self::Group

Returns the affine group element in the address.

type Group = Group<E>

type Scalar = Scalar<E>

impl<E: Environment> TypeName for Address<E>

fn type_name() -> &'static str

Returns the type name of the circuit as a string.

impl<E: Environment> AddressTrait for Address<E>