Feat/ecsm accelerator - #657

Merged

MauroToscano merged 34 commits into

mainfrom

feat/ecsm-accelerator

Jun 18, 2026

Commits on Jun 9, 2026

Add ECSM buses, cpu detection and EC_SCALAR
jotabulacios
committed
e8574d2
fix lint
jotabulacios
committed
62a9853
Add ECSM and ECDAS accelerator tables
jotabulacios
committed
be5d2e6
Register ECSM tables in VmAirs and trace builde
jotabulacios
committed
9386a36
Wire ECSM ecall collection and end-to-end prove/verify test
jotabulacios
committed
f43d6e0
Add ECSM soundness and multi-scalar end-to-end tests
jotabulacios
committed
68993f7
Add IS_BIT(op) hardening to ECDAS and fix xR_sub_p comment
jotabulacios
committed
fea9075
Add ecsm_mul guest wrapper + Rust guest and spec-bug regression tests
jotabulacios
committed
79ee014

Commits on Jun 10, 2026

Commits on Jun 11, 2026

Align ECSM/ECDAS AIR to the fixed spec
jotabulacios
committed
617353e
Delegate ecsm curve arithmetic to the RustCrypto k256 crate
jotabulacios
committed
46a102d
Drop dead Fp methods and trim ecsm comments
jotabulacios
committed
5975ac3
solve conflicts
jotabulacios
committed
2f90aae
Merge branch 'main' into feat/ecsm-accelerator
jotabulacios
authored
9c55485
feat(ecsm): k256-backed witness generation (projective + batch inverse)
diegokingston
committed
b3ab6a0
solve conflicts
jotabulacios
committed
683dcc9

Commits on Jun 12, 2026

Align ecsm docs, add executor/replay parity test
jotabulacios
committed
ebfc794
Merge pull request #664 from yetanotherco/feat/ecsm-k256-witness
jotabulacios
authored
f0a4c83
address review
jotabulacios
committed
3a62ffd
Merge branch 'main' into feat/ecsm-accelerator
diegokingston
authored
845ddd8
solve conflicts
jotabulacios
committed
9cdc802
move tests to correct directory
jotabulacios
committed
29e2bb5
Clean up ECSM review nits
MauroToscano
committed
2d0e293
Fix prover clippy lints
MauroToscano
committed
6a736cb
Merge pull request #668 from yetanotherco/cleanup-ecsm-review-nits
MauroToscano
authored
12ca580

Commits on Jun 17, 2026

Align ECSM/ECDAS/EC_SCALAR AIR to the rebased spec
jotabulacios
committed
c1c4074
renumber ecall
jotabulacios
committed
7408a6a
Fix the ECSM xR/xG address bound from +24 to +31
jotabulacios
committed
01016db
Assert and document ECSM/ECDAS carry bounds
jotabulacios
committed
3682681
Add an ECSM benchmark guest program
jotabulacios
committed
f2b4379
Use mask and shift for the witness carry by 256
jotabulacios
committed
45162e7