Struct Fp 

pub struct Fp(/* private fields */);

Fp represents an element of the base field Fq of the BLS12-381 elliptic curve

Serialization:

• The 48 bytes represent the big-endian encoding of an element in the field Fp. The value is serialized as a big-endian integer.

Implementations

impl Fp

pub fn from_bytes(bytes: BytesN<FP_SERIALIZED_SIZE>) -> Self

pub fn to_bytes(&self) -> BytesN<FP_SERIALIZED_SIZE>

pub fn as_bytes(&self) -> &BytesN<FP_SERIALIZED_SIZE>

pub fn to_array(&self) -> [u8; 48]

pub fn from_array(env: &Env, array: &[u8; 48]) -> Self

pub fn as_val(&self) -> &Val

pub fn to_val(&self) -> Val

pub fn as_object(&self) -> &BytesObject

pub fn to_object(&self) -> BytesObject

impl Fp

pub fn env(&self) -> &Env

pub fn map_to_g1(&self) -> G1Affine

Maps this Fp element to a G1Affine point using the simplified SWU mapping.

Warning

The resulting point is on the curve but may not be in the prime-order subgroup (operations like pairing may fail). To ensure the point is in the prime-order subgroup, cofactor clearing must be performed on the output.

For applications requiring a point directly in the prime-order subgroup, consider using hash_to_g1, which handles subgroup checks and cofactor clearing internally.

Trait Implementations

impl Clone for Fp

fn clone(&self) -> Fp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Fp

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

Formats the value using the given formatter.

impl From<&Fp> for ScVal

fn from(v: &Fp) -> Self

Converts to this type from the input type.

impl From<Fp> for Bytes

fn from(v: Fp) -> Self

Converts to this type from the input type.

impl From<Fp> for BytesN<FP_SERIALIZED_SIZE>

fn from(v: Fp) -> Self

Converts to this type from the input type.

impl From<Fp> for ScVal

fn from(v: Fp) -> Self

Converts to this type from the input type.

impl Into<[u8; 48]> for Fp

fn into(self) -> [u8; 48]

Converts this type into the (usually inferred) input type.

impl IntoVal<Env, BytesN<FP_SERIALIZED_SIZE>> for Fp

fn into_val(&self, _e: &Env) -> BytesN<FP_SERIALIZED_SIZE>

impl Neg for &Fp

type Output = Fp

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Neg for Fp

type Output = Fp

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl PartialEq for Fp

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl SorobanArbitrary for Fp

Available on crate feature testutils only.

type Prototype = ArbitraryFp

A type that implements Arbitrary and can be converted to this SorobanArbitrary type.

impl TryFromVal<Env, &Fp> for Val

type Error = ConversionError

fn try_from_val(_env: &Env, elt: &&Fp) -> Result<Self, Self::Error>

impl TryFromVal<Env, Fp> for Val

type Error = ConversionError

fn try_from_val(_env: &Env, elt: &Fp) -> Result<Self, Self::Error>

impl TryFromVal<Env, Val> for Fp

type Error = ConversionError

fn try_from_val(env: &Env, val: &Val) -> Result<Self, Self::Error>

impl Eq for Fp