8000 feat(plonk): multiphase sps · Issue #328 · snarkify/sirius · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
This repository was archived by the owner on Mar 24, 2025. It is now read-only.

feat(plonk): multiphase sps #328

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

feat(plonk): multiphase sps < 8000 /a> #328

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

Comments

@cyphersnake
Copy link
Collaborator
cyphersnake commented Aug 1, 2024 •
edited
Loading

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

At this point, sps is generating sps-challenge based on all witness

However, in the case of multiphase logic, circuits that allocate the same columns differently between phases are different circuits, so the protocol must take this into account.

In task #327, a commitment will be created for each phase's witness (for be a random oracle seed), which will need to be reused within sps to generate more than the current number of challenges that will take multiphase into account

Also, this task includes a new version of sps_verify
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@chaosma chaosma

Labels
None yet
Projects
None yet
Milestone
zkEVM
Development

No branches or pull requests
2 participants
@chaosma @cyphersnake
0