Struct poly_commitment::ipa::caml::CamlOpeningProof

pub struct CamlOpeningProof<G, F> {
    pub lr: Vec<(G, G)>,
    pub delta: G,
    pub z1: F,
    pub z2: F,
    pub sg: G,
}

Fields

lr: Vec<(G, G)>

vector of rounds of L & R commitments

delta: G

z1: F

z2: F

sg: G

Trait Implementations

impl<G, CamlF, CamlG> From<CamlOpeningProof<CamlG, CamlF>> for OpeningProof<G>where G: AffineRepr, CamlG: Into<G>, CamlF: Into<G::ScalarField>,

fn from(caml: CamlOpeningProof<CamlG, CamlF>) -> Self

Converts to this type from the input type.

impl<G, CamlF, CamlG> From<OpeningProof<G>> for CamlOpeningProof<CamlG, CamlF>where G: AffineRepr, CamlG: From<G>, CamlF: From<G::ScalarField>,

fn from(opening_proof: OpeningProof<G>) -> Self

Converts to this type from the input type.

impl<'from_value_lifetime, G, F> FromValue<'from_value_lifetime> for CamlOpeningProof<G, F>where Vec<(G, G)>: FromValue<'from_value_lifetime>, G: FromValue<'from_value_lifetime>, F: FromValue<'from_value_lifetime>,

fn from_value(value: Value) -> Self

Convert from OCaml value

impl<G, F> IntoValue for CamlOpeningProof<G, F>where Vec<(G, G)>: IntoValue, G: IntoValue, F: IntoValue,

fn into_value(self, gc: &Runtime) -> Value

Convert to OCaml value

impl<G, F> OCamlBinding for CamlOpeningProof<G, F>where G: OCamlDesc, F: OCamlDesc,

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<G, F> OCamlDesc for CamlOpeningProof<G, F>where G: OCamlDesc, F: OCamlDesc,

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.