Skip to main content

NapiFqProofEvaluations

kimchi_napi

Type Alias NapiFqProofEvaluations 

Source 
pub type NapiFqProofEvaluations = NapiFqProofEvaluationsObject;

Aliased Type§

pub struct NapiFqProofEvaluations {
Show 26 fields
    pub public: Option<NapiFqPointEvaluations>,
    pub w: NapiVector<NapiFqPointEvaluations>,
    pub z: NapiFqPointEvaluations,
    pub s: NapiVector<NapiFqPointEvaluations>,
    pub coefficients: NapiVector<NapiFqPointEvaluations>,
    pub generic_selector: NapiFqPointEvaluations,
    pub poseidon_selector: NapiFqPointEvaluations,
    pub complete_add_selector: NapiFqPointEvaluations,
    pub mul_selector: NapiFqPointEvaluations,
    pub emul_selector: NapiFqPointEvaluations,
    pub endomul_scalar_selector: NapiFqPointEvaluations,
    pub range_check0_selector: Option<NapiFqPointEvaluations>,
    pub range_check1_selector: Option<NapiFqPointEvaluations>,
    pub foreign_field_add_selector: Option<NapiFqPointEvaluations>,
    pub foreign_field_mul_selector: Option<NapiFqPointEvaluations>,
    pub xor_selector: Option<NapiFqPointEvaluations>,
    pub rot_selector: Option<NapiFqPointEvaluations>,
    pub lookup_aggregation: Option<NapiFqPointEvaluations>,
    pub lookup_table: Option<NapiFqPointEvaluations>,
    pub lookup_sorted: NapiVector<Option<NapiFqPointEvaluations>>,
    pub runtime_lookup_table: Option<NapiFqPointEvaluations>,
    pub runtime_lookup_table_selector: Option<NapiFqPointEvaluations>,
    pub xor_lookup_selector: Option<NapiFqPointEvaluations>,
    pub lookup_gate_lookup_selector: Option<NapiFqPointEvaluations>,
    pub range_check_lookup_selector: Option<NapiFqPointEvaluations>,
    pub foreign_field_mul_lookup_selector: Option<NapiFqPointEvaluations>,

}

Fields§

§public: Option<NapiFqPointEvaluations>§w: NapiVector<NapiFqPointEvaluations>§z: NapiFqPointEvaluations§s: NapiVector<NapiFqPointEvaluations>§coefficients: NapiVector<NapiFqPointEvaluations>§generic_selector: NapiFqPointEvaluations§poseidon_selector: NapiFqPointEvaluations§complete_add_selector: NapiFqPointEvaluations§mul_selector: NapiFqPointEvaluations§emul_selector: NapiFqPointEvaluations§endomul_scalar_selector: NapiFqPointEvaluations§range_check0_selector: Option<NapiFqPointEvaluations>§range_check1_selector: Option<NapiFqPointEvaluations>§foreign_field_add_selector: Option<NapiFqPointEvaluations>§foreign_field_mul_selector: Option<NapiFqPointEvaluations>§xor_selector: Option<NapiFqPointEvaluations>§rot_selector: Option<NapiFqPointEvaluations>§lookup_aggregation: Option<NapiFqPointEvaluations>§lookup_table: Option<NapiFqPointEvaluations>§lookup_sorted: NapiVector<Option<NapiFqPointEvaluations>>§runtime_lookup_table: Option<NapiFqPointEvaluations>§runtime_lookup_table_selector: Option<NapiFqPointEvaluations>§xor_lookup_selector: Option<NapiFqPointEvaluations>§lookup_gate_lookup_selector: Option<NapiFqPointEvaluations>§range_check_lookup_selector: Option<NapiFqPointEvaluations>§foreign_field_mul_lookup_selector: Option<NapiFqPointEvaluations>

Trait Implementations§

Source§

impl From<ProofEvaluations<PointEvaluations<Vec<Fp<MontBackend<FrConfig, 4>, 4>>>>> for NapiFqProofEvaluations

Source§

fn from(x: ProofEvaluations<PointEvaluations<Vec<Fq>>>) -> Self

Converts to this type from the input type.