In the absence of some formal proof of equivalence, an identical binary is the only way to prove that you've written code that is functionally equivalent to the

In the absence of some formal proof of equivalence, an identical binary is the only way to prove that you've written code that is functionally equivalent to the original source code. So I can definitely see the appeal of the idea, as daunting as it seems.