feat: integrate trm assembly module (#775)

Author: DavePearce

Makefile

@@ -25,9 +25,9 @@ BLS_CANCUN := blsdata/cancun
 BLS_PRAGUE := blsdata/prague
 
 CONSTANTS := constants/constants.lisp
-CONSTANTS_LONDON := constants/london/constants.lisp
-CONSTANTS_CANCUN := constants/cancun/constants.lisp
-CONSTANTS_PRAGUE := constants/prague/constants.lisp
+CONSTANTS_LONDON := constants/london/constants.zkasm
+CONSTANTS_CANCUN := constants/cancun/constants.zkasm
+CONSTANTS_PRAGUE := constants/prague/constants.zkasm
 
 EC_DATA := ecdata
 
@@ -87,7 +87,7 @@ TABLES_LONDON := reftables/*.lisp   reftables/london/*.lisp
 TABLES_CANCUN := reftables/*.lisp   reftables/cancun/*.lisp
 TABLES_PRAGUE := reftables/*.lisp   reftables/prague/*.lisp
 
-TRM := trm
+TRM := trm/trm.zkasm
 
 TXN_DATA_LONDON := txndata/london
 TXN_DATA_SHANGHAI := txndata/shanghai

constants/cancun/constants.lisp

@@ -0,0 +1 @@
+const MAX_PRC_ADDRESS = 0x0a

constants/cancun/constants.zkasm

@@ -0,0 +1 @@
+const MAX_PRC_ADDRESS = 0x09

constants/london/constants.lisp

@@ -0,0 +1 @@
+const MAX_PRC_ADDRESS = 0x11

constants/london/constants.zkasm

@@ -5,18 +5,16 @@
 (defclookup hub-into-trm
   ;; target columns
   (
-   trm.TRM_ADDRESS_HI
-   trm.RAW_ADDRESS_HI
-   trm.RAW_ADDRESS_LO
+   trm.RAW_ADDRESS
+   trm.ADDRESS_HI
    trm.IS_PRECOMPILE
   )
   ;; source selector
   (hub-into-trm-trigger)
   ;; source columns
   (
+   (:: hub.account/TRM_RAW_ADDRESS_HI hub.account/ADDRESS_LO) 
    hub.account/ADDRESS_HI
-   hub.account/TRM_RAW_ADDRESS_HI
-   hub.account/ADDRESS_LO
    hub.account/IS_PRECOMPILE
   )
 )

constants/prague/constants.lisp

@@ -5,18 +5,16 @@
 (defclookup hub-into-trm
   ;; target columns
   (
-   trm.TRM_ADDRESS_HI
-   trm.RAW_ADDRESS_HI
-   trm.RAW_ADDRESS_LO
+   trm.RAW_ADDRESS
+   trm.ADDRESS_HI
    trm.IS_PRECOMPILE
   )
   ;; source selector
   (hub-into-trm-trigger)
   ;; source columns
   (
+   (:: hub.account/TRM_RAW_ADDRESS_HI hub.account/ADDRESS_LO) 
    hub.account/ADDRESS_HI
-   hub.account/TRM_RAW_ADDRESS_HI
-   hub.account/ADDRESS_LO
    hub.account/IS_PRECOMPILE
   )
 )

constants/prague/constants.zkasm

@@ -5,18 +5,16 @@
 (defclookup hub-into-trm
   ;; target columns
   (
-   trm.TRM_ADDRESS_HI
-   trm.RAW_ADDRESS_HI
-   trm.RAW_ADDRESS_LO
+   trm.RAW_ADDRESS
+   trm.ADDRESS_HI
    trm.IS_PRECOMPILE
   )
   ;; source selector
   (hub-into-trm-trigger)
   ;; source columns
   (
+   (:: hub.account/TRM_RAW_ADDRESS_HI hub.account/ADDRESS_LO) 
    hub.account/ADDRESS_HI
-   hub.account/TRM_RAW_ADDRESS_HI
-   hub.account/ADDRESS_LO
    hub.account/IS_PRECOMPILE
   )
 )