Blockchain security and auditing smart contracts