Verifying smart contracts in Libra’s Move language | Heykuki News