Research Summary: An Exploratory Study on Solidity Guards and Ether Exchange Constructs

Auditing and Security
4

Hi @Darin_Verheijke, I am impressed by the volume of dataset you and your team put together for this research paper.

I have a few questions for you:

  1. It seems as if the Call function is a necessary devil. If it is the unsafest method for ether exchange, when compared to the Send and Transfer functions, why does EIP 1884 still adopt it over the other methods? Was it for the reason of EIP 1884 preference that 50% of the contracts in the dataset employ it, or are there other reasons?

  2. I am just curious, why was it necessary to count the lines of codes for each contract?

  3. Lastly, Is Verification and Auditing enough to know a trusted smart contract or are there superior or additional ways to establish it?

To conclude, maybe, other Ethereum Smart Contract languages such as Vyper, Yul, etc, can also be studied using similar methods as in Solidity, and the various results compared for optimum performance.

5 Likes