Use aiken for commit validator #1680
Commits on Oct 4, 2024
-
-
Add aiken to our nix develop shell
We intend to create one of the hydra-plutus scripts with aiken.
-
-
Create a module to load blueprint json
This separates the aiken build, which yields the plutus.json blueprint and the haskell build which provides access to the compiled validators.
-
Replace plutus-tx commit with the aiken commit script
Instead of using the plutus-tx "compiledScript", we use the loaded-from-blueprint aiken script in the init validator and when constructing/observing transactions in the hydra-node.
-
-
-
Try to make plutus.json a extra source file
This is not yet working and it does not correctly detect changes to plutus.json
-
Decode commit datum as a record
Plutus-tx seems to be encoding tuples as a Constr on-chain.
-
-
-
-
Also add TODO comments for things that are missing to be removed.
-
-
Fix commit mutation tests on abort and collect-com
By regenerating the plutus.json file using -k flag during aiken build.
-
-
Replace the use of ByteArray for String on aiken commit validator script
This removes the need of using aiken/builtin function decode_utf8, providing some small optimization. Also recreated plutus scripts.
-
Increase the number of parties for FanOut tx-cost
To correlate with the rest.
-
-
Remove commit plutus validator as it is not needed anymore
Also removed its golden spec. Finally added a note about a fragility being present while accessing the commit validator script from the blueprintJSON.
-
-
-
-
-
-
-
-
Use aiken scripts as PlutusV3 script
Seems like the aiken compiler uses plutus core version 1.1.0 syntax and we need to declare it as a PlutusV3 script.
-
-
Drop commit from inspect-script exe
We do not need the plutus-style envelope and this would not match with the PlutusV2 used there.
-
Rebuild commit aiken validator with -t compact
This will keep the first trace argument which we expect to see in our mutation tests.
-
Simply compare the plutus.json after regeneration
This does not require us to be in a git repository and hence makes the test more flexible and isolated.
-
Drop a redundant test and FIXME
The hydra-plutus library seems to be consistently rebuilt when the plutus.json gets changed.
-
-
Only reference commit script if spending commits in abort
This was failing with PPViewHashesDontMatch because the transaction was referencing the commit script which is does not always need, and the commit script being of different version than the other scripts spent.
-
-
-
