Feat/ecsm update - #753

Merged

MauroToscano merged 21 commits into

mainfrom

feat/ecsm-spec-update

Jul 13, 2026

Commits on Jun 30, 2026

inline ec_scalar chip into ecsm
jotabulacios
committed
84c52d7
Add xG range check in the ECSM AIR
jotabulacios
committed
0547f08
Make ECSM memory interaction timestamps disjoint
jotabulacios
committed
39046cc
Extend q1 range check to all 33 bytes
jotabulacios
committed
8eca0e7
Fix ECDAS padding and gate R·P term with μ
jotabulacios
committed
f56b29e
Add curve identifier to ECDAS bus
jotabulacios
committed
270356a
Merge branch 'main' into feat/ecsm-spec-update
jotabulacios
authored
1cb8988
Merge branch 'main' into feat/ecsm-spec-update
jotabulacios
authored
2b843fa

Commits on Jul 1, 2026

Commits on Jul 2, 2026

Fix stale docs, q1 loop trap comment, k_bit IS_BIT test gap
jotabulacios
committed
932ed3b

Commits on Jul 3, 2026

Add KBitsZeroOnPadding and extend ECSM tests
jotabulacios
committed
527b684
fix lint
jotabulacios
committed
0c8dd0b
ECSM: add KBitsZeroOnPadding, µP² gate, x10 T+2
jotabulacios
committed
9a5619f

Commits on Jul 6, 2026

Merge main; reimplement ECSM/ECDAS on new IR
jotabulacios
committed
9e6ba1c
Explain ECSM operand-overlap guard rationale
jotabulacios
committed
f7bc5dc

Commits on Jul 8, 2026

docs(ecsm): correct stale column-count comment (~427 -> 667)
diegokingston
committed
1f0ce43
docs(ecdas): note yR relation is also mu-gated
diegokingston
committed
f516c20
perf(ecsm): factor mu out of the Yg p^2 convolution sum
diegokingston
committed
5144dde
Merge pull request #796 from yetanotherco/review/ecsm-ecdas-corrections
jotabulacios
authored
860e323
solve conlficts
jotabulacios
committed
df234a6