If the government were to take a hard line on this, then publishing on github for anyone to deploy would work. It's easy to verify that the compiled contract matches published source code.

But the Bernstein case was about PGP, and after the decision people had no trouble with using it, making compiled code available for download, etc.