vChain+: Optimizing Verifiable Blockchain Boolean Range Queries | IEEE Conference Publication | IEEE Xplore