Struct kimchi_stubs::plonk_verifier_index::CamlPlonkVerifierIndex

pub struct CamlPlonkVerifierIndex<Fr, SRS, PolyComm> {
    pub domain: CamlPlonkDomain<Fr>,
    pub max_poly_size: Int,
    pub public: Int,
    pub prev_challenges: Int,
    pub srs: SRS,
    pub evals: CamlPlonkVerificationEvals<PolyComm>,
    pub shifts: Vec<Fr>,
    pub lookup_index: Option<CamlLookupVerifierIndex<PolyComm>>,
    pub zk_rows: Int,
}

Fields

domain: CamlPlonkDomain<Fr>

max_poly_size: Int

public: Int

prev_challenges: Int

srs: SRS

evals: CamlPlonkVerificationEvals<PolyComm>

shifts: Vec<Fr>

lookup_index: Option<CamlLookupVerifierIndex<PolyComm>>

zk_rows: Int

Trait Implementations

impl From<CamlPlonkVerifierIndex<CamlFp, CamlFpSrs, CamlPolyComm<CamlGroupAffine<CamlFq>>>> for VerifierIndex<Vesta, OpeningProof<Vesta>>

fn from(index: CamlPastaFpPlonkVerifierIndex) -> Self

Converts to this type from the input type.

impl From<CamlPlonkVerifierIndex<CamlFq, CamlFqSrs, CamlPolyComm<CamlGroupAffine<CamlFp>>>> for VerifierIndex<Pallas, OpeningProof<Pallas>>

fn from(index: CamlPastaFqPlonkVerifierIndex) -> Self

Converts to this type from the input type.

impl<'from_value_lifetime, Fr, SRS, PolyComm> FromValue<'from_value_lifetime> for CamlPlonkVerifierIndex<Fr, SRS, PolyComm>where CamlPlonkDomain<Fr>: FromValue<'from_value_lifetime>, Fr: FromValue<'from_value_lifetime>, SRS: FromValue<'from_value_lifetime>, CamlPlonkVerificationEvals<PolyComm>: FromValue<'from_value_lifetime>, PolyComm: FromValue<'from_value_lifetime>, Vec<Fr>: FromValue<'from_value_lifetime>, Option<CamlLookupVerifierIndex<PolyComm>>: FromValue<'from_value_lifetime>,

fn from_value(value: Value) -> Self

Convert from OCaml value

impl<Fr, SRS, PolyComm> IntoValue for CamlPlonkVerifierIndex<Fr, SRS, PolyComm>where CamlPlonkDomain<Fr>: IntoValue, Fr: IntoValue, SRS: IntoValue, CamlPlonkVerificationEvals<PolyComm>: IntoValue, PolyComm: IntoValue, Vec<Fr>: IntoValue, Option<CamlLookupVerifierIndex<PolyComm>>: IntoValue,

fn into_value(self, gc: &Runtime) -> Value

Convert to OCaml value

impl<Fr, SRS, PolyComm> OCamlBinding for CamlPlonkVerifierIndex<Fr, SRS, PolyComm>where Fr: OCamlDesc, SRS: OCamlDesc, PolyComm: OCamlDesc,

fn ocaml_binding( env: &mut Env, rename: Option<&'static str>, new_type: bool ) -> String

will generate the OCaml bindings for a type (called root type). It takes the current environment [Env], as well as an optional name (if you wish to rename the type in OCaml).

impl<Fr, SRS, PolyComm> OCamlDesc for CamlPlonkVerifierIndex<Fr, SRS, PolyComm>where Fr: OCamlDesc, SRS: OCamlDesc, PolyComm: OCamlDesc,

fn ocaml_desc(env: &Env, generics: &[&str]) -> String

describes the type in OCaml, given the current environment [Env] and the list of generic type parameters of the root type (the type that makes use of this type)

fn unique_id() -> u128

Returns a unique ID for the type. This ID will not change if concrete type parameters are used.