Alonzo automation checklist

[dorin100]

Transaction build scenarios:

Plutus scripts

• always-succeeds-spending.plutus
• custom-guess-42-datum-42.plutus
• anyone-can-mint.plutus
• always-fails.plutus
• minting-context-equivalance-test.plutus
• context-equivalance-test.plutus
• stake delegation, withdrawal --> guess-42-stake.plutus - Add an example for using a Plutus script as stake credential cardano-node#3162 - FIXED
• PlutusLobster script

Types of redeemers:

• spend - spending a script utxo entry
• mint - minting tokens
• cert - certificates with script credentials
• reward - reward withdrawals from script addresses

Legacy transaction types:

• - basic transactions
• - multi-assets: minting, burning, spending
• - update proposals
• - stake pool (registration, de-registration, update)
• - stake address certificates (registration, delegation, de-registration)
• - MIR certificates
• - tx with metadata
• - multi-sig scripts (time locking)
• - withdraw rewards - BLOCKED - [BUG] - withdrawal doesn't work with transaction build command cardano-node#3074

Other scenarios:

• - 1 tx-in + 1 tx-out + 1 change-address
• - many tx-in + many tx-out + 1 change-address
• - no enough funds in tx-in
• - no enough funds for fees
• - no existing/valid tx-in
• - no existing/valid tx-out
• - no existing/valid change-address
• - no tx-in
• - no tx-out
• - send all funds from utxo (final balance to be 0) - [BUG] - transaction build attempts to create UTxO with 0 lovelace as change cardano-node#3041
• - no change-address
• - same --tx-in used multiple times in the same tx - [BUG] - plutus transaction txins are not properly validated in build command (the impossible happened: RedeemerNotNeeded) cardano-node#3018 (comment)
• send ada + multi assets to/from plutus script address
• same --tx-in and --tx-in-collateral - it should not be possible to pay collateral with a script-locked input
• tx-in with no datum hash used in place of Plutus tx-in --> should return an error NonOutputSupplimentaryDatums
• - collateral consumed
  • - --tx-in-collateral - containing multi-assets --> should return error - CollateralContainsNonADA
• - run all the tests without any development flag like TestEnableDevelopmentNetworkProtocols, TestEnableDevelopmentHardForkEras
• trasaction build --required-signer

Alonzo protocol parameter values:

• - collateralPercent
  • configured value in protocol parameters
  • (configured value - 1) - should return error
• - maxCollateralInputs
  • min no of collaterals
  • max no of collaterals
  • no collaterals - should not work
  • (max + 1) collatarals - should not work

DB-Sync checks

• add db-sync checks were possible (for the Plutus scripts actions)
  • use the same address both as --tx-in and as --collateral (maybe also as a --change-address) - uniqueness constraint on CollateralTxIn table cardano-db-sync#750
  • record the number of execution units in each tx
  • record the contribution to the fees of the execution units in the tx
  • Boolean that tx has a script or not (a flag in a separate column)
  • "serialised size"