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

feat(table): multiphase circuit-runner #327

@cyphersnake

Description

@cyphersnake

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

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions