By now there are recursive proofs, and the blockchain could be a static size (couple KB) proof. So all you need for IBD is to download that tiny proof and run a quick validation, and that's equivalent to downloading and verifying the entire blockchain at the moment. So a smartly designed proof can b...