Visible to the public Equivalence Checking using Cryptol