Scriptable hydra head scenarios

[ch1bo]

Why

@KtorZ had this idea:

Use plutus scripts to define the behavior of individual test scenarios for a hydra-cluster sandbox.

We have a hydra-cluster --devnet command line, which right no just opens a head of a single party on a local cardano devnet. While we can and will enhance that scenario, it will always be a sandbox of fixtures.

To be able to enhance this further and make a scenario scriptable by users, we would need to have a language to decide what transactions we want to produce and when. Plutus scripts are already a portable and known-by-users language to express logic on transaction contexts and we could enhance the domain slightly to cover the L2 ledger state / hydra head state.

What

Use aiken to define what test/benchmark scenarios for a hydra head.

This is a vague idea right now, but we wanted to persist it although it's not directly actionable right now.

How

No response