Crate plonk_wasm

The Marlin_plonk_stubs crate exports some functionalities and structures from the following the Rust crates to OCaml:

• Marlin, a PLONK implementation.
• Arkworks, a math library that Marlin builds on top of.

Modules

• arkworks
  Arkworks types This module contains wrapper types to Arkworks types. To use Arkwork types in OCaml, you have to convert to these types, and convert back from them to use them in Rust.
• circuit
• gate_vector
  Vectors A GateVector: this is used to represent a list of gates.
• oracles
  Oracles
• pasta_fp_plonk_index
  Indexes
• pasta_fq_plonk_index
• plonk_proof
  Proofs
• plonk_verifier_index
  Verifier indexes/keys
• poly_comm
• poseidon
  Poseidon
• projective
  Curves
• rayon
• srs
  SRS
• urs_utils
  Utils
• wasm_ocaml_serde
  This module constructs a serde serializer (and deserializer) to convert Rust structures to (and from) Js types expected by js-of-ocaml. js-of-ocaml expects arrays of values instead of objects, so a Rust structure like:

Functions

• alert
• console_log
• create_zero_u32_ptr
• free_u32_ptr
• greet
• set_u32_ptr
• wait_until_non_zero