Skip to main content

NapiFpProofEvaluations

kimchi_napi

Type Alias NapiFpProofEvaluations 

Source 
pub type NapiFpProofEvaluations = NapiFpProofEvaluationsObject;

Aliased Type§

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

}

Fields§

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

Trait Implementations§

Source§

impl From<ProofEvaluations<PointEvaluations<Vec<Fp<MontBackend<FqConfig, 4>, 4>>>>> for NapiFpProofEvaluations

Source§

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

Converts to this type from the input type.