Ethereum’s Smart Contract Verification: How It Works?