Module pasta_fq_plonk_index 

Structs

CamlPastaFqPlonkIndex

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

Enums

IndexHandle

Fq companion of the Fp-side crate::pasta_fp_plonk_index::IndexHandle — selects between an owned ProverIndex and an MmapProverIndex whose bulk Vec<F> fields point into a mmap’d cache file. Both variants [Deref] to the same &ProverIndex so existing field-access patterns in this file continue to work via auto-deref.

Functions

caml_pasta_fq_plonk_index_create

caml_pasta_fq_plonk_index_create_bytecode^⚠

caml_pasta_fq_plonk_index_create_to_ocaml

caml_pasta_fq_plonk_index_domain_d1_size

caml_pasta_fq_plonk_index_domain_d1_size_to_ocaml

caml_pasta_fq_plonk_index_domain_d4_size

caml_pasta_fq_plonk_index_domain_d4_size_to_ocaml

caml_pasta_fq_plonk_index_domain_d8_size

caml_pasta_fq_plonk_index_domain_d8_size_to_ocaml

caml_pasta_fq_plonk_index_finalize 🔒

caml_pasta_fq_plonk_index_max_degree

caml_pasta_fq_plonk_index_max_degree_to_ocaml

caml_pasta_fq_plonk_index_public_inputs

caml_pasta_fq_plonk_index_public_inputs_to_ocaml

caml_pasta_fq_plonk_index_read

caml_pasta_fq_plonk_index_read_cached

Reads a proving index from path in the mmap-backed cache format. See the Fp variant for full documentation.

caml_pasta_fq_plonk_index_read_cached_to_ocaml

caml_pasta_fq_plonk_index_read_to_ocaml

caml_pasta_fq_plonk_index_write

caml_pasta_fq_plonk_index_write_cached

Writes the proving index to path in the mmap-backed cache format. See the Fp variant for full documentation; this is the Pallas/Fq companion used by the Wrap side of pickles.

caml_pasta_fq_plonk_index_write_cached_to_ocaml

caml_pasta_fq_plonk_index_write_to_ocaml

Type Aliases

CamlPastaFqPlonkIndexPtr

Srs 🔒