PaVM: A Parallel Virtual Machine for Smart Contract Execution and Validation | IEEE Journals & Magazine | IEEE Xplore