feat(fields): fast BN254/BLS12-381/BLS12-377 scalar fields (8x32 Montgomery) - #284

Merged

dhsorens merged 32 commits into

Verified-zkEVM:mainfrom

graikos:montgomery_8x32_linear

Aug 5, 2026

Commits on Jun 26, 2026

feat(fields): BN254 initial setup
graikos
committed
576e5e3

Commits on Jun 29, 2026

feat(fields): Initial Montgomery reduction BN254
graikos
committed
25f5a49

Commits on Jun 30, 2026

Commits on Jul 1, 2026

feat(fields): sec256k1 Montgomery
graikos
committed
2e56753

Commits on Jul 2, 2026

feat(fields): Pornin's algo for inv of 256bit fields
graikos
committed
cfc83e3

Commits on Jul 6, 2026

Commits on Jul 16, 2026

feat(fields): minor fixes to match naming
graikos
committed
8cec8a5

Commits on Jul 17, 2026

Commits on Aug 3, 2026

Commits on Aug 4, 2026

chore(fields): comments changed
graikos
committed
0ae7b0d
refactor(fields): montgomery256 minor changes in proofs & comments
graikos
committed
8b7fc79
refactor(fields): montgomery256 inverse uses 32bit limbs
graikos
committed
2f54cb0
feat(fields): prove mac-width safety for inverse candidate, montgomery256
graikos
committed
f79c96f
feat(fields): port eight-limb Montgomery stack to Lean 4.32 and the module system

graikos
and
claude
committed
1f430cf
chore(fields): doc changes in readme
graikos
committed
b81981d
chore(fields): bls/bn curves comments and constants to hex
graikos
committed
9913408
docs(fields): added comments
graikos
committed
d860d37
feat(fields): simplified proofs for montgomery256 inv
graikos
committed
b0601df

Commits on Aug 5, 2026

bench(fields): benchmarks for scalar fields BN/BLS (+inv)
graikos
committed
4f2668a
Merge branch 'main' into montgomery_8x32_linear
dhsorens
authored
e9c2c63