Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine | IEEE Conference Publication | IEEE Xplore