snarkify/sirius

feat(table): multiphase circuit-runner

Opened this issue · 0 comments

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

We need to add support in CircuitRunner::try_collect_witness for this functionality

If there is a simple synthesis there now, after implementing this fix, there should be three iterations of synthesis at each of them:

  • Only the part of witness that is relevant to that phase is filled in
  • The newly filled part of witness is committed and absorbed into a random oracle
  • This random oracle is used to fill the challenges in the WitnessCollector
  • The next phase starts