Also, neither system's proof of work is based on NP-hard problems.