Unmark red items which were addressed in #777

[ch1bo]

When we fixed the scripts in #777, we could remove some of the "red" gaps in the specification and this PR makes these onchain section more consistent with the current implementation.

Also update the collectComTx figure and fix some typos.

---

• CHANGELOG update not needed
• Documentation update not needed
• Added and/or updated haddocks
• No new TODOs introduced or explained herafter

[github-actions]

Test Results

303 tests   - 11   297 ✔️  - 11   20m 44s ⏱️ -18s
100 suites  -   4       6 💤 ±  0 
    5 files    -   1       0 ❌ ±  0 

Results for commit 93055fa. ± Comparison against base commit 8bcd88e.

This pull request removes 11 tests.

Hydra.TUI.Options ‑ parses --cardano-signing-key option
Hydra.TUI.Options ‑ parses --connect option
Hydra.TUI.Options ‑ parses --node-socket option
Hydra.TUI.Options ‑ parses --testnet-magic option
Hydra.TUI/end-to-end smoke tests ‑ display feedback long enough
Hydra.TUI/end-to-end smoke tests ‑ doesn't allow multiple initializations
Hydra.TUI/end-to-end smoke tests ‑ starts & renders
Hydra.TUI/end-to-end smoke tests ‑ supports the full Head life cycle
Hydra.TUI/end-to-end smoke tests ‑ supports the init & abort Head life cycle
Hydra.TUI/text rendering errors ‑ should show not enough fuel message and suggestion
…

♻️ This comment has been updated with latest results.

[github-actions]

Transactions Costs

Sizes and execution budgets for Hydra protocol transactions. Note that unlisted parameters are currently using arbitrary values and results are not fully deterministic and comparable to previous runs.

Metadata
Generated at	2023-04-27 13:05:46.559075933 UTC
Max. memory units	14000000
Max. CPU units	10000000000
Max. tx size (kB)	16384

Script summary

Name	Hash	Size (Bytes)
νInitial	e5cc20df4a2216e706b3d00b59fbb15a7cf12dbd28d271d4a8cf6d04	4336
νCommit	47c102d5f95a0648b4065f2b8bff59d3e34536a82ee7b0d42df73123	2124
νHead	9fe3a5c4d826f9475368e1e24c15bf22f4df19893cce2689d3c0564a	9492
μHead	7bec671467e923281c92e94257931913be106e217270a7b97076cb9b*	4148

• The minting policy hash is only usable for comparison. As the script is parameterized, the actual script is unique per Head.

Cost of Init Transaction

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	4742	14.04	5.52	0.51
2	4946	14.40	5.58	0.52
3	5152	18.74	7.29	0.58
5	5559	22.30	8.59	0.64
10	6587	34.05	13.02	0.81
38	12329	99.99	37.87	1.77

Cost of Commit Transaction

Currently only one UTxO per commit allowed (this is about to change soon)

UTxO	Tx size	% max Mem	% max CPU	Min fee ₳
1	603	15.41	5.98	0.34

Cost of CollectCom Transaction

Parties	UTxO (bytes)	Tx size	% max Mem	% max CPU	Min fee ₳
1	57	817	27.76	10.82	0.49
2	113	1138	43.42	17.06	0.67
3	170	1462	61.06	24.16	0.88
4	226	1791	82.19	32.67	1.13

Cost of Close Transaction

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	673	19.03	8.65	0.40
2	804	19.98	9.56	0.42
3	969	21.67	10.94	0.45
5	1307	24.16	13.33	0.50
10	2124	31.43	19.73	0.64
50	8725	87.17	69.99	1.74

Cost of Contest Transaction

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	666	24.77	10.64	0.46
2	874	26.51	12.19	0.49
3	1005	28.20	13.38	0.52
5	1335	31.20	15.95	0.58
10	2160	40.20	22.97	0.74
44	7771	98.46	69.54	1.79

Cost of Abort Transaction

Some variation because of random mixture of still initial and already committed outputs.

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	4860	22.19	9.33	0.61
2	5181	36.25	15.44	0.78
3	5501	52.87	22.72	0.98
4	5826	72.51	31.33	1.22
5	6149	95.61	41.41	1.49

Cost of FanOut Transaction

Involves spending head output and burning head tokens. Uses ada-only UTxO for better comparability.

Parties	UTxO	UTxO (bytes)	Tx size	% max Mem	% max CPU	Min fee ₳
5	0	0	4764	8.67	3.57	0.46
5	1	57	4797	10.06	4.39	0.47
5	5	284	4944	15.64	7.69	0.55
5	10	568	5123	22.61	11.82	0.64
5	20	1138	5478	36.57	20.08	0.83
5	30	1707	5845	50.53	28.34	1.02
5	40	2274	6197	64.49	36.60	1.21
5	50	2844	6560	78.46	44.87	1.40
5	65	3700	7102	99.42	57.28	1.68