Right, if you throw out the requirement of secrecy, it's pretty easy to produce a verifiable system. That's the whole problem to begin with.