# Hello, I don't really understand the conclusion of the binding proof, how an attacker is not capable of finding m' and r' ? Also what does the diagram mean ?