Trait o1_utils::field_helpers::FieldHelpers

pub trait FieldHelpers<F> {
    // Required methods
    fn from_bytes(bytes: &[u8]) -> Result<F>;
    fn from_hex(hex: &str) -> Result<F>;
    fn from_bits(bits: &[bool]) -> Result<F>;
    fn to_bytes(&self) -> Vec<u8>;
    fn to_hex(&self) -> String;
    fn to_bits(&self) -> Vec<bool>;
    fn bits_to_field(&self, start: usize, end: usize) -> Result<F>;

    // Provided methods
    fn from_biguint(big: &BigUint) -> Result<F>
       where F: PrimeField { ... }
    fn to_biguint(&self) -> BigUint
       where F: PrimeField { ... }
    fn to_bigint_positive(&self) -> BigInt
       where F: PrimeField { ... }
    fn size_in_bytes() -> usize
       where F: PrimeField { ... }
    fn modulus_biguint() -> BigUint
       where F: PrimeField { ... }
}

Expand description

Field element helpers Unless otherwise stated everything is in little-endian byte order.

Required Methods§

fn from_bytes(bytes: &[u8]) -> Result<F>

Deserialize from bytes

fn from_hex(hex: &str) -> Result<F>

Deserialize from little-endian hex

fn from_bits(bits: &[bool]) -> Result<F>

Deserialize from bits

fn to_bytes(&self) -> Vec<u8>

Serialize to bytes

fn to_hex(&self) -> String

Serialize to hex

fn to_bits(&self) -> Vec<bool>

Serialize to bits

fn bits_to_field(&self, start: usize, end: usize) -> Result<F>

Create a new field element from this field elements bits

Provided Methods§

fn from_biguint(big: &BigUint) -> Result<F>
where F: PrimeField,

Deserialize from BigUint

fn to_biguint(&self) -> BigUint
where F: PrimeField,

Serialize field element to a BigUint

fn to_bigint_positive(&self) -> BigInt
where F: PrimeField,

Serialize field element f to a (positive) BigInt directly.

fn size_in_bytes() -> usize
where F: PrimeField,

Field size in bytes

fn modulus_biguint() -> BigUint
where F: PrimeField,

Get the modulus as BigUint

Object Safety§

This trait is not object safe.

Implementors§

impl<F: Field> FieldHelpers<F> for F