Migrate validators script to Aiken

[abailly-iohk]

Why

Pros:

• Better performance
• Separate languages and toolchain
• Support and engagement from the Cardano community

Cons:

• Less mature tools
• Need to redo audit or check equivalence (how?)
• "Useless" work: If it ain't broken, don't fix it

What

• Rewrite commit, initial, head, and monetary policy scripts in Aiken
• Use plutus blueprint (json format) as an interface b/w Aiken and Haskell
• Load the scripts from the blueprint in hydra-plutus when defining validators hash and scripts
• TBD: How to handle error codes?

How

• Replace incrementally every validator
• [ ] #1072
• [ ] rewrite initial script
• [ ] rewrite head script
• [ ] rewrite monetary policy

[ghost]

Following discussions with stakeholders, we agreed this change will be postponed until after 1.0.0 release. We'll work with both Plutus and Aiken teams to improve the performance of the former and the maturity of the latter.