Struct kimchi_stubs::pasta_fq_plonk_index::CamlPastaFqPlonkIndex

pub struct CamlPastaFqPlonkIndex(pub Box<ProverIndex<Pallas, OpeningProof<Pallas>>>);

Boxed so that we don’t store large proving indexes in the OCaml heap.

Tuple Fields

0: Box<ProverIndex<Pallas, OpeningProof<Pallas>>>

Trait Implementations

impl Custom for CamlPastaFqPlonkIndex

const MAX: usize = 12usize

Encourage the GC to free when there are > 12 in memory

const NAME: &'static str = "CamlPastaFqPlonkIndex\0"

Custom type name

const USED: usize = 1usize

used parameter to alloc_custom. This helps determine the frequency of garbage collection related to this custom type.

const OPS: CustomOps = _

Custom operations

const FIXED_LENGTH: Option<custom_fixed_length> = None

Custom type fixed length

fn ops() -> &'static CustomOps

Get a static reference the this type’s CustomOps implementation

impl OCamlBinding for CamlPastaFqPlonkIndex

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 OCamlDesc for CamlPastaFqPlonkIndex

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.