Module pasta_fp_plonk_index 

Indexes

Structs

CamlPastaFpPlonkIndex

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

Enums

IndexHandle

Holds a prover index behind one of two backing stores. The enum variants both [Deref] to the same &ProverIndex, so all existing .0.cs… / .0.srs… field-access patterns in this file continue to work via auto-deref. Concretely:

Functions

caml_pasta_fp_plonk_index_create

caml_pasta_fp_plonk_index_create_bytecode^⚠

caml_pasta_fp_plonk_index_create_to_ocaml

caml_pasta_fp_plonk_index_domain_d1_size

caml_pasta_fp_plonk_index_domain_d1_size_to_ocaml

caml_pasta_fp_plonk_index_domain_d4_size

caml_pasta_fp_plonk_index_domain_d4_size_to_ocaml

caml_pasta_fp_plonk_index_domain_d8_size

caml_pasta_fp_plonk_index_domain_d8_size_to_ocaml

caml_pasta_fp_plonk_index_finalize 🔒

caml_pasta_fp_plonk_index_max_degree

caml_pasta_fp_plonk_index_max_degree_to_ocaml

caml_pasta_fp_plonk_index_public_inputs

caml_pasta_fp_plonk_index_public_inputs_to_ocaml

caml_pasta_fp_plonk_index_read

caml_pasta_fp_plonk_index_read_cached

Reads a proving index from path in the mmap-backed cache format, binding the supplied srs onto the reconstructed index.

caml_pasta_fp_plonk_index_read_cached_to_ocaml

caml_pasta_fp_plonk_index_read_to_ocaml

caml_pasta_fp_plonk_index_write

caml_pasta_fp_plonk_index_write_cached

Writes the proving index to path in the mmap-backed cache format.

caml_pasta_fp_plonk_index_write_cached_to_ocaml

caml_pasta_fp_plonk_index_write_to_ocaml

Type Aliases

CamlPastaFpPlonkIndexPtr

Srs 🔒