WST+iMPT: A High-performance Incremental Verification World State Model for Massive Accounts | IEEE Conference Publication | IEEE Xplore