Return to Article Details The Authenticity of Blockchain Contracts in Proof