Hard properties with (very) short PCPPs and their applications