Struct snarkvm_circuit::Field

pub struct Field<E>where
    E: Environment,
{ /* private fields */ }

Trait Implementations

The resulting type after applying the + operator.
Performs the + operation. Read more
The resulting type after applying the + operator.
Performs the + operation. Read more
The resulting type after applying the + operator.
Performs the + operation. Read more
The resulting type after applying the + operator.
Performs the + operation. Read more
Performs the += operation. Read more
Performs the += operation. Read more
Returns a copy of the value. Read more
Performs copy-assignment from source. Read more

Returns true if self is less than other.

Returns true if self is greater than other.

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

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

Formats the value using the given formatter. Read more
Formats the value using the given formatter. Read more
The resulting type after applying the / operator.
Performs the / operation. Read more
The resulting type after applying the / operator.
Performs the / operation. Read more
The resulting type after applying the / operator.
Performs the / operation. Read more
The resulting type after applying the / operator.
Performs the / operation. Read more
Performs the /= operation. Read more
Performs the /= operation. Read more

Ejects the mode of the field circuit.

Ejects the field circuit as a console field.

Ejects the mode and primitive value of the circuit type. Read more
Returns true if the circuit is a constant. Read more
Returns true if the circuit is a public. Read more
Returns true if the circuit is a private. Read more

Returns true if self and other are equal.

This method costs 3 constraints.

Returns true if self and other are not equal.

This method constructs a boolean that indicates if self and other are not equal to each other.

This method costs 3 constraints.

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

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

Converts to this type from the input type.
Converts to this type from the input type.

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

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

Converts to this type from the input type.
Converts to this type from the input type.

Initializes a new base field element from a list of little-endian bits.

  • If bits_le is longer than E::BaseField::size_in_bits(), the excess bits are enforced to be 0s.
  • If bits_le is shorter than E::BaseField::size_in_bits(), it is padded with 0s up to base field size.

Initializes a new base field element from a list of big-endian bits without leading zeros.

Initializes a base field from a boolean.

Parses a string into a field circuit.

The associated error which can be returned from parsing.

Initializes a field circuit from a console field.

Initializes a constant of the given primitive value. Read more
The result after applying the operator.
Returns the multiplicative inverse of self. Read more
The result after applying the operator.
Returns the multiplicative inverse of self. Read more
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
The resulting type after applying the * operator.
Performs the * operation. Read more
The resulting type after applying the * operator.
Performs the * operation. Read more
The resulting type after applying the * operator.
Performs the * operation. Read more
The resulting type after applying the * operator.
Performs the * operation. Read more
Performs the *= operation. Read more
Performs the *= operation. Read more

Performs the unary - operation.

The resulting type after applying the - operator.

Performs the unary - operation.

The resulting type after applying the - operator.
Returns a new one constant.
Returns true if self is one.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.
Returns the mode of the output.

Parses a string into a field circuit.

The result after applying the operator.
Returns self to the power rhs. Read more
The result after applying the operator.
Returns self to the power rhs. Read more
The result after applying the operator.
Returns self to the power rhs. Read more
The result after applying the operator.
Returns self to the power rhs. Read more
The resulting type after applying the - operator.
Performs the - operation. Read more
The resulting type after applying the - operator.
Performs the - operation. Read more
The resulting type after applying the - operator.
Performs the - operation. Read more
The resulting type after applying the - operator.
Performs the - operation. Read more
Performs the -= operation. Read more
Performs the -= operation. Read more

Returns first if condition is true, otherwise returns second.

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

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

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

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

Outputs the lower k bits of an n-bit field element in little-endian representation. Enforces that the upper n - k bits are zero.

Outputs the lower k bits of an n-bit field element in big-endian representation. Enforces that the upper n - k bits are zero.

Outputs the upper k bits of an n-bit field element in little-endian representation. Enforces that the lower n - k bits are zero.

Outputs the upper k bits of an n-bit field element in big-endian representation. Enforces that the lower n - k bits are zero.

Returns the type name of the circuit as a string.

Returns a new zero constant.
Returns true if self is zero.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The alignment of pointer.
The type for initializers.
Initializes a with the given initializer. Read more
Dereferences the given pointer. Read more
Mutably dereferences the given pointer. Read more
Drops the object pointed to by the given pointer. Read more
Should always be Self
The resulting type after obtaining ownership.
Creates owned data from borrowed data, usually by cloning. Read more
Uses borrowed data to replace owned data, usually by cloning. Read more
Converts the given value to a String. Read more
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.