feat(cardano): add support for alonzo transactions

[davidmisiak]

New features:

• validation of map key canonical ordering (CIP-0021)
• network_id is optionally serialized in tx body
• datum_hash may be present in outputs if ORDINARY_TRANSACTION, MULTISIG_TRANSACTION or PLUTUS_TRANSACTION signing mode is used and the output address contains a script hash
• script_data_hash may be present if ORDINARY_TRANSACTION, MULTISIG_TRANSACTION or PLUTUS_TRANSACTION signing mode is used
• there is a new PLUTUS_TRANSACTION signing mode, which allows signing transactions with collateral inputs and required signers
• stake credentials in certificates and withdrawals may be given as key_hash in PLUTUS_TRANSACTION

[gabrielKerekes]

Overall LGTM. I noticed a few minor issues though 😉

I'm not sure about show_warning_tx_output_contains_data_hash - the name and how the hash is displayed. I know it's mentioned in the TODOs, I'm just mentioning it here as another reminder.

[gabrielKerekes]

I have reviewed all the source code. I haven't tested it yet nor have I looked at the tests. I will do this tomorrow. So far I haven't found any major issues. Mostly just some refactoring suggestions.

[gabrielKerekes]

Reviewed the tests, tried signing a few transactions and checked their bodies. Seems to work as currently expected 👍

[gabrielKerekes]

I think this looks good for now. Please fix my last comments, squash the fixups and then I think we should both go through it and test it once more to verify that all indeed is good.

[gabrielKerekes]

I just realised that core/src/apps/cardano/README.md has not been updated, specifically the transaction sample. Could you please do that? This (https://gist.github.com/gabrielKerekes/ad6c168b12ebb43b082df5b92d67e276) should be the transaction I used to generate the Transaction body example. And perhaps it's also worth it to briefly mention the new fields and the option of including network id in tx body. And anything else you think is missing 🙈

[gabrielKerekes]

Just one nit pick and I would perhaps also add a test to sign_tx.plutus.json with a script payment address output and no datum hash to signify that it indeed should pass.

[stefanobieler]

Hello, new to open source development. But Cardano just launched 3 DEXs and there is no hardware support for Alonzo smart contracts yet on the Trezor model T. Been tracking this issue for a while and noticed it's been sitting here. Is there someway i can help contribute in order to merge this feature? It's really really needed. Thanks.

[davidmisiak]

@stefanobieler
Hi, thanks for reaching out and willingness to help! We know that many members of the Cardano community want Plutus support on HW wallets and we’re currently finalising and testing these changes. We hope to create a PR to Trezor soon for them to review and hopefully it will then make it to the March firmware release (if there will be a release in March).

[davidmisiak]

Merged in trezor#2114.