Fix add_constant_constraint #6
Description
Paper section 6.
In the add_constant_constraint, the Q_left instead of Q_multiplication has coefficient 1.
Need to fix the witness and other implementation too.
I can't pursue #5 at this moment. Feel free to submit a new PR for this