Perf/ecsm affine selector - #879

Open

jotabulacios wants to merge 42 commits into

mainfrom

perf/ecsm-affine-selector

Commits on Jul 29, 2026

Add on-demand hint ecall (host-computed)
jotabulacios
committed
72e17f7
Add HINT prover table for the hint ecall
jotabulacios
committed
d01d145
Add hint ecall guest tests and test programs
jotabulacios
committed
c378f56
Route ecsm inverses and sqrt through hint ecall
jotabulacios
committed
3b599b3
Make the hint ecall ABI big-endian
jotabulacios
committed
e8f421c
Validate the Hint ecall operand addresses
jotabulacios
committed
9f83982
Verify hints by difference instead of byte compare
jotabulacios
committed
eac970b
Bind HINT writes to x12 and range-check bytes
jotabulacios
committed
8fffbfb
Fix hint doc placement and guest cargo config
jotabulacios
committed
f417360
Return the affine point (x, y) from ECSM
jotabulacios
committed
2f30acf
Make ECSM affine y-return sound
jotabulacios
committed
ca01856
Select ECSM x-only vs affine ecall via IS_AFFINE
jotabulacios
committed
cd603c2
Merge branch 'main' into perf/ecsm-affine-selector
jotabulacios
authored
729647b

Commits on Jul 30, 2026

Force yR < p in the ECSM chip
jotabulacios
committed
287b2f5
Drop stale affine docs and dead entry point
jotabulacios
committed
5d04947
Verify hints with a mandatory software fallback
jotabulacios
committed
5743caa
Constrain the HINT multiplicity column as boolean
jotabulacios
committed
ad21c37
Drop BENCH-ONLY labels from the hint ecall
jotabulacios
committed
515a921
Test that IS_BIT rejects a non-boolean HINT mu
jotabulacios
committed
da14fc8
Merge branch 'main' into feat/hint-ecall
jotabulacios
authored
71ba613
Merge remote-tracking branch 'origin/feat/hint-ecall' into perf/ecsm-affine-selector
jotabulacios
committed
17b874f
Merge branch 'main' into feat/hint-ecall
jotabulacios
authored
56a1717

Commits on Jul 31, 2026

solve conflicts
jotabulacios
committed
2e0c16d
Run ethrex-crypto host tests in CI
jotabulacios
committed
c75121a
Add software fallback and test seam to field_inv
jotabulacios
committed
3b1a012
GPU parity-check the HINT table
jotabulacios
committed
32f9cd1
Move HINT syscall off the FEXT_FMA numberD
jotabulacios
committed
be9066b
Merge feat/hint-ecall into perf/ecsm-affine-selector
jotabulacios
committed
95b62de
Test the affine ECSM operand ranges instead of their distance
jotabulacios
committed
7d0e1ba
Fix stale ECSM affine docs, counts and the new guest's lock
jotabulacios
committed
58ad49f
Cover the IS_AFFINE selector and the yR < p check
jotabulacios
committed
5aa7d0c
Widen the ECSM error wording to the affine path
jotabulacios
committed
9ce5c1b
Bind and range-check the HINT ecall operands
jotabulacios
committed
c2283bf
lint
jotabulacios
committed
64a22ff

Commits on Aug 1, 2026

Commits on Aug 10, 2026

Commits on Aug 19, 2026

Merge branch 'main' into perf/ecsm-affine-selector
diegokingston
authored
ad0ff3c

Commits on Aug 24, 2026

Merge branch 'main' into perf/ecsm-affine-selector
jotabulacios
authored
ef486d2

Commits on Sep 4, 2026

Merge branch 'main' into perf/ecsm-affine-selector
jotabulacios
authored
921d786
Record that the AIR does not bound yG
jotabulacios
committed
f28788e