Presently, audits of a smart contract are limited to peer-reviewing by a senior developer. Although a well-documented framework is yet to come out for auditing smart contract code in the blockchain community, there has been a lot of noteworthy, tangible progress in the research community:
- XiapuLuo et al. have come out with a proprietary tool named GAS-costly pattern checker (GASPER), using which they have identified public smart contracts with many types of gas-costly patterns discussed in the earlier section
- Juels et al. diagnosed that smart contracts can facilitate crimes and showed how criminal smart contracts can be facilitated to leak confidential information, theft of cryptographic keys, and various ...
