Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Adapt SumCheck Transcript #38

Closed
arnaucube opened this issue Nov 21, 2023 · 1 comment · Fixed by #40
Closed

Adapt SumCheck Transcript #38

arnaucube opened this issue Nov 21, 2023 · 1 comment · Fixed by #40
Assignees
@dmpierre
Labels
common

Comments

@arnaucube
Copy link
Collaborator

arnaucube commented Nov 21, 2023 •
edited
Loading

Currently for HyperNova, we reused EspressoSystems/HyperPlonk's SumCheck implementation.

We will need to have a compatible in-circuit SumCheck implementation (eg. for HyperNova) (#13).

An option is to implement directly a SumCheck gadget compatible with the current SumCheck from HyperPlonk (which requires modifying the current SumCheck to use our Transcript trait so can run with PoseidonTranscript), and an other option is to reimplement the rust-native SumCheck differently than the current one and then do a compatible gadget version of it.

In either case, the idea is that the rust-native version uses the Transcript trait.
@dmpierre
Copy link
Collaborator

Starting this!

@dmpierre dmpierre linked a pull request Nov 28, 2023 that will close this issue
Feature/sumcheck #40
Merged
@arnaucube arnaucube changed the title SumCheck circuit Adapt SumCheck Transcript Nov 29, 2023
@arnaucube arnaucube mentioned this issue Nov 29, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dmpierre dmpierre

Labels
common
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Feature/sumcheck privacy-scaling-explorations/sonobe
2 participants
@arnaucube @dmpierre