Module fp

Source

Structs§

CamlFpSrs

Functions§

caml_fp_srs_add_lagrange_basis
caml_fp_srs_add_lagrange_basis_to_ocaml
caml_fp_srs_b_poly_commitment
caml_fp_srs_b_poly_commitment_to_ocaml
caml_fp_srs_batch_accumulator_check
caml_fp_srs_batch_accumulator_check_to_ocaml
caml_fp_srs_batch_accumulator_generate
caml_fp_srs_batch_accumulator_generate_to_ocaml
caml_fp_srs_commit_evaluations
caml_fp_srs_commit_evaluations_to_ocaml
caml_fp_srs_create
caml_fp_srs_create_to_ocaml
caml_fp_srs_h
caml_fp_srs_h_to_ocaml
caml_fp_srs_lagrange_commitment
caml_fp_srs_lagrange_commitment_to_ocaml
caml_fp_srs_lagrange_commitments_whole_domain
This is same as _lagrange_commitments, but returns the result for every i <= domain_size.
caml_fp_srs_lagrange_commitments_whole_domain_to_ocaml
caml_fp_srs_read
caml_fp_srs_read_to_ocaml
caml_fp_srs_write
caml_fp_srs_write_to_ocaml