In the webs of ethereum: analyzing smart contracts vulnerabilities | Synapse