Trait snarkvm_circuit_types::prelude::from::FromField

pub trait FromField {
    type Field: FieldTrait;

    // Required method
    fn from_field(field: Self::Field) -> Self;
}

Unary operator for converting from a base field element.

Required Associated Types

type Field: FieldTrait

Required Methods

fn from_field(field: Self::Field) -> Self

Casts a circuit from a base field element.

Implementations on Foreign Types

impl<E, I> FromField for Integer<E, I>where E: Environment, I: IntegerType,

fn from_field(field: <Integer<E, I> as FromField>::Field) -> Integer<E, I>

Casts an integer from a base field.

This method guarantees the following:

1. If the field element is larger than the integer domain, then the operation will fail.
2. If the field element is smaller than the integer domain, then the operation will succeed.

type Field = Field<E>

Implementors

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

type Field = Field<E>

impl<E> FromField for Scalar<E>where E: Environment,

type Field = Field<E>