Both of those are prone to be broken by a reasonably good AI, plus verification of either would be too computationally heavy to be cost effective (Also likely i

Both of those are prone to be broken by a reasonably good AI, plus verification of either would be too computationally heavy to be cost effective (Also likely involving AI)