Models Can Provably Hide Capabilities via Encrypted Backdoors | HACKOBAR_