Spike: Custom ledger containing a new primitive operation - can we still decommit/close?

[noonio]

Why

Perhaps there is a need to have custom validation-logic on the L2 ledger that the L1 doesn't support. Can this be achieved and still allow the UTxO to be decommitted back into L1 and the head close/fanout as normal?

What

• A fork of cardano-ledger with our new code
• A branch of hydra that depends on that and builds with it
• A validator that tests the new operation

How

See also: https://github.com/search?q=repo%3AIntersectMBO%2Fplutus%20ripemd&type=code and https://github.com/IntersectMBO/plutus/pull/6378/files

Here's the actual function we may consider - https://github.com/w3f/schnorrkel - but for us we just want to test any new builtin; the work of making the actual builtin can come later.

• Fork the cardano-ledger and depend on it (edit: Or make a new Era? Apparently)
• Add a new (trivial) operation
• Use it in a custom validator running in some L2 contract
• Check that it works
• See if the head can be closed/funds fanned out or decommited as normal