Struct kimchi::proof::PointEvaluations

pub struct PointEvaluations<Evals> {
    pub zeta: Evals,
    pub zeta_omega: Evals,
}

Evaluations of a polynomial at 2 points

Fields

zeta: Evals

Evaluation at the challenge point zeta.

zeta_omega: Evals

Evaluation at zeta . omega, the product of the challenge point and the group generator.

Implementations

impl<Evals> PointEvaluations<Evals>

pub fn map<Evals2, FN: Fn(Evals) -> Evals2>( self, f: &FN ) -> PointEvaluations<Evals2>

pub fn map_ref<Evals2, FN: Fn(&Evals) -> Evals2>( &self, f: &FN ) -> PointEvaluations<Evals2>

Trait Implementations

impl<Evals: Clone> Clone for PointEvaluations<Evals>

fn clone(&self) -> PointEvaluations<Evals>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Evals: Debug> Debug for PointEvaluations<Evals>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Evals: Default> Default for PointEvaluations<Evals>

fn default() -> PointEvaluations<Evals>

Returns the “default value” for a type.

impl<'de, Evals> Deserialize<'de> for PointEvaluations<Evals>where Vec<SerdeAs>: DeserializeAs<'de, Evals>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'from_value_lifetime, Evals> FromValue<'from_value_lifetime> for PointEvaluations<Evals>where Evals: FromValue<'from_value_lifetime>,

fn from_value(value: Value) -> Self

Convert from OCaml value

impl<Evals> IntoValue for PointEvaluations<Evals>where Evals: IntoValue,

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

Convert to OCaml value

impl<Evals> OCamlBinding for PointEvaluations<Evals>where Evals: 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<Evals> OCamlDesc for PointEvaluations<Evals>where Evals: 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.

impl<Evals> Serialize for PointEvaluations<Evals>where Vec<SerdeAs>: SerializeAs<Evals>,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<Evals: Copy> Copy for PointEvaluations<Evals>