Andamioscan
Events
Courses
Projects
Analytics
Glossary
Developers
Search transactions, courses, or projects
Back to Dashboard
Module Management
Course structure updates.
Authorizing Teacher
manager-001
Course ID
ee4fb050147a47e...bec1e17bcd02f9
Module Changes
New Module
02565c4b57a57883b5220903ca1c73631460c9ed22cf60c89774d94eb1639cca
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:
manager-001
New Module
26acf3c52b6889eb6ce21c373edfb2e0ce56caff0cafae41dfd256e894548fbc
Student Learning Targets (SLTs)
I can import
I can set up my Aiken development environment
I can set up my Aiken development environment
Created by:
manager-001
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:
manager-001
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:
manager-001
New Module
7eebee47abb4a9d8ce0d7f1c1c5b04e48b74e51aa8f495d03ad5590817de5d58
Student Learning Targets (SLTs)
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
Created by:
manager-001
New Module
a351322be7e02e8912da4b3878168cc5700113bec0c85ef99d8ee978340f7c2c
Student Learning Targets (SLTs)
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.
Created by:
manager-001
New Module
cfed84230ee7d313e227aff91e89a377a2835ef079df8e70abdbab8c8f14d943
Student Learning Targets (SLTs)
Topics we didnt cover
Created by:
manager-001
New Module
d6ded556dc0a8e8a82330d194730d32a812f11746cce07e6f7f7c4de210ca021
Student Learning Targets (SLTs)
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
Created by:
manager-001
New Module
e4eb2bb8dd80badc8b65bd06ce5118f855080f3a51632328183eb90b746a6a0e
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:
manager-001
New Module
f46d4d330d9242e44fbab661701571cfc78a441c2b0683e16075f68b64c44ef4
Student Learning Targets (SLTs)
Apply params to scripts
Interpreting data structure from blueprint
Created by:
manager-001
Feb 02, 2026 15:16:20 PM UTC
a06feba5ff0...67fcac4fc2
Explorer