Course Dashboard

-

I can design a dual-chain architecture where public credential verification runs on Cardano and private attribute proofs run on Midnight. I can evaluate a use case and recommend when to use Cardano, Midnight, or both. I can identify the open questions in Cardano-Midnight interoperability and distinguish what works today from what's unsolved.

-

I can build a privacy-preserving application on Midnight that uses ZK proofs to hide user inputs while updating public state. I can compare the transaction lifecycle of a shielded Midnight transaction to an equivalent Cardano transaction. I can evaluate the cost of privacy in a concrete scenario and articulate when the cost is justified.

-

I can explain Midnight's token architecture and map it to Cardano equivalents. I can design a Compact circuit that verifies a credential without revealing its attributes. I can use MerkleTree commitments and nullifiers to prove credential membership without exposing which credential.

-

I can write a Compact contract that uses `disclose()` to control what crosses the public/private boundary. I can compare Compact's privacy annotations to the client-side/server-side mental model. I can implement a TypeScript witness function that provides private data to a Compact circuit.

-

I can scaffold and deploy a Midnight DApp to the Preprod testnet using `create-mn-app`. I can identify the key components of a Midnight project and relate them to Cardano equivalents. I can describe proof generation and its role in the Midnight transaction lifecycle.

-

I can compare Midnight's dual-state model to Cardano's EUTXO model. I can explain how Kachina transcripts handle concurrent state updates. I can describe Midnight's relationship to Cardano as a partner chain.