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.

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

feat(math): implement field extension for stark fields #443

Merged
merged 15 commits into from
Jun 26, 2024

Conversation

chokobole
Copy link
Contributor

@chokobole chokobole commented Jun 20, 2024

Description

This PR implements some parts of the BinomialExtensionField, which are missing in Tachyon, specifically, QuarticExtension.

You might need https://eprint.iacr.org/2006/471.pdf to review the multiplication and square calculations. Use https://blkcipher.pl/assets/pdfs/Handbook_of_Elliptic_and_Hyperelliptic_Curve_Cryptography.pdf to review the inversion calculations.

@chokobole chokobole force-pushed the feat/implement-field-extension-for-stark-fields branch from 69ab1b7 to 95bce9a Compare June 20, 2024 12:16
tachyon/math/base/arithmetics.h Show resolved Hide resolved
tachyon/math/finite_fields/fp4.h Outdated Show resolved Hide resolved
tachyon/math/finite_fields/fp4.h Show resolved Hide resolved
tachyon/math/finite_fields/fp4.h Outdated Show resolved Hide resolved
tachyon/math/finite_fields/fp4.h Show resolved Hide resolved
tachyon/math/finite_fields/quartic_extension_field.h Outdated Show resolved Hide resolved
tachyon/math/finite_fields/quartic_extension_field.h Outdated Show resolved Hide resolved
@chokobole chokobole force-pushed the feat/implement-field-extension-for-stark-fields branch 2 times, most recently from 2dfc32b to a45cdaa Compare June 24, 2024 01:44
Copy link
Contributor

@dongchangYoo dongchangYoo left a comment

Choose a reason for hiding this comment

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

LGTM

@chokobole chokobole force-pushed the feat/implement-field-extension-for-stark-fields branch from a45cdaa to 214f39f Compare June 24, 2024 01:51
@chokobole chokobole force-pushed the feat/implement-field-extension-for-stark-fields branch from 214f39f to d3659e7 Compare June 24, 2024 04:13
Copy link
Contributor

@ashjeong ashjeong left a comment

Choose a reason for hiding this comment

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

b3190c8
Please code format the "constexpr" in the title!

tachyon/math/finite_fields/quartic_extension_field.h Outdated Show resolved Hide resolved
tachyon/math/finite_fields/quartic_extension_field.h Outdated Show resolved Hide resolved
tachyon/math/finite_fields/quartic_extension_field.h Outdated Show resolved Hide resolved
tachyon/math/finite_fields/quartic_extension_field.h Outdated Show resolved Hide resolved
tachyon/math/finite_fields/quartic_extension_field.h Outdated Show resolved Hide resolved
@chokobole chokobole force-pushed the feat/implement-field-extension-for-stark-fields branch from d3659e7 to 081fa8d Compare June 25, 2024 04:18
Copy link

@fakedev9999 fakedev9999 left a comment

Choose a reason for hiding this comment

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

LGTM

@chokobole chokobole force-pushed the feat/implement-field-extension-for-stark-fields branch from 081fa8d to b178601 Compare June 25, 2024 06:22
@chokobole chokobole merged commit 58b3f55 into main Jun 26, 2024
3 checks passed
@chokobole chokobole deleted the feat/implement-field-extension-for-stark-fields branch June 26, 2024 01:21
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.

4 participants