Hard-level Cardano interview questions covering advanced optimization and formal verification. Q1: How do you formally verify Plutus contracts? Answer: Formal Verification: Use Agda/Coq for proofs Prove contract properties Ensure correctness Mathematical guarantees Q2: How do you optimize for Cardano's execution model? …