Hacker News Reader

This skips the most important part of the proof which explains why this is not easily invertible without the secret key.

What is this part? Isn't it just by assumption? (also, by secret key, I'm guessing you mean 'a', 'b')