Extra conformance tests for verifyEcdsaSecp256k1Signature (#6622)

* Add official test vectors for verifySchnorrSecp256k1Signature

* Extra conformance tests for verifyEcdsaSecp256k1Signature

* A few more failing tests

* A few more failing tests

* A few tests for invalid inputs

* Update README

* Update some comments

* Markdown correction

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/README.md

@@ -0,0 +1,64 @@
+### Test vectors for `verifyEcdsaSecp256k1Signature`
+
+Most of the `test-vector-*` test case have been generated using `OpenSSL
+3.0.14.4` using the following procedure.
+
+   1. Type `openssl ecparam -name secp256k1 -outform DER -out secp256k1.der` to generate the `secp256k1` elliptic curve parameters and store them in the file `secp256k1.der`
+
+   2. Type `openssl ecparam -in secp256k1.der -inform DER -genkey -noout -outform DER -out pk.der`
+      to generate a keypair and store it in the file `pk.der`
+
+   3. Type `openssl ec -in pk.der -outform DER -pubout -conv_form compressed -out vk.der` to
+      generate a compressed verification key (ie public key) and store it in the file `vk.der`.
+
+   4. Given a message in `msg.txt`, generate a signature for the SHA2-256 hash
+      of the message using the private key generated earlier using `openssl
+      dgst-sha2-256 -sign pk.der msg.txt > sig.txt`.  Use `-sha3-256` instead
+      to sign the SHA3-256 hash of the message.  The signature will be stored in
+      DER-encoded binary form.  The ECDSA algorithm involves a random number `k`
+      which is generated anew for each signature, and each value of `k` produces
+      a different signature, so repeating this step will (with very high
+      probabilty) generate a different signature every time: all of these are
+      valid signatures for the given keypair and message.
+
+   5. Look at the contents of `sig.txt` using `dumpasn1 sig.txt`.  This will produce output similar
+      to that below.
+
+   ```
+  0  69: SEQUENCE {
+  2  32:   INTEGER
+       :     50 F1 64 A7 F6 50 91 4B 3B 7A 25 88 BE 77 54 E5
+       :     62 EB 6F 93 E8 31 B9 84 29 69 31 62 8C 86 C5 23
+ 36  33:   INTEGER
+       :     00 9B 5A 92 ED 21 5D 95 82 3E FD 2C 6F A7 10 40
+       :     66 DF 0F D3 3D 19 14 EC 9A C8 73 BB 27 D6 2B 11
+       :     0E
+       :   }
+```
+
+   6. The first `INTEGER` entry in the output above is the `r` component of the
+      signature, the second is the `s` component.  The two numbers at the start
+      of the `INTEGER` lines are the offset of the `INTEGER` object within the
+      file and the object's length, which will probably be 32 or 33 for
+      Secp256k1.  If the second entry has length 33 (as in this case) the
+      signature is a "high s" signature which is accepted by OpenSSL but not by
+      `verifyEcdsaSecp256k1Signature` (following
+      [Bitcoin](https://github.com/bitcoin/bips/blob/master/bip-0146.mediawiki#low_s);
+      see also Section 4.3.3.1 of the Plutus Core specification) .  If this
+      happens, discard the signature and generate a new signature until you get
+      one whose `s` component has length 32.
+
+  7. If the first entry has length 32, concatenate the hex digits with those of the second entry to
+     obtain a bytestring of length 64.  If the first entry has length 33, the first byte will be 00.
+     Delete this and proceed as in the length 32 case.
+
+  8. Create a Plutus script applying `verifyEcdsaSecp256k1Signature` to
+     * A hex string containing the verification key: you can get this by typing 
+     `dumpasn1 -20 -p -a vk.der | grep -v BIT | tr -d '\n' | sed 's/ //g' | tr A-Z a-z`.
+     * The relevant hash function (`sha2_256` or `sha3_256`) applied to a hex dump of the `msg.txt`
+       file, for example obtained by `xxd -p msg.txt`
+     * The hex string obtained in Step 7 (this is the signature)
+
+  9.  The process can be repeated for the same keypair and message by going back to Step 4, or you
+      can start again with a new keypair and/or message.
+

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-01/test-vector-01.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key a1adc24fc72eeb3ca032f68134a21c83dbebed4d7088a3794dbe65b4570604fd
+-- Low r, low s signature
+-- Expect True
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #032e433589dce61863199171f4d1e3fa946a5832621fcd29559940a0950f96fb6f)
+   ]
+   [(builtin sha2_256) (con bytestring #)]
+  ]
+  (con bytestring #4941155e2303988a1be97a021fbaf9fe6064d05ea694bc5e89328f297154e5c63a2f3e7b5f509294a4c2e22feb697a16b792fabfebe9d0f38403b1c929836b5a)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-01/test-vector-01.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 43490883
+| mem: 1014})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-01/test-vector-01.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool True))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-02/test-vector-02.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key a1adc24fc72eeb3ca032f68134a21c83dbebed4d7088a3794dbe65b4570604fd
+-- Same keypair and message as test-vector-01, alternative signature (high r, low s)
+-- Expect True
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #032e433589dce61863199171f4d1e3fa946a5832621fcd29559940a0950f96fb6f)
+   ]
+   [(builtin sha2_256) (con bytestring #)]
+  ]
+  (con bytestring #ccfd8a4781b4d69121727222f062d2c77e97496e1c701d3a0abd840207e6dcd1016c0ee3d92f1eec1ca335ec3eb285612fb82ee2c1d1f80e706b2e907dc60cc4)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-02/test-vector-02.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 43490883
+| mem: 1014})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-02/test-vector-02.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool True))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-03/test-vector-03.uplc

@@ -0,0 +1,17 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key a1adc24fc72eeb3ca032f68134a21c83dbebed4d7088a3794dbe65b4570604fd
+-- Same keypair and message as test-vector-01, alternative signature (low r, high s)
+-- Expect False (we don't accept signatures with high s components)
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #032e433589dce61863199171f4d1e3fa946a5832621fcd29559940a0950f96fb6f)
+   ]
+   [(builtin sha2_256) (con bytestring #)]
+  ]
+  (con bytestring #603e6e7bf67152188204f76f6274d38c477bdbc3954cdaa44e4ef49691a517ded5eaad30c2e69e3e9b124bcc48fa0e4d0aa0dfdb4ca9d537ea1dcd46c94b8f56
+  )
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-03/test-vector-03.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 43490883
+| mem: 1014})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-03/test-vector-03.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool False))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-04/test-vector-04.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key a1adc24fc72eeb3ca032f68134a21c83dbebed4d7088a3794dbe65b4570604fd
+-- Same keypair and message as test-vector-01, low-s version of signature in test-vector-03
+-- Expect True
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #032e433589dce61863199171f4d1e3fa946a5832621fcd29559940a0950f96fb6f)
+   ]
+   [(builtin sha2_256) (con bytestring #)]
+  ]
+  (con bytestring #603e6e7bf67152188204f76f6274d38c477bdbc3954cdaa44e4ef49691a517de2a1552cf3d1961c164edb433b705f1b1b00dfd0b629ecb03d5b4914606eab1eb)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-04/test-vector-04.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 43490883
+| mem: 1014})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-04/test-vector-04.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool True))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-05/test-vector-05.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key a1adc24fc72eeb3ca032f68134a21c83dbebed4d7088a3794dbe65b4570604fd
+-- Same keypair and message as test-vector-01, sha3_256 instead of sha2_256
+-- Expect True
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #032e433589dce61863199171f4d1e3fa946a5832621fcd29559940a0950f96fb6f)
+   ]
+   [(builtin sha3_256) (con bytestring #)]
+  ]
+  (con bytestring #5958fe71b4498446de57d0416ab8c41155fc16d46844fbc3fc9898bfca6badf9777d01c5b74b002678bfe904e941c096b5faf613a37b4d518e0ca750abcfa020)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-05/test-vector-05.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 44719534
+| mem: 1014})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-05/test-vector-05.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool True))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-06/test-vector-06.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key a1adc24fc72eeb3ca032f68134a21c83dbebed4d7088a3794dbe65b4570604fd
+-- Same keypair and message as test-vector-01, sha3_256 instead of sha2_256, alternative signature
+-- Expect True
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #032e433589dce61863199171f4d1e3fa946a5832621fcd29559940a0950f96fb6f)
+   ]
+   [(builtin sha3_256) (con bytestring #)]
+  ]
+  (con bytestring #d7086f9d50c7bbdd739c16da7d16bbabff5b58fc982013c9bac6df7a7200e3fe496c38ef025c3adf1cd060e0a74112580d9d2226213d7e70f0eee726c484e986)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-06/test-vector-06.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 44719534
+| mem: 1014})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-06/test-vector-06.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool True))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-07/test-vector-07.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key a1adc24fc72eeb3ca032f68134a21c83dbebed4d7088a3794dbe65b4570604fd
+-- Same keypair and signature as test-vector-01, different message
+-- Expect False
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #032e433589dce61863199171f4d1e3fa946a5832621fcd29559940a0950f96fb6f)
+   ]
+   [(builtin sha2_256) (con bytestring #48656c6c6f210a)]
+  ]
+  (con bytestring #4941155e2303988a1be97a021fbaf9fe6064d05ea694bc5e89328f297154e5c63a2f3e7b5f509294a4c2e22feb697a16b792fabfebe9d0f38403b1c929836b5a)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-07/test-vector-07.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 43490883
+| mem: 1014})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-07/test-vector-07.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool False))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-08/test-vector-08.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key a1adc24fc72eeb3ca032f68134a21c83dbebed4d7088a3794dbe65b4570604fd
+-- Same keypair as test-vector-01, different message with correct signature
+-- Expect True
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #032e433589dce61863199171f4d1e3fa946a5832621fcd29559940a0950f96fb6f)
+   ]
+   [(builtin sha2_256) (con bytestring #48656c6c6f210a)]
+  ]
+  (con bytestring #3499b841ac6eeb300b0dc9ed50e9c196d2b74f1745540f120bf603c48189b0ee6c48eacc04f2c3d3095fa17e11cc3b7642331963d52a9177d0d0685c4b3ff17f)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-08/test-vector-08.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 43490883
+| mem: 1014})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-08/test-vector-08.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool True))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-09/test-vector-09.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key a1adc24fc72eeb3ca032f68134a21c83dbebed4d7088a3794dbe65b4570604fd
+-- Same keypair as test-vector-01, different message with alternative correct signature
+-- Expect True
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #032e433589dce61863199171f4d1e3fa946a5832621fcd29559940a0950f96fb6f)
+   ]
+   [(builtin sha2_256) (con bytestring #48656c6c6f210a)]
+  ]
+  (con bytestring #fc73d27f308bb0d770db88794e2694cfe5db464764aaa8bcbcafc7c3cadb9e57244f01f2a056cf5345396e8c238972d536e4c67baa7387925d7e028f2192f5d9)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-09/test-vector-09.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 43490883
+| mem: 1014})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-09/test-vector-09.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool True))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-10/test-vector-10.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key 144c76f7eaa087f00a0381d0b7d6ec59eac07d4ac21b58695c1118b10127d821
+-- Same message and signature as test-vector-01, different signing key
+-- Expect False
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #03173d3b9b964301a4919be323571e64301904209a32631ccc76b42b89d38c6274)
+   ]
+   [(builtin sha2_256) (con bytestring #)]
+  ]
+  (con bytestring #4941155e2303988a1be97a021fbaf9fe6064d05ea694bc5e89328f297154e5c63a2f3e7b5f509294a4c2e22feb697a16b792fabfebe9d0f38403b1c929836b5a)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-10/test-vector-10.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 43490883
+| mem: 1014})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-10/test-vector-10.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool False))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-11/test-vector-11.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key 144c76f7eaa087f00a0381d0b7d6ec59eac07d4ac21b58695c1118b10127d821
+-- Same message as test-vector-01, different keypair with correct signature
+-- Expect True
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #03173d3b9b964301a4919be323571e64301904209a32631ccc76b42b89d38c6274)
+   ]
+   [(builtin sha2_256) (con bytestring #)]
+  ]
+  (con bytestring #a40e8132923ca042d159f5fba7d2828a79dc212259121a3bfe63445bf3f620fe1b33215f4ca9eb5d41eb8e8304ddc0666236f381f3a88f54cd67740847e91b41)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-11/test-vector-11.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 43490883
+| mem: 1014})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-11/test-vector-11.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool True))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-12/test-vector-12.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key a1adc24fc72eeb3ca032f68134a21c83dbebed4d7088a3794dbe65b4570604fd
+-- Same keypair as test-vector-01, large message with correct signature
+-- Expect True
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #032e433589dce61863199171f4d1e3fa946a5832621fcd29559940a0950f96fb6f)
+   ]
+   [(builtin sha2_256) (con bytestring #47616e6761207761732073756e6b656e2c20616e6420746865206c696d70206c65617665730a57616974656420666f72207261696e2c207768696c652074686520626c61636b20636c6f7564730a4761746865726564206661722064697374616e742c206f7665722048696d6176616e742e0a546865206a756e676c652063726f75636865642c2068756d70656420696e2073696c656e63652e0a5468656e2073706f6b6520746865207468756e6465720a44410a44617474613a2077686174206861766520776520676976656e3f0a4d7920667269656e642c20626c6f6f64207368616b696e67206d792068656172740a54686520617766756c20646172696e67206f662061206d6f6d656e74e28099732073757272656e6465720a576869636820616e20616765206f662070727564656e63652063616e206e6576657220726574726163740a427920746869732c20616e642074686973206f6e6c792c207765206861766520657869737465640a5768696368206973206e6f7420746f20626520666f756e6420696e206f7572206f6269747561726965730a4f7220696e206d656d6f7269657320647261706564206279207468652062656e65666963656e74207370696465720a4f7220756e646572207365616c732062726f6b656e20627920746865206c65616e20736f6c696369746f720a496e206f757220656d70747920726f6f6d730a44410a44617961646876616d3a2049206861766520686561726420746865206b65790a5475726e20696e2074686520646f6f72206f6e636520616e64207475726e206f6e6365206f6e6c790a5765207468696e6b206f6620746865206b65792c206561636820696e2068697320707269736f6e0a5468696e6b696e67206f6620746865206b65792c206561636820636f6e6669726d73206120707269736f6e0a4f6e6c79206174206e6967687466616c6c2c2061657468657269616c2072756d6f7572730a52657669766520666f722061206d6f6d656e7420612062726f6b656e20436f72696f6c616e75730a44410a44616d796174613a2054686520626f617420726573706f6e6465640a4761696c792c20746f207468652068616e64206578706572742077697468207361696c20616e64206f61720a54686520736561207761732063616c6d2c20796f757220686561727420776f756c64206861766520726573706f6e6465640a4761696c792c207768656e20696e76697465642c2062656174696e67206f62656469656e740a546f20636f6e74726f6c6c696e672068616e64730a0a20202020202020202020202020202020202020202020202049207361742075706f6e207468652073686f72650a46697368696e672c207769746820746865206172696420706c61696e20626568696e64206d650a5368616c6c2049206174206c6561737420736574206d79206c616e647320696e206f726465723f0a4c6f6e646f6e204272696467652069732066616c6c696e6720646f776e2066616c6c696e6720646f776e2066616c6c696e6720646f776e0a506f692073e280996173636f7365206e656c20666f636f2063686520676c6920616666696e610a5175616e646f206669616d20636575206368656c69646f6e20e28094204f207377616c6c6f77207377616c6c6f770a4c65205072696e63652064e28099417175697461696e6520c3a0206c6120746f75722061626f6c69650a546865736520667261676d656e7473204920686176652073686f72656420616761696e7374206d79207275696e730a576879207468656e20496c652066697420796f752e20486965726f6e796d6fe2809973206d616420616761696e652e0a44617474612e2044617961646876616d2e2044616d796174612e0a2020202020202020202020202020202020202020202020202020205368616e746968202020207368616e746968202020207368616e7469680a)]
+  ]
+  (con bytestring #db1f0c781e2d69660525c6f502d38c83c2c62c7004e26d8b860dc9a81cadb3b72f2e2fef4d34b9c869754834e6c785962b3fd0cdd222f47b1a1f2f3388f26c90)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-12/test-vector-12.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 47511547
+| mem: 1014})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-12/test-vector-12.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool True))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-13/test-vector-13.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key a1adc24fc72eeb3ca032f68134a21c83dbebed4d7088a3794dbe65b4570604fd
+-- Random message, same signature as test-vector-01
+-- Expect False
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #032e433589dce61863199171f4d1e3fa946a5832621fcd29559940a0950f96fb6f)
+   ]
+   (con bytestring  #377a7d7e7f49244ab617b429ec3b6b764326868236abcfed239427834782abdb)
+  ]
+  (con bytestring #4941155e2303988a1be97a021fbaf9fe6064d05ea694bc5e89328f297154e5c63a2f3e7b5f509294a4c2e22feb697a16b792fabfebe9d0f38403b1c929836b5a)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-13/test-vector-13.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 43165643
+| mem: 810})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-13/test-vector-13.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con bool False))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-14/test-vector-14.uplc

@@ -0,0 +1,16 @@
+-- Generated using OpenSSL 3.0.14.4
+-- Signing key a1adc24fc72eeb3ca032f68134a21c83dbebed4d7088a3794dbe65b4570604fd
+-- Same as test-vector-01, one bit changed in signature
+-- Expect False
+(program 1.0.0
+ [
+  [
+   [
+    (builtin verifyEcdsaSecp256k1Signature)
+    (con bytestring #032e433589dce61863199171f4d1e3fa946a5832621fcd29559940a0950f96fb6f)
+   ]
+   [(builtin sha2_256) (con bytestring #)]
+  ]
+  (con bytestring #4941155e2303988a1be97a021fbaf9fe6064d05ea694bc5e89328f297154e5c63a2f3e7b5f509294a2c2e22feb697a16b792fabfebe9d0f38403b1c929836b5a)
+ ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/test-vector-14/test-vector-14.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 43490883
+| mem: 1014})