Abstract:Fully Homomorphic encryption-based Merkle Tree (FHMT) is a novel technique for streaming authenticated data structures (SADS) to achieve the streaming verifiable computation. By leveraging the computing capability of fully homomorphic encryption, FHMT shifts almost all of the computation tasks to the server, reaching nearly no overhead for the client. Therefore, FHMT is an important technique to construct a more efficient lightweight ADS for resource-limited clients. But the typical FHMT cannot support the dynamic scenario very well because it cannot expend freely since its height is fixed. We now present our fully dynamic FHMT construction, which is a construction that is able to authenticate an unbounded number of data elements and improves upon the state-of-the-art in terms of computational overhead. We divided the algorithms of the DFHMT with the following phases: initialization, insertion, tree expansion, query and verification. The DFHMT removes the drawbacks of the static FHMT. In the initialization phase, it is not required for the scale of the tree to be determined, and the scale of the tree can be adaptively expanded during the data-appending phase. This feature is more suitable for streaming data environments. We analyzed the security of the DFHMT, and point out that DFHMT has the same security with FHMT. The storage, communication and computation overhead of DFHMT is also analyzed, the results show that the client uses simple numerical multiplications and additions to replace hash operations, which reduces the computational burden of the client; the length of the authentication path in DFHMT is shorter than FHMT, which reduces storage and communication overhead. The performance of DFHMT was compared with other construction techniques of SADS via some tests, the results show that DFHMT strikes the performance balance between the client and server, which has some performance advantage for lightweight devices.

HMT: A Hardware-Centric Hybrid Bonsai Merkle Tree Algorithm for High-Performance Authentication

Efficient Distributed Secure Memory with Migratable Merkle Tree.

Dynamic Fully Homomorphic encryption-based Merkle Tree for lightweight streaming authenticated data structures

An Example of Parallel Merkle Tree Traversal: Post-Quantum Leighton-Micali Signature on the GPU

MtMR: Ensuring MapReduce Computation Integrity with Merkle Tree-Based Verifications

Baobab Merkle Tree for Efficient Secure Memory

MTTBA- A Key Contributor for Sustainable Energy Consumption Time and Space Utility for Highly Secured Crypto Transactions in Blockchain Technology

HMNTT: A Highly Efficient MDC-NTT Architecture for Privacy-preserving Applications

A Template for Implementing Fast Lock-free Trees Using HTM

Bio-Hash Secured Hardware e-Health Record System

An Efficient Merkle-Tree-Based Authentication Scheme for Smart Grid.

LVMT: an Efficient Authenticated Storage for Blockchain.

HMTT: A Hybrid Hardware/Software Tracing System for Bridging Memory Trace's Semantic Gap

Efficient Access Scheme for Multi-bank Based NTT Architecture Through Conflict Graph

LockillerTM: Enhancing Performance Lower Bounds in Best-Effort Hardware Transactional Memory

Leveraging Hardware Transactional Memory for Cache Side-Channel Defenses.

Hybrid Trust Multi-party Computation with Trusted Execution Environment.

Secure Operations on Tree-Formed Verification Data

Cloud Storage Integrity at Scale: A Case for Dynamic Hash Trees

A Write-Friendly and Fast-Recovery Scheme for Security Metadata in NVM

Optimizing B + -Tree for Hybrid Memory with In-Node Hotspot Cache and Eadr Awareness