Indigo V2 Upgrade Details

This repository is meant to be able to display how the validators and minting policies were generated for V2 of Indigo Protocol as well as the V1 -> V2 upgrade, as well as the V2.1 validators and upgrade policies. You can locate the UPLC of the v2 contracts in the indigo-v2/scripts directory. You can locate the UPLC of the v2.1 contracts in the tests-vX-lib/data directory.

Prerequisite

Make sure nix is installed.

Subsequent instructions assume you are inside the dev env shell. To get there do nix develop (if this doesn't work and your nix is older then do nix-shell).

Build

cabal build

Run Upgrade Details for v1 -> v2 upgrade

cabal run upgrade-details

Run Upgrade Details for v2 -> v2.1 upgrade

cabal run upgrade-details-v2

Publishing named-debrujin from UPLC

The Plutus Simple Model package that we use to be able to test the validators requires named-debrujin files rather than raw UPLC to be able to run tests. To be able to compile the named-debrujin from the UPLC we can run the following script for each UPLC.

aiken uplc encode --to named-debruijn $UPLC_FILE > $NAMED_DEBRUJIN_FILE