openvm_algebra_guest

Trait ExpBytes

Source 
pub trait ExpBytes: Field {
    // Provided methods
    fn exp_bytes(&self, is_positive: bool, bytes_be: &[u8]) -> Self
       where for<'a> &'a Self: Mul<&'a Self, Output = Self> { ... }
    fn exp_naf(&self, is_positive: bool, digits_naf: &[i8]) -> Self
       where for<'a> &'a Self: Mul<&'a Self, Output = Self> { ... }
}

Provided Methods§

Source

fn exp_bytes(&self, is_positive: bool, bytes_be: &[u8]) -> Self
where for<'a> &'a Self: Mul<&'a Self, Output = Self>,

Exponentiates a field element by a value with a sign in big endian byte order

Source

fn exp_naf(&self, is_positive: bool, digits_naf: &[i8]) -> Self
where for<'a> &'a Self: Mul<&'a Self, Output = Self>,

Exponentiates a field element using a signed digit representation (e.g. NAF). digits_naf is expected to be in LSB-first order with entries in {-1, 0, 1}.

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: Field> ExpBytes for F
where for<'a> &'a Self: Mul<&'a Self, Output = Self>,