Skip to content

Curves/Pasta: thunk fintypePoints so compiled binaries do not evaluate it at startup - #36

Open
martyall wants to merge 1 commit into
daira:mainfrom
l-adic:fintype-points-thunk
Open

martyall wants to merge 1 commit into
daira:mainfrom
l-adic:fintype-points-thunk

Conversation

@martyall

@martyall martyall commented Sep 10, 2026

Copy link
Copy Markdown

When running a compiled binary these expressions try to actually enumerate the group elements via filter on module initialization, which obviously never finishes. Interpreted code doesn't suffer the same problem, so maybe that's why it hasn't been hit before?

Adding a thunk here doesn't change the computability trust boundary so I'm hoping it's still ok.

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.

1 participant