Hacker News Reader

Gibson is about as credible as I am when it comes to security - ie, not very.

Credibility doesn't matter, as I'm not asking for a confirmation from an expert: EGreg claims there is a security proof of some kind.

Sorry, this is the first time I'm seeing a security proof in the form of interview, so I can't find it. Could you point out the relevant part?

Also, what about Mega?