perf(ec): pair EC byte range checks, and replace ecrecover's four scalar muls with one joint chain (−61.9% EC cells, z3-gated, unconditional) - #871

Draft

MauroToscano wants to merge 12 commits into

feat/keccak-hwsl-inlinefrom

feat/ec-lincomb2

Commits on Jul 27, 2026

feat(ecsm): nb schedule witness, shared convolution helpers, T0 table generator
MauroToscano
committed
feat(executor): ecsm_lincomb2 syscall computing Q = u1*P1 + u2*P2 in one call
MauroToscano
committed
feat(prover): ECSM2/ECDAS2 joint-chain chips, T0 correction table, range-check guard
MauroToscano
committed
refactor(ethrex-crypto): ecrecover via one lincomb2 ecall, drop the x-only dance
MauroToscano
committed
fix(ci): invalidate the Rust-ELF cache when crypto/ethrex-crypto changes
MauroToscano
committed
docs(ec): EC spec chapter, lincomb2 z3 gate board, oracle anchors, bench harness
MauroToscano
committed
spec(ec): document both EC paths — paired range checks and the joint chain
MauroToscano
committed

Commits on Jul 29, 2026

gate(ec): audit the gate against the chips, and close the holes it found
MauroToscano
committed