Struct ark_linear_sumcheck::ml_sumcheck::protocol::verifier::SubClaim [−][src]
Expand description
Subclaim when verifier is convinced
Fields
point: Vec<F>
the multi-dimensional point that this multilinear extension is evaluated to
expected_evaluation: F
the expected evaluation
Auto Trait Implementations
impl<F> RefUnwindSafe for SubClaim<F> where
F: RefUnwindSafe,
impl<F> UnwindSafe for SubClaim<F> where
F: UnwindSafe,