Module prover

Functions

prove_fri

Create a proof that an opening f(zeta) is correct by proving that the function (f(x) - f(zeta))/(x - zeta) is low degree.