Course Dashboard

-

I can write a validator that checks the value of a redeemer. I can write a validator that checks the value of a datum. I can write a parameterized validator. I can write a validator that checks whether a reference input is included in a transaction. I can write a validator that checks for specific signatures in a transaction. I can write a validator that checks against time the submission time of a transaction. I can write a validator that checks for inputs and outputs in a transaction.

-

I can set up my Aiken development environment. I can write basic tests on primitive types on Aiken. I can print a trace message.

-

I can write a mock spending transaction with an input and an output. I can write a mock minting transaction. I can write a mock locking transaction that sends an output to a validator address. I can write a mock unlocking transaction that spends funds from a validator address.

-

I can write an always succeed spending validator. I can write a success test case for my always succeed validator. I can write a fail test case for my always succeed validator. I can write an always succeed minting validator.

-

I can write a validator that checks against the address in an input. I can write a validator that checks against the value of input UTxOs. I can write a validator that checks against input datum. I can write a validator that checks against output UTxOs.