Yes, it's a one-way function. And if the builds are reproducible, this function is deterministic. The way to verify is to redo the entire compile process. But

Yes, it's a one-way function. And if the builds are reproducible, this function is deterministic. The way to verify is to redo the entire compile process. But the advantage is that anyone can do this, so you can have other users in the community validating the builds.