PQ provers for P2PKH outputs

Yes, that’s true, but the main idea was to separate the proving device from the device that controls the secret key. For instance, you manage the key in the secure enclave/HW wallet/HSM, and exporting the private key can be difficult or risky. With the approach we benchmarked, you can produce the signature of the predefined string (by this secure device) and delegate the proving of the signature correctness to another machine without compromising sk.