Any cryptocurrency project relying on smart contract technology may want to have its code audited…