labrador::relation::env_params

Struct EnvironmentParameters

pub struct EnvironmentParameters {Show 19 fields
    pub rank: usize,
    pub multiplicity: usize,
    pub b: Zq,
    pub b_1: usize,
    pub t_1: usize,
    pub b_2: usize,
    pub t_2: usize,
    pub beta_sq: u128,
    pub gamma_sq: u128,
    pub gamma_1_sq: u128,
    pub gamma_2_sq: u128,
    pub beta_prime_sq: u128,
    pub kappa: usize,
    pub kappa_1: usize,
    pub kappa_2: usize,
    pub constraint_k: usize,
    pub constraint_l: usize,
    pub const_agg_length: usize,
    pub log_q: usize,
}

Fields§

§rank: usize

Relation R Parameters

§multiplicity: usize§b: Zq

Decomposition Parameters

§b_1: usize§t_1: usize§b_2: usize§t_2: usize§beta_sq: u128

Squred values of norm bounds

§gamma_sq: u128§gamma_1_sq: u128§gamma_2_sq: u128§beta_prime_sq: u128§kappa: usize

Commitment Matrices Sizes

§kappa_1: usize§kappa_2: usize§constraint_k: usize

Function Families Sizes

§constraint_l: usize§const_agg_length: usize§log_q: usize

Other Parameters

Implementations§

impl EnvironmentParameters

pub fn new( rank: usize, multiplicity: usize, beta_sq: u128, kappa: usize, kappa_1: usize, kappa_2: usize, constraint_k: usize, constraint_l: usize, tau: f64, modulo_q: usize, ) -> Self

Trait Implementations§

impl Clone for EnvironmentParameters

fn clone(&self) -> EnvironmentParameters

Returns a copy of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Default for EnvironmentParameters

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations§

impl Freeze for EnvironmentParameters

impl RefUnwindSafe for EnvironmentParameters

impl Send for EnvironmentParameters

impl Sync for EnvironmentParameters

impl Unpin for EnvironmentParameters

impl UnwindSafe for EnvironmentParameters

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same for T

type Output = T

Should always be Self

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V