Sure, but that's the point of an end-to-end auditable system so you don't have to trust whoever implements it. The whole idea is that no crooks can make math work any differently than it does.