Knowledge with Public Keys -- Communication-Efficient Non-interactive Proofs of