Struct snarkvm_circuit::Field
[−]pub struct Field<E> where
E: Environment, { /* private fields */ }
Trait Implementations
impl<E> Add<&Field<E>> for &Field<E> where
E: Environment,
impl<E> Add<&Field<E>> for &Field<E> where
E: Environment,
impl<E> Add<&Field<E>> for Field<E> where
E: Environment,
impl<E> Add<&Field<E>> for Field<E> where
E: Environment,
impl<E> Add<Field<E>> for &Field<E> where
E: Environment,
impl<E> Add<Field<E>> for &Field<E> where
E: Environment,
impl<E> Add<Field<E>> for Field<E> where
E: Environment,
impl<E> Add<Field<E>> for Field<E> where
E: Environment,
impl<E> AddAssign<&Field<E>> for Field<E> where
E: Environment,
impl<E> AddAssign<&Field<E>> for Field<E> where
E: Environment,
fn add_assign(&mut self, other: &Field<E>)
fn add_assign(&mut self, other: &Field<E>)
Performs the +=
operation. Read more
impl<E> AddAssign<Field<E>> for Field<E> where
E: Environment,
impl<E> AddAssign<Field<E>> for Field<E> where
E: Environment,
fn add_assign(&mut self, other: Field<E>)
fn add_assign(&mut self, other: Field<E>)
Performs the +=
operation. Read more
impl<E> Clone for Field<E> where
E: Clone + Environment,
<E as Environment>::BaseField: Clone,
impl<E> Clone for Field<E> where
E: Clone + Environment,
<E as Environment>::BaseField: Clone,
impl<E> Compare<Field<E>> for Field<E> where
E: Environment,
impl<E> Compare<Field<E>> for Field<E> where
E: Environment,
fn is_less_than(
&self,
other: &Field<E>
) -> <Field<E> as Compare<Field<E>>>::Output
fn is_less_than(
&self,
other: &Field<E>
) -> <Field<E> as Compare<Field<E>>>::Output
Returns true
if self
is less than other
.
fn is_greater_than(
&self,
other: &Field<E>
) -> <Field<E> as Compare<Field<E>>>::Output
fn is_greater_than(
&self,
other: &Field<E>
) -> <Field<E> as Compare<Field<E>>>::Output
Returns true
if self
is greater than other
.
fn is_less_than_or_equal(
&self,
other: &Field<E>
) -> <Field<E> as Compare<Field<E>>>::Output
fn is_less_than_or_equal(
&self,
other: &Field<E>
) -> <Field<E> as Compare<Field<E>>>::Output
Returns true
if self
is less than or equal to other
.
fn is_greater_than_or_equal(
&self,
other: &Field<E>
) -> <Field<E> as Compare<Field<E>>>::Output
fn is_greater_than_or_equal(
&self,
other: &Field<E>
) -> <Field<E> as Compare<Field<E>>>::Output
Returns true
if self
is greater than or equal to other
.
type Output = Boolean<E>
impl<E> Debug for Field<E> where
E: Environment,
impl<E> Debug for Field<E> where
E: Environment,
impl<E> Display for Field<E> where
E: Environment,
impl<E> Display for Field<E> where
E: Environment,
impl<E> Div<&Field<E>> for &Field<E> where
E: Environment,
impl<E> Div<&Field<E>> for &Field<E> where
E: Environment,
impl<E> Div<&Field<E>> for Field<E> where
E: Environment,
impl<E> Div<&Field<E>> for Field<E> where
E: Environment,
impl<E> Div<Field<E>> for &Field<E> where
E: Environment,
impl<E> Div<Field<E>> for &Field<E> where
E: Environment,
impl<E> Div<Field<E>> for Field<E> where
E: Environment,
impl<E> Div<Field<E>> for Field<E> where
E: Environment,
impl<E> DivAssign<&Field<E>> for Field<E> where
E: Environment,
impl<E> DivAssign<&Field<E>> for Field<E> where
E: Environment,
fn div_assign(&mut self, other: &Field<E>)
fn div_assign(&mut self, other: &Field<E>)
Performs the /=
operation. Read more
impl<E> DivAssign<Field<E>> for Field<E> where
E: Environment,
impl<E> DivAssign<Field<E>> for Field<E> where
E: Environment,
fn div_assign(&mut self, other: Field<E>)
fn div_assign(&mut self, other: Field<E>)
Performs the /=
operation. Read more
impl<E> Double for Field<E> where
E: Environment,
impl<E> Double for Field<E> where
E: Environment,
impl<E> Eject for Field<E> where
E: Environment,
impl<E> Eject for Field<E> where
E: Environment,
fn eject_mode(&self) -> Mode
fn eject_mode(&self) -> Mode
Ejects the mode of the field circuit.
fn eject_value(&self) -> <Field<E> as Eject>::Primitive
fn eject_value(&self) -> <Field<E> as Eject>::Primitive
Ejects the field circuit as a console field.
type Primitive = Field<<E as Environment>::Network>
sourcefn eject(&self) -> (Mode, Self::Primitive)
fn eject(&self) -> (Mode, Self::Primitive)
Ejects the mode and primitive value of the circuit type. Read more
sourcefn is_constant(&self) -> bool
fn is_constant(&self) -> bool
Returns true
if the circuit is a constant. Read more
sourcefn is_private(&self) -> bool
fn is_private(&self) -> bool
Returns true
if the circuit is a private. Read more
impl<E> Equal<Field<E>> for Field<E> where
E: Environment,
impl<E> Equal<Field<E>> for Field<E> where
E: Environment,
fn is_equal(&self, other: &Field<E>) -> <Field<E> as Equal<Field<E>>>::Output
fn is_equal(&self, other: &Field<E>) -> <Field<E> as Equal<Field<E>>>::Output
Returns true
if self
and other
are equal.
This method costs 3 constraints.
fn is_not_equal(&self, other: &Field<E>) -> <Field<E> as Equal<Field<E>>>::Output
fn is_not_equal(&self, other: &Field<E>) -> <Field<E> as Equal<Field<E>>>::Output
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.
type Output = Boolean<E>
impl<E> From<&Address<E>> for Field<E> where
E: Environment,
impl<E> From<&Address<E>> for Field<E> where
E: Environment,
impl<E> From<&Field<E>> for Address<E> where
E: Environment,
impl<E> From<&Field<E>> for Address<E> where
E: Environment,
impl<E> From<&Field<E>> for LinearCombination<<E as Environment>::BaseField> where
E: Environment,
impl<E> From<&Field<E>> for LinearCombination<<E as Environment>::BaseField> where
E: Environment,
fn from(field: &Field<E>) -> LinearCombination<<E as Environment>::BaseField>
fn from(field: &Field<E>) -> LinearCombination<<E as Environment>::BaseField>
Converts to this type from the input type.
impl<E> From<&LinearCombination<<E as Environment>::BaseField>> for Field<E> where
E: Environment,
impl<E> From<&LinearCombination<<E as Environment>::BaseField>> for Field<E> where
E: Environment,
fn from(
linear_combination: &LinearCombination<<E as Environment>::BaseField>
) -> Field<E>
fn from(
linear_combination: &LinearCombination<<E as Environment>::BaseField>
) -> Field<E>
Converts to this type from the input type.
impl<E> From<Address<E>> for Field<E> where
E: Environment,
impl<E> From<Address<E>> for Field<E> where
E: Environment,
impl<E> From<Field<E>> for Address<E> where
E: Environment,
impl<E> From<Field<E>> for Address<E> where
E: Environment,
impl<E> From<Field<E>> for LinearCombination<<E as Environment>::BaseField> where
E: Environment,
impl<E> From<Field<E>> for LinearCombination<<E as Environment>::BaseField> where
E: Environment,
fn from(field: Field<E>) -> LinearCombination<<E as Environment>::BaseField>
fn from(field: Field<E>) -> LinearCombination<<E as Environment>::BaseField>
Converts to this type from the input type.
impl<E> From<LinearCombination<<E as Environment>::BaseField>> for Field<E> where
E: Environment,
impl<E> From<LinearCombination<<E as Environment>::BaseField>> for Field<E> where
E: Environment,
fn from(
linear_combination: LinearCombination<<E as Environment>::BaseField>
) -> Field<E>
fn from(
linear_combination: LinearCombination<<E as Environment>::BaseField>
) -> Field<E>
Converts to this type from the input type.
impl<E> FromBits for Field<E> where
E: Environment,
impl<E> FromBits for Field<E> where
E: Environment,
fn from_bits_le(bits_le: &[<Field<E> as FromBits>::Boolean]) -> Field<E>
fn from_bits_le(bits_le: &[<Field<E> as FromBits>::Boolean]) -> Field<E>
Initializes a new base field element from a list of little-endian bits.
- If
bits_le
is longer thanE::BaseField::size_in_bits()
, the excess bits are enforced to be0
s. - If
bits_le
is shorter thanE::BaseField::size_in_bits()
, it is padded with0
s up to base field size.
fn from_bits_be(bits_be: &[<Field<E> as FromBits>::Boolean]) -> Field<E>
fn from_bits_be(bits_be: &[<Field<E> as FromBits>::Boolean]) -> Field<E>
Initializes a new base field element from a list of big-endian bits without leading zeros.
type Boolean = Boolean<E>
impl<E> FromBoolean for Field<E> where
E: Environment,
impl<E> FromBoolean for Field<E> where
E: Environment,
fn from_boolean(boolean: &<Field<E> as FromBoolean>::Boolean) -> Field<E>
fn from_boolean(boolean: &<Field<E> as FromBoolean>::Boolean) -> Field<E>
Initializes a base field from a boolean.
type Boolean = Boolean<E>
impl<E> FromStr for Field<E> where
E: Environment,
impl<E> FromStr for Field<E> where
E: Environment,
impl<E> Inject for Field<E> where
E: Environment,
impl<E> Inject for Field<E> where
E: Environment,
impl<E> Inv for &Field<E> where
E: Environment,
impl<E> Inv for &Field<E> where
E: Environment,
impl<E> Inv for Field<E> where
E: Environment,
impl<E> Inv for Field<E> where
E: Environment,
impl<E> Inverse for Field<E> where
E: Environment,
impl<E> Inverse for Field<E> where
E: Environment,
impl<E> Metrics<dyn Double<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Double<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Equal<Field<E>, Output = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Equal<Field<E>, Output = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn FromBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn FromBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn FromBoolean<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn FromBoolean<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Inverse<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Inverse<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Neg<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Neg<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn One<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn One<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Square<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Square<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn SquareRoot<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn SquareRoot<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Ternary<Output = Field<E>, Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Ternary<Output = Field<E>, Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn ToBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn ToBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn ToLowerBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn ToLowerBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn ToUpperBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn ToUpperBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Zero<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Zero<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Mul<&Field<E>> for &Field<E> where
E: Environment,
impl<E> Mul<&Field<E>> for &Field<E> where
E: Environment,
impl<E> Mul<&Field<E>> for Field<E> where
E: Environment,
impl<E> Mul<&Field<E>> for Field<E> where
E: Environment,
impl<E> Mul<Field<E>> for &Field<E> where
E: Environment,
impl<E> Mul<Field<E>> for &Field<E> where
E: Environment,
impl<E> Mul<Field<E>> for Field<E> where
E: Environment,
impl<E> Mul<Field<E>> for Field<E> where
E: Environment,
impl<E> MulAssign<&Field<E>> for Field<E> where
E: Environment,
impl<E> MulAssign<&Field<E>> for Field<E> where
E: Environment,
fn mul_assign(&mut self, other: &Field<E>)
fn mul_assign(&mut self, other: &Field<E>)
Performs the *=
operation. Read more
impl<E> MulAssign<Field<E>> for Field<E> where
E: Environment,
impl<E> MulAssign<Field<E>> for Field<E> where
E: Environment,
fn mul_assign(&mut self, other: Field<E>)
fn mul_assign(&mut self, other: Field<E>)
Performs the *=
operation. Read more
impl<E> Neg for &Field<E> where
E: Environment,
impl<E> Neg for &Field<E> where
E: Environment,
impl<E> Neg for Field<E> where
E: Environment,
impl<E> Neg for Field<E> where
E: Environment,
impl<E> One for Field<E> where
E: Environment,
impl<E> One for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Add<Field<E>, Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Add<Field<E>, Output = Field<E>> + 'static> for Field<E> where
E: Environment,
type Case = (CircuitType<Field<E>>, CircuitType<Field<E>>)
fn output_mode(
case: &<Field<E> as OutputMode<dyn Add<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn Add<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn Div<Field<E>, Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Div<Field<E>, Output = Field<E>> + 'static> for Field<E> where
E: Environment,
type Case = (CircuitType<Field<E>>, CircuitType<Field<E>>)
fn output_mode(
case: &<Field<E> as OutputMode<dyn Div<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn Div<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn Double<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Double<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
type Case = Mode
fn output_mode(
input: &<Field<E> as OutputMode<dyn Double<Output = Field<E>> + 'static>>::Case
) -> Mode
fn output_mode(
input: &<Field<E> as OutputMode<dyn Double<Output = Field<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn Equal<Field<E>, Output = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Equal<Field<E>, Output = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn FromBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn FromBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn FromBoolean<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn FromBoolean<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
type Case = Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn FromBoolean<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn FromBoolean<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn Inverse<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Inverse<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
type Case = Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn Inverse<Output = Field<E>> + 'static>>::Case
) -> Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn Inverse<Output = Field<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn Mul<Field<E>, Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Mul<Field<E>, Output = Field<E>> + 'static> for Field<E> where
E: Environment,
type Case = (CircuitType<Field<E>>, CircuitType<Field<E>>)
fn output_mode(
case: &<Field<E> as OutputMode<dyn Mul<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn Mul<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn Neg<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Neg<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
type Case = Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn Neg<Output = Field<E>> + 'static>>::Case
) -> Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn Neg<Output = Field<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn One<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn One<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
type Case = ()
fn output_mode(
_input: &<Field<E> as OutputMode<dyn One<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
fn output_mode(
_input: &<Field<E> as OutputMode<dyn One<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn Pow<Field<E>, Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Pow<Field<E>, Output = Field<E>> + 'static> for Field<E> where
E: Environment,
type Case = (CircuitType<Field<E>>, CircuitType<Field<E>>)
fn output_mode(
case: &<Field<E> as OutputMode<dyn Pow<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn Pow<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn Square<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Square<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
type Case = Mode
fn output_mode(
input: &<Field<E> as OutputMode<dyn Square<Output = Field<E>> + 'static>>::Case
) -> Mode
fn output_mode(
input: &<Field<E> as OutputMode<dyn Square<Output = Field<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn SquareRoot<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn SquareRoot<Output = Field<E>> + 'static> for Field<E> where
E: Environment,
type Case = Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn SquareRoot<Output = Field<E>> + 'static>>::Case
) -> Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn SquareRoot<Output = Field<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn Sub<Field<E>, Output = Field<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Sub<Field<E>, Output = Field<E>> + 'static> for Field<E> where
E: Environment,
type Case = (CircuitType<Field<E>>, CircuitType<Field<E>>)
fn output_mode(
case: &<Field<E> as OutputMode<dyn Sub<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn Sub<Field<E>, Output = Field<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn Ternary<Output = Field<E>, Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Ternary<Output = Field<E>, Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
type Case = (CircuitType<Boolean<E>>, Mode, Mode)
fn output_mode(
parameter: &<Field<E> as OutputMode<dyn Ternary<Output = Field<E>, Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
fn output_mode(
parameter: &<Field<E> as OutputMode<dyn Ternary<Output = Field<E>, Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn ToBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn ToBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
type Case = Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn ToBits<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn ToBits<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn ToLowerBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn ToLowerBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
type Case = Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn ToLowerBits<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn ToLowerBits<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn ToUpperBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn ToUpperBits<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
type Case = Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn ToUpperBits<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
fn output_mode(
case: &<Field<E> as OutputMode<dyn ToUpperBits<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> OutputMode<dyn Zero<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Zero<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
type Case = ()
fn output_mode(
_input: &<Field<E> as OutputMode<dyn Zero<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
fn output_mode(
_input: &<Field<E> as OutputMode<dyn Zero<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E> Parser for Field<E> where
E: Environment,
impl<E> Parser for Field<E> where
E: Environment,
impl<E> Pow<&Field<E>> for &Field<E> where
E: Environment,
impl<E> Pow<&Field<E>> for &Field<E> where
E: Environment,
impl<E> Pow<&Field<E>> for Field<E> where
E: Environment,
impl<E> Pow<&Field<E>> for Field<E> where
E: Environment,
impl<E> Pow<Field<E>> for &Field<E> where
E: Environment,
impl<E> Pow<Field<E>> for &Field<E> where
E: Environment,
impl<E> Pow<Field<E>> for Field<E> where
E: Environment,
impl<E> Pow<Field<E>> for Field<E> where
E: Environment,
impl<E> Square for Field<E> where
E: Environment,
impl<E> Square for Field<E> where
E: Environment,
impl<E> SquareRoot for Field<E> where
E: Environment,
impl<E> SquareRoot for Field<E> where
E: Environment,
type Output = Field<E>
fn square_root(&self) -> <Field<E> as SquareRoot>::Output
impl<E> Sub<&Field<E>> for &Field<E> where
E: Environment,
impl<E> Sub<&Field<E>> for &Field<E> where
E: Environment,
impl<E> Sub<&Field<E>> for Field<E> where
E: Environment,
impl<E> Sub<&Field<E>> for Field<E> where
E: Environment,
impl<E> Sub<Field<E>> for &Field<E> where
E: Environment,
impl<E> Sub<Field<E>> for &Field<E> where
E: Environment,
impl<E> Sub<Field<E>> for Field<E> where
E: Environment,
impl<E> Sub<Field<E>> for Field<E> where
E: Environment,
impl<E> SubAssign<&Field<E>> for Field<E> where
E: Environment,
impl<E> SubAssign<&Field<E>> for Field<E> where
E: Environment,
fn sub_assign(&mut self, other: &Field<E>)
fn sub_assign(&mut self, other: &Field<E>)
Performs the -=
operation. Read more
impl<E> SubAssign<Field<E>> for Field<E> where
E: Environment,
impl<E> SubAssign<Field<E>> for Field<E> where
E: Environment,
fn sub_assign(&mut self, other: Field<E>)
fn sub_assign(&mut self, other: Field<E>)
Performs the -=
operation. Read more
impl<E> Ternary for Field<E> where
E: Environment,
impl<E> Ternary for Field<E> where
E: Environment,
impl<E> ToBits for &Field<E> where
E: Environment,
impl<E> ToBits for &Field<E> where
E: Environment,
fn to_bits_le(&self) -> Vec<<&Field<E> as ToBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
fn to_bits_le(&self) -> Vec<<&Field<E> as ToBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
A: Allocator,
Outputs the little-endian bit representation of self
without trailing zeros.
fn to_bits_be(&self) -> Vec<<&Field<E> as ToBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
fn to_bits_be(&self) -> Vec<<&Field<E> as ToBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
A: Allocator,
Outputs the big-endian bit representation of self
without leading zeros.
type Boolean = Boolean<E>
impl<E> ToBits for Field<E> where
E: Environment,
impl<E> ToBits for Field<E> where
E: Environment,
fn to_bits_le(&self) -> Vec<<Field<E> as ToBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
fn to_bits_le(&self) -> Vec<<Field<E> as ToBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
A: Allocator,
Outputs the little-endian bit representation of self
without trailing zeros.
fn to_bits_be(&self) -> Vec<<Field<E> as ToBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
fn to_bits_be(&self) -> Vec<<Field<E> as ToBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
A: Allocator,
Outputs the big-endian bit representation of self
without leading zeros.
type Boolean = Boolean<E>
impl<E> ToLowerBits for Field<E> where
E: Environment,
impl<E> ToLowerBits for Field<E> where
E: Environment,
fn to_lower_bits_le(
&self,
k: usize
) -> Vec<<Field<E> as ToLowerBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
fn to_lower_bits_le(
&self,
k: usize
) -> Vec<<Field<E> as ToLowerBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
A: Allocator,
Outputs the lower k
bits of an n
-bit field element in little-endian representation.
Enforces that the upper n - k
bits are zero.
fn to_lower_bits_be(
&self,
k: usize
) -> Vec<<Field<E> as ToLowerBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
fn to_lower_bits_be(
&self,
k: usize
) -> Vec<<Field<E> as ToLowerBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
A: Allocator,
Outputs the lower k
bits of an n
-bit field element in big-endian representation.
Enforces that the upper n - k
bits are zero.
type Boolean = Boolean<E>
impl<E> ToUpperBits for Field<E> where
E: Environment,
impl<E> ToUpperBits for Field<E> where
E: Environment,
fn to_upper_bits_le(
&self,
k: usize
) -> Vec<<Field<E> as ToUpperBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
fn to_upper_bits_le(
&self,
k: usize
) -> Vec<<Field<E> as ToUpperBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
A: Allocator,
Outputs the upper k
bits of an n
-bit field element in little-endian representation.
Enforces that the lower n - k
bits are zero.
fn to_upper_bits_be(
&self,
k: usize
) -> Vec<<Field<E> as ToUpperBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
fn to_upper_bits_be(
&self,
k: usize
) -> Vec<<Field<E> as ToUpperBits>::Boolean, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
A: Allocator,
A: Allocator,
Outputs the upper k
bits of an n
-bit field element in big-endian representation.
Enforces that the lower n - k
bits are zero.
type Boolean = Boolean<E>
impl<E> TypeName for Field<E> where
E: Environment,
impl<E> TypeName for Field<E> where
E: Environment,
impl<E> Zero for Field<E> where
E: Environment,
impl<E> Zero for Field<E> where
E: Environment,
impl<E> FieldTrait for Field<E> where
E: Environment,
Auto Trait Implementations
impl<E> RefUnwindSafe for Field<E> where
<E as Environment>::BaseField: UnwindSafe + RefUnwindSafe,
impl<E> !Send for Field<E>
impl<E> !Sync for Field<E>
impl<E> Unpin for Field<E> where
<E as Environment>::BaseField: Unpin,
impl<E> UnwindSafe for Field<E> where
<E as Environment>::BaseField: UnwindSafe + RefUnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more