Sync with upstream: unconditional Pasta group orders (daira/CompElliptic#6) - #2

Merged

martyall merged 6 commits into

mainfrom

sync-upstream-unconditional-order

Jul 16, 2026

Commits on Jul 7, 2026

Pasta: two absolute field names Fp/Fq replace the four role aliases

martyall
and
claude
committed
0392940

Commits on Jul 15, 2026

refactor: factor out shared curve lemmas

mitschabaude
and
claude
committed
77edae7

Commits on Jul 16, 2026

feat: pin the Pasta group orders without assuming Hasse

committed
082b57a
Merge pull request #6 from mitschabaude/unconditional-pasta-order
daira
authored
f5f420f
Merge upstream/main: unconditional Pasta group orders (daira/CompElliptic#6)
martyall
committed
9cec86e
scripts: teach the field-file generators the absolute field names
martyall
committed
0950241