Add test for build without sign

Author: gege251

src/BotPlutusInterface/Files.hs

@@ -16,6 +16,7 @@ module BotPlutusInterface.Files (
   writeValidatorScriptFile,
   datumJsonFilePath,
   skeyToDummyPrivKey,
+  vkeyToDummyPrivKey,
   writeDatumJsonFile,
 ) where
 

test/Spec/BotPlutusInterface/Contract.hs

@@ -57,7 +57,9 @@ import Spec.MockContract (
   pkhAddr1,
   runContractPure,
   tip,
+  toVerificationKeyFile,
   utxos,
+  verificationKey1,
  )
 import Test.Tasty (TestTree, testGroup)
 import Test.Tasty.HUnit (Assertion, assertBool, assertFailure, testCase, (@?=))
@@ -74,6 +76,7 @@ tests =
     [ testCase "Send ada to address" sendAda
     , testCase "Send ada to address with staking key" sendAdaStaking
     , testCase "Support multiple signatories" multisigSupport
+    , testCase "Create a tx without signing" withoutSigning
     , testCase "Send native tokens" sendTokens
     , testCase "Send native tokens (without token name)" sendTokensWithoutName
     , testCase "Mint native tokens" mintTokens
@@ -301,6 +304,39 @@ multisigSupport = do
         )
       ]
 
+withoutSigning :: Assertion
+withoutSigning = do
+  let txOutRef = TxOutRef "e406b0cf676fc2b1a9edb0617f259ad025c20ea6f0333820aa7cef1bfe7302e5" 0
+      txOut = TxOut pkhAddr1 (Ada.lovelaceValueOf 1250) Nothing
+      initState =
+        def
+          & utxos .~ [(txOutRef, txOut)]
+          & files .~ uncurry Map.singleton (toVerificationKeyFile "./signing-keys" verificationKey1)
+      inTxId = encodeByteString $ fromBuiltin $ TxId.getTxId $ Tx.txOutRefId txOutRef
+
+      contract :: Contract Text (Endpoint "SendAda" ()) Text CardanoTx
+      contract = do
+        let constraints = Constraints.mustPayToPubKey paymentPkh2 (Ada.lovelaceValueOf 1000)
+        submitTx constraints
+
+  -- Building and siging the tx should include both signing keys
+  assertContractWithTxId contract initState $ \state outTxId ->
+    assertCommandHistory
+      state
+      [
+        ( 6
+        , [text|
+          cardano-cli transaction build --alonzo-era
+          --tx-in ${inTxId}#0
+          --tx-in-collateral ${inTxId}#0
+          --tx-out ${addr2}+1000
+          --required-signer-hash ${pkh1'}
+          --change-address ${addr1}
+          --mainnet --protocol-params-file ./protocol.json --out-file ./txs/tx-${outTxId}.raw
+          |]
+        )
+      ]
+
 sendTokens :: Assertion
 sendTokens = do
   let txOutRef1 = TxOutRef "08b27dbdcff9ab3b432638536ec7eab36c8a2e457703fb1b559dd754032ef431" 0

test/Spec/MockContract.hs

@@ -4,12 +4,15 @@
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 module Spec.MockContract (
+  -- Mock private and public keys etc.
   signingKey1,
   signingKey2,
-  runContractPure,
+  signingKey3,
+  verificationKey1,
+  verificationKey2,
+  verificationKey3,
   toSigningKeyFile,
-  runContractPure',
-  MockContractState (..),
+  toVerificationKeyFile,
   pubKey1,
   pubKey2,
   pubKey3,
@@ -28,6 +31,10 @@ module Spec.MockContract (
   pkhAddr1,
   pkhAddr2,
   pkhAddr3,
+  -- Test interpreter
+  runContractPure,
+  runContractPure',
+  MockContractState (..),
   commandHistory,
   instanceUpdateHistory,
   logHistory,
@@ -52,13 +59,15 @@ import Cardano.Api (
   AsType,
   FileError (FileError, FileIOError),
   HasTextEnvelope,
+  Key (VerificationKey, getVerificationKey),
   NetworkId (Mainnet),
   PaymentKey,
   SigningKey (PaymentSigningKey),
   TextEnvelope,
   TextEnvelopeDescr,
   TextEnvelopeError (TextEnvelopeAesonDecodeError),
   deserialiseFromTextEnvelope,
+  getVerificationKey,
   serialiseToTextEnvelope,
  )
 import Cardano.Crypto.DSIGN (genKeyDSIGN)
@@ -116,10 +125,15 @@ signingKey1 = PaymentSigningKey $ genKeyDSIGN $ mkSeedFromBytes $ ByteString.rep
 signingKey2 = PaymentSigningKey $ genKeyDSIGN $ mkSeedFromBytes $ ByteString.replicate 32 1
 signingKey3 = PaymentSigningKey $ genKeyDSIGN $ mkSeedFromBytes $ ByteString.replicate 32 2
 
+verificationKey1, verificationKey2, verificationKey3 :: VerificationKey PaymentKey
+verificationKey1 = getVerificationKey signingKey1
+verificationKey2 = getVerificationKey signingKey2
+verificationKey3 = getVerificationKey signingKey3
+
 pubKey1, pubKey2, pubKey3 :: PubKey
-pubKey1 = toPubKey signingKey1
-pubKey2 = toPubKey signingKey2
-pubKey3 = toPubKey signingKey3
+pubKey1 = skeyToPubKey signingKey1
+pubKey2 = skeyToPubKey signingKey2
+pubKey3 = skeyToPubKey signingKey3
 
 pkh1, pkh2, pkh3 :: PubKeyHash
 pkh1 = Ledger.pubKeyHash pubKey1
@@ -146,19 +160,32 @@ addr1 = unsafeSerialiseAddress Mainnet (Ledger.pubKeyHashAddress paymentPkh1 Not
 addr2 = unsafeSerialiseAddress Mainnet (Ledger.pubKeyHashAddress paymentPkh2 Nothing)
 addr3 = unsafeSerialiseAddress Mainnet (Ledger.pubKeyHashAddress paymentPkh3 Nothing)
 
-toPubKey :: SigningKey PaymentKey -> PubKey
-toPubKey =
+skeyToPubKey :: SigningKey PaymentKey -> PubKey
+skeyToPubKey =
   Ledger.toPublicKey
     . Files.unDummyPrivateKey
     . fromRight (error "Impossible happened")
     . Files.skeyToDummyPrivKey
 
+vkeyToPubKey :: VerificationKey PaymentKey -> PubKey
+vkeyToPubKey =
+  Ledger.toPublicKey
+    . Files.unDummyPrivateKey
+    . fromRight (error "Impossible happened")
+    . Files.vkeyToDummyPrivKey
+
 toSigningKeyFile :: FilePath -> SigningKey PaymentKey -> (FilePath, MockFile)
 toSigningKeyFile signingKeyFileDir sKey =
-  ( signingKeyFileDir ++ "/signing-key-" ++ show (Ledger.pubKeyHash (toPubKey sKey)) ++ ".skey"
+  ( signingKeyFileDir ++ "/signing-key-" ++ show (Ledger.pubKeyHash (skeyToPubKey sKey)) ++ ".skey"
   , TextEnvelopeFile $ serialiseToTextEnvelope Nothing sKey
   )
 
+toVerificationKeyFile :: FilePath -> VerificationKey PaymentKey -> (FilePath, MockFile)
+toVerificationKeyFile signingKeyFileDir vKey =
+  ( signingKeyFileDir ++ "/signing-key-" ++ show (Ledger.pubKeyHash (vkeyToPubKey vKey)) ++ ".vkey"
+  , TextEnvelopeFile $ serialiseToTextEnvelope Nothing vKey
+  )
+
 data MockFile
   = TextEnvelopeFile TextEnvelope
   | JsonFile JSON.Value