Auditing of smart contracts is a critical element of the blockchain development process. It blends man-power expertise and ...