feat(table): multiphase circuit-runner - Githubissues

snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

MIT License

138 stars 19 forks source link

feat(table): multiphase circuit-runner #327

Open cyphersnake opened 4 months ago

cyphersnake commented 4 months ago

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