halo2_base::utils

Trait BigPrimeField

Source
pub trait BigPrimeField: ScalarField {
    // Required method
    fn from_u64_digits(val: &[u64]) -> Self;
}
Expand description

Helper trait to convert to and from a BigPrimeField by converting a list of u64 digits

Required Methods§

Source

fn from_u64_digits(val: &[u64]) -> Self

Converts a slice of u64 to BigPrimeField

  • val: the slice of u64
§Assumptions
  • val has the correct length for the implementation
  • The integer value of val is already less than the modulus of Self

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

Source§

impl<F> BigPrimeField for F
where F: ScalarField + From<[u64; 4]>,