This provides an initial impl for some of the methods needed in Deneb, however we compute the quotient commitment using the "conventional" strategy of commiting to the quotient polynomial in monomial form.
This is related to #162 -- one can use this branch to check that the difference in using monomial form is actually negligible while it results in much simpler code
This provides an initial impl for some of the methods needed in Deneb, however we compute the quotient commitment using the "conventional" strategy of commiting to the quotient polynomial in monomial form.