Struct PiopParams 

pub struct PiopParams<F: PrimeField, Curve: TECurveConfig<BaseField = F>> {
    pub keyset_part_size: usize,
    /* private fields */
}

Plonk Interactive Oracle Proofs (PIOP) parameters.

Fields

keyset_part_size: usize

Length of the part of the column representing the public keys (including the padding).

Implementations

impl<F: PrimeField, Curve: TECurveConfig<BaseField = F>> PiopParams<F, Curve>

pub fn setup( domain: Domain<F>, h: Affine<Curve>, seed: Affine<Curve>, padding: Affine<Curve>, ) -> Self

Initialize PIOP parameters.

• domain: polynomials evaluation domain.
• h: Blinding base point.
• seed: Accumulation base point
• padding: The point used to pad the list of public keys.

All points should be of an unknown discrete log.

pub fn fixed_columns( &self, keys: &[Affine<Curve>], ) -> FixedColumns<F, Affine<Curve>>

pub fn points_column( &self, keys: &[Affine<Curve>], ) -> AffineColumn<F, Affine<Curve>>

pub fn power_of_2_multiples_of_h(&self) -> Vec<Affine<Curve>>

pub fn scalar_part(&self, e: Curve::ScalarField) -> Vec<bool>

pub fn keyset_part_selector(&self) -> Vec<F>

Trait Implementations

impl<F: Clone + PrimeField, Curve: Clone + TECurveConfig<BaseField = F>> Clone for PiopParams<F, Curve>

fn clone(&self) -> PiopParams<F, Curve>

Returns a duplicate of the value.

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

Performs copy-assignment from source.