yetanotherco · jotabulacios · Jun 9, 2026 · Jun 9, 2026 · Jun 9, 2026 · Jun 9, 2026
diff --git a/.github/workflows/pr_main.yaml b/.github/workflows/pr_main.yaml
@@ -213,7 +213,7 @@ jobs:
       - name: Build and archive prover + crypto tests
         run: |
           cargo nextest archive --release \
-            -p lambda-vm-prover -p stark -p crypto \
+            -p lambda-vm-prover -p stark -p crypto -p ecsm \
             --archive-file prover-tests.tar.zst
 
       - name: Upload test archive

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -6,6 +6,7 @@ members = [
   "crypto/crypto",
   "crypto/math",
   "crypto/math-cuda",
+  "crypto/ecsm",
   "bin/cli",
 ]
 

diff --git a/crypto/ecsm/Cargo.toml b/crypto/ecsm/Cargo.toml
@@ -0,0 +1,14 @@
+[package]
+name = "ecsm"
+description = "secp256k1 scalar multiplication reference + ECSM accelerator witness generation"
+version = "0.1.0"
+edition = "2024"
+license.workspace = true
+
+[dependencies]
+num-bigint = "0.4.6"
+num-traits = "0.2.19"
+# Audited secp256k1 arithmetic (host-side witness generation only; never in the
+# constraint system). Used for the projective double-and-add replay + batch
+# inversion that builds the ECDAS step witnesses efficiently.
+k256 = { version = "0.13", default-features = false, features = ["arithmetic", "expose-field"] }