Skip to main content

Module prover

Module prover 

Source
Expand description

Prover

Structsยง

NatEvaluatedPolyWithoutConstant
Evaluation of a polynomial on natural points without the constant term.
ProverMsg
ProverState
Sumcheck Prover State.