Andamioscan
Back to Dashboard

Module Management

Course structure updates.

Authorizing Teacher
james
Course ID
e473f1d6827b4b5...ff98cc46bb1e9d

Module Changes

New Module
2874c6d8e39846f566b80382643a5939d1b6298ffef1ed770bb222d302062852
Student Learning Targets (SLTs)
  • 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.
Created by: james
New Module
6892a486121e9aebff6210a8c9f14d3721ca2e9baa822fd1fbd5940357e68564
Student Learning Targets (SLTs)
  • I can set up my Aiken development environment.
  • I can write basic tests on primitive types on Aiken.
  • I can print a trace message.
Created by: james
New Module
6ab6a3f00261585c3f1794ad0d14019bc668b2071c2255a259a323ed0761d8a2
Student Learning Targets (SLTs)
  • 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.
Created by: james
New Module
ac954a66cfeefb4e05043a15cfb557010006753e1135a27c1b4922b08e7b0809
Student Learning Targets (SLTs)
  • 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.
Created by: james
New Module
ffccc1ab4e570e1e788d237efaf333ce81f7bfbe078f13fab48b99d70e68ce76
Student Learning Targets (SLTs)
  • 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.
Created by: james
b46e1a04d23...a8626d5df7 Explorer