Yes. The official binary is compiled in a special environment that can be exactly replicated so that the binary can be verified. It's a bit difficult to set up, though.
Where can I read more about this environment? I'm very interested in having the same thing for my own app.