Huddle tweaks

Author: Soupstraw

eras/dijkstra/cddl-files/dijkstra.cddl

@@ -286,6 +286,7 @@ script =
   // 1, plutus_v1_script
   // 2, plutus_v2_script
   // 3, plutus_v3_script
+  // 4, plutus_v4_script
   ]
 
 
@@ -337,6 +338,8 @@ plutus_v2_script = distinct_VBytes
 
 plutus_v3_script = distinct_VBytes
 
+plutus_v4_script = distinct_VBytes
+
 certificates = nonempty_oset<certificate>
 
 nonempty_oset<a0> = #6.258([+ a0])/ [+ a0]
@@ -736,6 +739,7 @@ alonzo_auxiliary_data =
     , ? 2 : [* plutus_v1_script]
     , ? 3 : [* plutus_v2_script]
     , ? 4 : [* plutus_v3_script]
+    , ? 5 : [* plutus_v4_script]
     }
 
   )

eras/dijkstra/testlib/Test/Cardano/Ledger/Dijkstra/CDDL.hs

@@ -402,7 +402,9 @@ cost_models =
         , 0 <+ asKey ((3 :: Integer) ... (255 :: Integer)) ==> arr [0 <+ a int64]
         ]
 
--- TODO: add entry for Plutus v4
+plutus_v4_script :: Rule
+plutus_v4_script = "plutus_v4_script" =:= distinct VBytes
+
 alonzo_auxiliary_data :: Rule
 alonzo_auxiliary_data =
   "alonzo_auxiliary_data"
@@ -414,6 +416,7 @@ alonzo_auxiliary_data =
           , opt (idx 2 ==> arr [0 <+ a plutus_v1_script])
           , opt (idx 3 ==> arr [0 <+ a plutus_v2_script])
           , opt (idx 4 ==> arr [0 <+ a plutus_v3_script])
+          , opt (idx 5 ==> arr [0 <+ a plutus_v4_script])
           ]
       )
 
@@ -424,11 +427,11 @@ auxiliary_data =
     / shelley_ma_auxiliary_data
     / alonzo_auxiliary_data
 
--- TODO: add entry for Plutus v4
 dijkstra_script :: Rule
 dijkstra_script =
   "script"
     =:= arr [0, a native_script]
     / arr [1, a plutus_v1_script]
     / arr [2, a plutus_v2_script]
     / arr [3, a plutus_v3_script]
+    / arr [4, a plutus_v4_script]