Draft : Plonk : change transcript handling - Fixes #55
Fit to the protocol described in the paper.
Compute β & γ after expanding the transcript with wire’s commitments.
Introduce a new optional argument precommitted_polys
in PP.prove.
Edited by Anne-Laure