Course Dashboard

-

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

-

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

-

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

-

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

-

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

-

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