Tagged smart-contract-audit