pub fn eval_transparent<F: FieldOps + 'static>(
mul_constraints: Rc<[MulConstraint<WitnessIndex>]>,
segment: WitnessSegment,
r_x_tensor: Rc<[F]>,
lambda: F,
) -> TransparentEvalFn<F>Expand description
Returns a closure that evaluates the wiring transparent polynomial for a specific segment.
The closure evaluates the wiring MLE at a challenge point drawn during the BaseFold opening.
The three operand contributions are batched together with the challenge lambda.
The multiplication constraints and the eq-indicator evaluation at r_x are shared via Rc.
Sharing lets the closure own them and be 'static.
The opening is deferred, so the closure must outlive this call.