Skip to content
This repository was archived by the owner on Mar 24, 2025. It is now read-only.

feat(table): multiphase circuit-runner #327

Open
cyphersnake opened this issue Aug 1, 2024 · 0 comments
Open

feat(table): multiphase circuit-runner #327

cyphersnake opened this issue Aug 1, 2024 · 0 comments
Assignees
Milestone

Comments

@cyphersnake
Copy link
Collaborator

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
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants