contractDigestOf function
The SHA-256 digest of a declared contract string (certification provenance: the receipt binds the exact contract text).
Implementation
String contractDigestOf(String contract) =>
crypto.sha256.convert(utf8.encode(contract)).toString();