Skip to content

fix: add missing sumcheck C API functions for extension fields#1045

Open
MavenRain wants to merge 1 commit intoingonyama-zk:mainfrom
MavenRain:fix/sumcheck-extension-field-c-api
Open

fix: add missing sumcheck C API functions for extension fields#1045
MavenRain wants to merge 1 commit intoingonyama-zk:mainfrom
MavenRain:fix/sumcheck-extension-field-c-api

Conversation

@MavenRain
Copy link
Copy Markdown

The sumcheck C API only exposed base-field (scalar_t) functions. Extension-field variants are needed for Goldilocks (and any other field with EXT_FIELD defined) to link successfully from Rust.

Adds all 14 extension-field counterparts inside #ifdef EXT_FIELD, mirroring the pattern used by the FRI module. Also fixes the one existing extension function which had an incorrect symbol name (extra "icicle_" prefix) and wrong handle type.

Closes #1032

  The sumcheck C API only exposed base-field (scalar_t) functions.
  Extension-field variants are needed for Goldilocks (and any other
  field with EXT_FIELD defined) to link successfully from Rust.

  Adds all 14 extension-field counterparts inside #ifdef EXT_FIELD,
  mirroring the pattern used by the FRI module.  Also fixes the one
  existing extension function which had an incorrect symbol name
  (extra "icicle_" prefix) and wrong handle type.

  Closes ingonyama-zk#1032
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.

[BUG]: missing implementations of sumcheck methods over goldilocks extension fields

1 participant