Commit blueprint tx

[v0d1ch]

fix #1350

As discussed with out users in #1337 we want to unlock more usecases and allow additional transaction context specified by providing a blueprint transaction.

• It is important to note that only the inputs spent by the blueprint transaction will be committed to a head.

• Any outputs as well as minting or burning will be igored by the hydra-node

• The old way of committing still works with a caveat that only the pub key UTxO can be committed this way. In order to commit a script UTxO we need a draft/blueprint transaction that proves these outputs can be spent and provides necessary data (i.e. redeemers).

• Now it is possible to also commit reference inputs since we lifted this restriction.

---

• CHANGELOG updated or not needed
• Documentation updated or not needed
• Haddocks updated or not needed
• No new TODOs introduced or explained herafter

[github-actions]

Test Results

423 tests  +2   414 ✅ +2   14m 41s ⏱️ -54s
138 suites +2     9 💤 ±0 
  2 files   ±0     0 ❌ ±0 

Results for commit 62371ed. ± Comparison against base commit 120ff1b.

This pull request removes 8 and adds 10 tests. Note that renamed tests count towards both.

Hydra.API.HTTPServer/JSON encoding of (ReasonablySized DraftCommitTxRequest) ‑ allows to encode values with aeson and read them back
Hydra.API.HTTPServer/JSON encoding of (ReasonablySized DraftCommitTxRequest) ‑ produces the same JSON as is found in golden/ReasonablySized DraftCommitTxRequest.json
Hydra.API.HTTPServer/JSON encoding of (ReasonablySized DraftCommitTxResponse) ‑ allows to encode values with aeson and read them back
Hydra.API.HTTPServer/JSON encoding of (ReasonablySized DraftCommitTxResponse) ‑ produces the same JSON as is found in golden/ReasonablySized DraftCommitTxResponse.json
Hydra.Chain.Direct.State/commit ‑ reject committing outputs with reference scripts
Test.EndToEnd/End-to-end on Cardano devnet/single party hydra head ‑ can't commit externally with internal wallet utxo
Test.EndToEnd/End-to-end on Cardano devnet/single party hydra head ‑ commit external wallet utxo with inline datum in the script
Test.EndToEnd/End-to-end on Cardano devnet/single party hydra head ‑ commits from external with script utxo

Hydra.API.HTTPServer/API should respond correctly/POST /commit ‑ handles PostTxErrors accordingly
Hydra.API.HTTPServer/API should respond correctly/POST /commit ‑ responds on valid requests
Hydra.API.HTTPServer/JSON encoding of (ReasonablySized (DraftCommitTxRequest (Tx BabbageEra))) ‑ allows to encode values with aeson and read them back
Hydra.API.HTTPServer/JSON encoding of (ReasonablySized (DraftCommitTxRequest (Tx BabbageEra))) ‑ produces the same JSON as is found in golden/ReasonablySized (DraftCommitTxRequest (Tx BabbageEra)).json
Hydra.API.HTTPServer/JSON encoding of (ReasonablySized (DraftCommitTxResponse (Tx BabbageEra))) ‑ allows to encode values with aeson and read them back
Hydra.API.HTTPServer/JSON encoding of (ReasonablySized (DraftCommitTxResponse (Tx BabbageEra))) ‑ produces the same JSON as is found in golden/ReasonablySized (DraftCommitTxResponse (Tx BabbageEra)).json
Hydra.Chain.Direct.Tx/commitTx ‑ Validate blueprint and commit transactions
Hydra.Chain.Direct.Tx/commitTx ‑ genBlueprintTx generates interesting txs
Test.EndToEnd/End-to-end on Cardano devnet/single party hydra head ‑ commits from external with tx blueprint
Test.EndToEnd/End-to-end on Cardano devnet/single party hydra head ‑ commits from external with utxo

♻️ This comment has been updated with latest results.

[ch1bo]

This looks correct! Only some dead code / specifications to be taken care of.

I do expect we go through this diff and my suggestions in an ensemble session today.

[ch1bo]

This should be correct now. Only minor things pointed out, although some inconsistencies are ideally cleaned up before merging this.