Counting interface for the indifferentiability arc - #27

Open

daira wants to merge 7 commits into

mainfrom

indiff-counting

Commits on Aug 16, 2026

refactor(Isogenies): name the field-to-curve map f in mapHashOutputsToCurve

daira
and
claude
committed
0fba34f
feat(Hashing): nonzero preimage fibres of simplified SWU have at most 10 elements

daira
and
claude
committed
64a9165
feat(Hashing): the deployed mapToCurve fibre bound, per curve

daira
and
claude
committed
1ccea0d
feat(Hashing): deviation exports and the zero-repair pair transport

daira
and
claude
committed
db48e4f
feat(CurveForms): adopt the curve lemmas from ironwood's CompEllipticExtras

daira
and
claude
committed
5f02eb2
feat(Fields): the Fp/Fq letter abbreviations for the Pasta fields

daira
and
claude
committed
76532f9
feat(Hashing): the transported regularity distance for the deployed mapping

daira
and
claude
committed
a18340e