(This report is generated on January 3rd, 2023 13:04:36.)
In what follows, we report on token and test analytics
(i) on a comprehensive set of around 218475 MainNet ERC-20 tokens and
(ii) a focus on the top 20 tokens listed on Etherscan.io.
The following analytics were obtained by running 74 parametric property tests on the tokens.
At a high level of abstraction, each test is assigned a level depending on the expressed requirement on the token: see this page for more information.
An analysis at large of 45712 tested tokens
A detailed analysis of the top 20 ERC-20 tokens listed on Etherscan.io.
32.79% of them are conformant and
35.72% meet 95% of the standard.
The histogram below shows the distribution of the standard conformance rate:
Then, we looked at how many properties are satisfied by the tokens in each level. The distribution of satisfaction of properties lets us know how the properties in each level are satisfied, the typical satisfaction expectation.
Runtime Verification evaluated those tokens against 7 important dimensions in the behavior of the token: approve, transfer, transfer from, balance, total supply, zero address, fee taking. Based on the number of satisfied properties by each token, we assigned tokens a score in each of these dimensions. The following radar plots display the score for each of the tokens: