Enable Chang+1 builtins at Chang+1 and add them to V3.ParamName (#6449)

Author: zliu41

plutus-ledger-api/src/PlutusLedgerApi/Common/Versions.hs

@@ -120,11 +120,14 @@ builtinsIntroducedIn = Map.fromList [
           Bls12_381_millerLoop, Bls12_381_mulMlResult, Bls12_381_finalVerify,
           Keccak_256, Blake2b_224, IntegerToByteString, ByteStringToInteger
           ]),
-  ((PlutusV3, futurePV), Set.fromList [
+  ((PlutusV3, changPlus1PV), Set.fromList [
           AndByteString, OrByteString, XorByteString, ComplementByteString,
           ReadBit, WriteBits, ReplicateByte,
           ShiftByteString, RotateByteString, CountSetBits, FindFirstSetBit,
-          Ripemd_160, ExpModInteger
+          Ripemd_160
+          ]),
+  ((PlutusV3, futurePV), Set.fromList [
+          ExpModInteger
           ])
   ]
 

plutus-ledger-api/src/PlutusLedgerApi/V3/ParamName.hs

@@ -266,6 +266,54 @@ data ParamName =
   | ByteStringToInteger'cpu'arguments'c2
   | ByteStringToInteger'memory'arguments'intercept
   | ByteStringToInteger'memory'arguments'slope
+-- Chang+1
+  | AndByteString'cpu'arguments'intercept
+  | AndByteString'cpu'arguments'slope1
+  | AndByteString'cpu'arguments'slope2
+  | AndByteString'memory'arguments'intercept
+  | AndByteString'memory'arguments'slope
+  | OrByteString'cpu'arguments'intercept
+  | OrByteString'cpu'arguments'slope1
+  | OrByteString'cpu'arguments'slope2
+  | OrByteString'memory'arguments'intercept
+  | OrByteString'memory'arguments'slope
+  | XorByteString'cpu'arguments'intercept
+  | XorByteString'cpu'arguments'slope1
+  | XorByteString'cpu'arguments'slope2
+  | XorByteString'memory'arguments'intercept
+  | XorByteString'memory'arguments'slope
+  | ComplementByteString'cpu'arguments'intercept
+  | ComplementByteString'cpu'arguments'slope
+  | ComplementByteString'memory'arguments'intercept
+  | ComplementByteString'memory'arguments'slope
+  | ReadBit'cpu'arguments
+  | ReadBit'memory'arguments
+  | WriteBits'cpu'arguments'intercept
+  | WriteBits'cpu'arguments'slope
+  | WriteBits'memory'arguments'intercept
+  | WriteBits'memory'arguments'slope
+  | ReplicateByte'cpu'arguments'intercept
+  | ReplicateByte'cpu'arguments'slope
+  | ReplicateByte'memory'arguments'intercept
+  | ReplicateByte'memory'arguments'slope
+  | ShiftByteString'cpu'arguments'intercept
+  | ShiftByteString'cpu'arguments'slope
+  | ShiftByteString'memory'arguments'intercept
+  | ShiftByteString'memory'arguments'slope
+  | RotateByteString'cpu'arguments'intercept
+  | RotateByteString'cpu'arguments'slope
+  | RotateByteString'memory'arguments'intercept
+  | RotateByteString'memory'arguments'slope
+  | CountSetBits'cpu'arguments'intercept
+  | CountSetBits'cpu'arguments'slope
+  | CountSetBits'memory'arguments
+  | FindFirstSetBit'cpu'arguments'intercept
+  | FindFirstSetBit'cpu'arguments'slope
+  | FindFirstSetBit'memory'arguments
+  | Ripemd_160'cpu'arguments'intercept
+  | Ripemd_160'cpu'arguments'slope
+  | Ripemd_160'memory'arguments
+
 --  not enabled yet:
 --    ExpModInteger'cpu'arguments
 --    ExpModInteger'memory'arguments

plutus-ledger-api/test/Spec/CostModelParams.hs

@@ -28,7 +28,7 @@ tests =
     [ testCase "length" $ do
             166 @=? length v1_ParamNames
             185 @=? length v2_ParamNames
-            251 @=? length v3_ParamNames
+            297 @=? length v3_ParamNames
     , testCase "tripping paramname" $ do
             for_ v1_ParamNames $ \ p ->
                 assertBool "tripping v1 cm params failed" $ Just p == readParamName (showParamName p)

plutus-ledger-api/test/Spec/Data/CostModelParams.hs

@@ -26,7 +26,7 @@ tests =
     [ testCase "length" $ do
             166 @=? length v1_ParamNames
             185 @=? length v2_ParamNames
-            251 @=? length v3_ParamNames
+            297 @=? length v3_ParamNames
     , testCase "tripping paramname" $ do
             for_ v1_ParamNames $ \ p ->
                 assertBool "tripping v1 cm params failed" $ Just p == readParamName (showParamName p)

plutus-ledger-api/testlib/PlutusLedgerApi/Test/V3/Data/EvaluationContext.hs

@@ -93,17 +93,5 @@ clearBuiltinCostModel' :: (m ~ MBuiltinCostModel) => m -> m
 clearBuiltinCostModel' r = r
                { -- , paramIntegerToByteString = mempty -- Required for V2
                -- , paramByteStringToInteger = mempty -- Required for V2
-                 paramAndByteString = mempty
-               , paramOrByteString = mempty
-               , paramXorByteString = mempty
-               , paramComplementByteString = mempty
-               , paramReadBit = mempty
-               , paramWriteBits = mempty
-               , paramReplicateByte = mempty
-               , paramShiftByteString = mempty
-               , paramRotateByteString = mempty
-               , paramCountSetBits = mempty
-               , paramFindFirstSetBit = mempty
-               , paramRipemd_160 = mempty
-               , paramExpModInteger = mempty
+                 paramExpModInteger = mempty
                }

plutus-ledger-api/testlib/PlutusLedgerApi/Test/V3/EvaluationContext.hs

@@ -94,17 +94,5 @@ clearBuiltinCostModel' :: (m ~ MBuiltinCostModel) => m -> m
 clearBuiltinCostModel' r = r
                { -- , paramIntegerToByteString = mempty -- Required for V2
                -- , paramByteStringToInteger = mempty -- Required for V2
-                 paramAndByteString = mempty
-               , paramOrByteString = mempty
-               , paramXorByteString = mempty
-               , paramComplementByteString = mempty
-               , paramReadBit = mempty
-               , paramWriteBits = mempty
-               , paramReplicateByte = mempty
-               , paramShiftByteString = mempty
-               , paramRotateByteString = mempty
-               , paramCountSetBits = mempty
-               , paramFindFirstSetBit = mempty
-               , paramRipemd_160 = mempty
-               , paramExpModInteger = mempty
+                 paramExpModInteger = mempty
                }