Cannot find PubKeyHash in txInfoSignatories

[tdiesler]

Area

[] Plutus Foundation Related to the GHC plugin, Haskell-to-Plutus compiler, on-chain code

Summary

This snipit ...

fails with the usual

Command failed: transaction build  Error: The following scripts have execution failures:
the script for transaction input 1 (in the order of the TxIds) failed with The Plutus script evaluation failed: An error has occurred:  User error:
The provided Plutus code called 'error'.

The Tx is signed with .../acc1/payment.skey

Generally, I don't know how to debug this. Is there an issue that I can track for basic validation logging? I feel that I'm totally in the dark with these kind of issues. The same code used to work in the emulator during the pioneer program.

Related to: input-output-hk/Alonzo-testnet#66

[tdiesler]

I found a workaround like this ...

It seems that the signatories are not the same as the PKHs derived from the input addresses.

[catch-21]

Hi @tdiesler, this issue concerns the node-cli.
You need to include "required signatories" in the transaction, not just an actual witness. Please note, this is not supported in 1.29. IntersectMBO/cardano-node#3123 introduces --required-signer cli option to do this.

[tdiesler]

@james-iohk merci. May I ask why we need that extra option, isn't it redundant to the list of witnesses?

[catch-21]

@tdiesler From my understanding it allows the script to still validate even if witnesses are stripped from the transaction. It allows transaction build cmd to validate before the transaction is signed too. There may be other reasons.

[tdiesler]

Of course - thanks

[hasufell]

I found a workaround like this ...

What is getInputAddresses? This function doesn't exist anywhere.

---

Edit: something like this it seems

getInputAddresses (ScriptContext { scriptContextTxInfo = TxInfo { txInfoInputs } }) = fmap (txOutAddress . txInInfoResolved) txInfoInputs

[tdiesler]

I use this