Struct kimchi::alphas::Alphas

pub struct Alphas<F> { /* private fields */ }

This type can be used to create a mapping between powers of alpha and constraint types. See Self::default to create one, and Self::register to register a new mapping. Once you know the alpha value, you can convert this type to a Alphas.

Implementations

impl<F: Field> Alphas<F>

pub fn register(&mut self, ty: ArgumentType, powers: u32)

Registers a new ArgumentType, associating it with a number powers of powers of alpha. This function will panic if you register the same type twice.

pub fn get_exponents( &self, ty: ArgumentType, num: u32 ) -> MustConsumeIterator<Range<u32>, u32>

Returns a range of exponents, for a given ArgumentType, upperbounded by num. Note that this function will panic if you did not register enough powers of alpha.

pub fn instantiate(&mut self, alpha: F)

Instantiates the ranges with an actual field element alpha. Once you call this function, you cannot register new constraints via Self::register.

pub fn get_alphas( &self, ty: ArgumentType, num: u32 ) -> MustConsumeIterator<Cloned<Take<Skip<Iter<'_, F>>>>, F>

This function allows us to retrieve the powers of alpha, upperbounded by num

Trait Implementations

impl<F: Clone> Clone for Alphas<F>

fn clone(&self) -> Alphas<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for Alphas<F>

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

Formats the value using the given formatter.

impl<F: Default> Default for Alphas<F>

fn default() -> Alphas<F>

Returns the “default value” for a type.

impl<'de, F> Deserialize<'de> for Alphas<F>where F: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T> Display for Alphas<T>

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

Formats the value using the given formatter.

impl<F> Serialize for Alphas<F>where F: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.