LVQ: A Lightweight Verifiable Query Approach for Transaction History in Bitcoin | IEEE Conference Publication | IEEE Xplore