feat(table): multiphase circuit-runner
cyphersnake opened this issue · 0 comments
cyphersnake commented
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