feat(plonk): multiphase sps

[cyphersnake]

There is multiphase support within halo2 (more info here https://hackmd.io/@axiom/SJw3p-qX3)

At this point, sps is generating sps-challenge based on all witness

However, in the case of multiphase logic, circuits that allocate the same columns differently between phases are different circuits, so the protocol must take this into account.

In task #327, a commitment will be created for each phase's witness (for be a random oracle seed), which will need to be reused within sps to generate more than the current number of challenges that will take multiphase into account

Also, this task includes a new version of sps_verify