fix: blakemodexp -> WCP lookup after zkASM-ification of WCP

OlivierBBB · OlivierBBB · commit c07e079a3810 · 2025-11-19T12:08:59.000+01:00
diff --git a/blake2fmodexpdata/osaka/lookups/blakemodexp_into_wcp.lisp b/blake2fmodexpdata/osaka/lookups/blakemodexp_into_wcp.lisp
@@ -6,20 +6,16 @@
   blake2fmodexpdata-into-wcp
   ;; target colums (in WCP)
   (
-    wcp.ARG_1_HI
-    wcp.ARG_1_LO
-    wcp.ARG_2_HI
-    wcp.ARG_2_LO
+    wcp.ARG_1
+    wcp.ARG_2
     wcp.RES
     wcp.INST
   )
   ;; source selector
   (blake2fmodexpdata-into-wcp-oob-into-wcp-activation-flag)
   ;; source columns
   (
-    0
     (prev blake2fmodexpdata.ID)
-    0
     blake2fmodexpdata.ID
     1
     EVM_INST_LT

Original file line number	Diff line number	Diff line change
`@@ -6,20 +6,16 @@`
`6`	`6`	`blake2fmodexpdata-into-wcp`
`7`	`7`	`;; target colums (in WCP)`
`8`	`8`	`(`
`9`		`- wcp.ARG_1_HI`
`10`		`- wcp.ARG_1_LO`
`11`		`- wcp.ARG_2_HI`
`12`		`- wcp.ARG_2_LO`
	`9`	`+ wcp.ARG_1`
	`10`	`+ wcp.ARG_2`
`13`	`11`	`wcp.RES`
`14`	`12`	`wcp.INST`
`15`	`13`	`)`
`16`	`14`	`;; source selector`
`17`	`15`	`(blake2fmodexpdata-into-wcp-oob-into-wcp-activation-flag)`
`18`	`16`	`;; source columns`
`19`	`17`	`(`
`20`		`- 0`
`21`	`18`	`(prev blake2fmodexpdata.ID)`
`22`		`- 0`
`23`	`19`	`blake2fmodexpdata.ID`
`24`	`20`	`1`
`25`	`21`	`EVM_INST_LT`