Andamioscan
Back to Dashboard

Module Management

Course structure updates.

Authorizing Teacher
midnight-pbl
Course ID
5f74e419a291825...e69916cfdec9e5

Module Changes

New Module
8c027096565e4c639cd26a206d5a7a065aff9b46f63a107c27541b0e9a1de0a3
Student Learning Targets (SLTs)
  • Design architecture with public verification on Cardano and private proofs on Midnight
  • Describe current interoperability constraints between chains
  • Evaluate when to use Midnight privacy vs Cardano public verification
Created by: midnight-pbl
New Module
a00fcaa7dfa8b6991a9aa041edd5a42775c8f8061a9bfdc3f01a24d3a90f6a01
Student Learning Targets (SLTs)
  • Install Compact toolchain and run proof server via Docker
  • Compile a Compact contract and identify output artifacts
  • Deploy contract to Midnight testnet and interact via TypeScript SDK
Created by: midnight-pbl
New Module
a08dd276daa0ce9f069de464e2e5304b206116d51d368cf7e5d42d47685e6b37
Student Learning Targets (SLTs)
  • Design Compact circuit verifying signed credential without revealing attributes
  • Use MerkleTree commitments and nullifiers for membership proofs
  • Implement selective disclosure proving claims without revealing identity
Created by: midnight-pbl
New Module
cbdbe6b2d762c648b6030a3c3539c3340c07775962e9ccee81653c896c731dc0
Student Learning Targets (SLTs)
  • Compare Midnight execution model to Cardano eUTxO model
  • Describe dual-ledger system and when data lives on public vs private ledger
  • Explain how Midnight relates to Cardano as a partner chain
Created by: midnight-pbl
New Module
e0701539147de2d5c565af6506695993de2a5534162149c9017365327a0f91b0
Student Learning Targets (SLTs)
  • Describe the core components of a Compact contract
  • Compare Aiken concepts to their Compact equivalents
  • Write a Compact contract that declares ledger state and exposes a circuit
Created by: midnight-pbl
New Module
ff002fac9706528aefb486f663f2ca5f30a03ae474ee9ea098b6bdf187354d7e
Student Learning Targets (SLTs)
  • Explain how disclose primitive controls public vs private visibility
  • Describe how ZK proof is generated and verified by Impact VM
  • Implement a witness function in TypeScript for private data
Created by: midnight-pbl
b731201faa0...32f8d03886 Explorer