Skip to content

fix: consistently use SumcheckField for portability#107

Merged
WizardOfMenlo merged 5 commits into
compsec-epfl:mainfrom
WizardOfMenlo:sumcheckfield-prover-bounds
Jun 24, 2026
Merged

fix: consistently use SumcheckField for portability#107
WizardOfMenlo merged 5 commits into
compsec-epfl:mainfrom
WizardOfMenlo:sumcheckfield-prover-bounds

Conversation

@WizardOfMenlo

Copy link
Copy Markdown
Collaborator

No description provided.

@WizardOfMenlo WizardOfMenlo changed the title fix: consistently use SumcheckField for portability fix: consistently use SumcheckRing for portability May 20, 2026
This reverts commit 6bb0fbc.
Comment thread src/provers/mod.rs
pub mod coefficient;
#[cfg(feature = "arkworks")]
pub mod coefficient_lsb;
#[cfg(feature = "arkworks")]

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

should not be removed?

Comment thread src/lib.rs

// ─── Arkworks-dependent modules ─────────────────────────────────────────────

#[cfg(feature = "arkworks")]

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

same, why removed?

@z-tech z-tech changed the title fix: consistently use SumcheckRing for portability fix: consistently use SumcheckField for portability Jun 24, 2026
@z-tech

z-tech commented Jun 24, 2026

Copy link
Copy Markdown
Collaborator

Approving with the requested changes thanks!

@WizardOfMenlo WizardOfMenlo merged commit 9e55dc3 into compsec-epfl:main Jun 24, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants