Therefore the supporting argument conflates polynomial-time verification of certificate components w...