The Locality of Memory Checking

ePrint Report: The Locality of Memory Checking

Weijie Wang, Yujie Lu, Charalampos Papamanthou, Fan Zhang

Motivated by the extended deployment of authenticated data structures (e.g., Merkle Patricia Tries) for verifying massive amounts of data in blockchain systems, we begin a systematic study of the I/O efficiency of such systems. We first explore the fundamental limitations of memory checking, a previously-proposed abstraction for verifiable storage, in terms of its locality---a complexity measure that we introduce for the first time and is …

blockchain data deployment efficiency eprint report fan limitations memory merkle report study systems wang