Course Dashboard

-

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.

-

UTxO Module vs. Account-Based Model What is Unique about Native Assets? Cardano Improvement Proposals and Community Standards Understanding Wallets & Transactions Why Functional Programming? Pattern Matching

-

I can write a list of smart contracts that helps to describe the functionality of my application. I can create a parameter dependency tree for a set of interacting validators. I can write a minting policy specification. I can write a spending validator specification. I can describe an application by listing all user actions and redeemers in the application. I can specify how an application is initialized and how to onboard users. I can create a flow diagram demonstrating the ideal UTxOs input output for each user action.

-

I can write a validator which checks against address of inputs I can write a validator which checks against value of inputs I can write a validator which checks against datum of inputs I can write a validator which checks against outputs

-

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 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

-

Topics we didnt cover

-

Apply params to scripts Interpreting data structure from blueprint

-

I can import I can set up my Aiken development environment I can set up my Aiken development environment

-

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.