Earlier quoted context omitted.
I have to ask: how are the PGP keys verified?
Through the Web of Trust: https://en.wikipedia.org/wiki/Web_of_trust http://www.pgpi.org/doc/pgpintro/ http://www.rubin.ch/pgp/weboftrust.en.html Essentially: with cryptography, you aren't concerned about the transport , you're concerned about the crypto . Signatures of the source or binaries will tell you if they've been changed. Signatures on keys will tell you who trusts those keys . If someone you trust trusts a…
I understand all those things in general, but I don't know the specific mechanism by which my local PGP install recognizes who else trusts this PGP key. I grant you that if the key is protected from MITM then all is well. I just still don't know this part:
What mechanism do I use, I who have no prior encounter with that key and no existing PGP setup or connection to any web, to validate that key?
I'm sure this is just a lack of familiarity with PGPs web of trust implementation, but lacking this info, I too just opted to trust the plain HTTP download (until I switched to Cygwin/OpenSSH to make it a moot point anyway).