Type Alias LayerProver 

pub type LayerProver<'a, A, F, P> = SharedMleCheckProver<'a, A, F, P, Box<dyn MleCheckRoundEvaluator<F, P> + 'a>>;

The store-based MLE-check prover for one fractional-addition layer.

It owns its four half-columns, so it is self-contained: a caller can drive it, batch it, or extend its store with more columns and evaluators.

Aliased Type

pub struct LayerProver<'a, A, F, P> { /* private fields */ }