Smart Contract Security Verification Standard