Smart Contract Auditing: Blockchain, Tokenisation & Finance