Cryptographic hardness depends on unproven conjectures (P≠NP); logical limitations are independent o...
This proposition has not been edited since the history system was added.