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

Optimize Coset::at #135

Merged
merged 1 commit into from
Nov 19, 2024
Merged

Optimize Coset::at #135

merged 1 commit into from
Nov 19, 2024

Conversation

andrewmilson
Copy link
Contributor

@andrewmilson andrewmilson commented Oct 24, 2024

Refactored Coset::at() since it accounted for 50% of steps for a verification. New approach reduces to 4%.


This change is Reviewable

Copy link
Contributor Author

andrewmilson commented Oct 24, 2024

@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from 9623734 to 38b73f4 Compare October 24, 2024 02:33
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from 89d64a7 to 78c5c2b Compare October 24, 2024 02:33
@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from 38b73f4 to 940580e Compare October 24, 2024 02:40
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from 78c5c2b to b5d0fb6 Compare October 24, 2024 02:40
@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from 940580e to 72c02f8 Compare October 24, 2024 03:01
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from b5d0fb6 to bb86b10 Compare October 24, 2024 03:01
@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from 72c02f8 to 79a0f90 Compare October 24, 2024 03:02
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from bb86b10 to efee637 Compare October 24, 2024 03:02
@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from 79a0f90 to 47b090e Compare October 24, 2024 15:04
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from efee637 to eb20e33 Compare October 24, 2024 15:04
@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from 47b090e to 166b918 Compare October 24, 2024 15:06
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from eb20e33 to ff194a5 Compare October 24, 2024 15:06
@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from 166b918 to 9cc2ecb Compare October 24, 2024 15:23
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from ff194a5 to 3743c23 Compare October 24, 2024 15:23
@andrewmilson andrewmilson marked this pull request as ready for review October 24, 2024 15:25
@andrewmilson andrewmilson requested a review from Alon-Ti October 24, 2024 15:25
@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from 9cc2ecb to 50fa500 Compare October 27, 2024 23:44
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from 3743c23 to c48e2b3 Compare October 27, 2024 23:44
Copy link
Collaborator

@ilyalesokhin-starkware ilyalesokhin-starkware left a comment

Choose a reason for hiding this comment

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

:lgtm:

Reviewed 4 of 6 files at r1, 1 of 3 files at r2, 2 of 2 files at r4, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @Alon-Ti and @shaharsamocha7)

@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch 2 times, most recently from 34037c3 to 0cbece3 Compare November 13, 2024 21:10
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch 2 times, most recently from 020bb0c to 943c4da Compare November 13, 2024 21:22
@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from 0cbece3 to 08bd476 Compare November 14, 2024 14:15
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from 943c4da to b70127f Compare November 14, 2024 14:15
@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from 08bd476 to 57faddc Compare November 14, 2024 18:42
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from b70127f to 9c29983 Compare November 14, 2024 18:43
@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from 57faddc to ec8bb38 Compare November 17, 2024 16:18
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from 9c29983 to aab4ad6 Compare November 17, 2024 16:19
@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from ec8bb38 to 123f2cb Compare November 17, 2024 18:09
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from aab4ad6 to eec00b8 Compare November 17, 2024 18:09
@andrewmilson andrewmilson force-pushed the 10-23-Refactor_FriVerifier_decommit_inner_layers branch from 123f2cb to 0a83d2a Compare November 19, 2024 14:33
Base automatically changed from 10-23-Refactor_FriVerifier_decommit_inner_layers to main November 19, 2024 14:39
@andrewmilson andrewmilson force-pushed the 10-23-Optimize_Coset_at branch from eec00b8 to fa29a42 Compare November 19, 2024 14:40
@andrewmilson andrewmilson merged commit 275f9bb into main Nov 19, 2024
5 checks passed
@andrewmilson andrewmilson deleted the 10-23-Optimize_Coset_at branch November 19, 2024 14:44
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