Skip to main content

Module common

Module common 

Source

Traitsยง

MleCheckProver
A prover for the MLE-check variant of the sumcheck protocol.
SumcheckProver
A sumcheck prover with a round-by-round execution interface.