A File Verification Scheme Based on Verkle Trees | IEEE Conference Publication | IEEE Xplore