[_zoltan_]

no, neither of you are right. to short you just need to buy ATM puts. while technically not the classical short, if you believe it's downhill from there, this will pay.

get ATM into 2028dec and you're good if it crashes.