USENIX Security2026Top-tier venue
MHOT: Height-Optimized Authenticated Data Structure for Blockchain State Commitment
Sipeng Xie, Qianhong Wu, Minghang Li, Qiyuan Gao, Bo Qin, Qin Wang
Abstract
State root computation dominates ( 78%) blockchain block processing time. Ethereum's canonical authenticated data structure, i.e., Merkle Patricia Trie (MPT), suffers from severe tree-height growth and is vulnerable to Nurgle attacks (S&P'24), where adversaries inflate path depth via hash collisions and degrade system performance at negligible cost. Existing defenses increase node fanout (span) to bound tree height, but higher span inflates proof size exponentially. Prior work mitigates this trade-off using vector commitments, at the cost of trusted setup or expensive verification.
We present MHOT, a height-optimal authenticated data structure for blockchain state commitment that preserves standard hash-based verification without trusted setup. Unlike MPT's fixed-prefix indexing, which couples span and fanout exponentially, MHOT indexes by discriminative bits that actually distinguish keys, achieving adaptive span with linear fanout coupling and provably minimal height. To prevent high fanout from inflating proofs, we introduce hierarchical proofs, a two-layer Merkle construction that reduces per-node proof overhead from O(k) to O(log k).
On Ethereum mainnet workloads, MHOT achieves up to 9× higher write throughput, 4× lower write amplification, and 2× smaller proofs than MPT. Under Nurgle attacks, even when the adversary consumes an entire block's gas budget, MHOT maintains a 0% attack success rate (v.s., 99.97% for MPT). Our results, somewhat surprisingly, show that height optimality (not new crypto primitives!) is the key abstraction for scalable and attack-resilient blockchain state commitment.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext a822c883-dc22-4caf-add5-6029d56efd01Builds on18
- Towards Scalable Threshold CryptosystemsAlin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham et al.S&P 2020 · 102 citations
- Automated Generation of Event-Oriented Exploits in Android Hybrid AppsGuangliang Yang, Jeff Huang, Guofei GuNDSS 2018 · 79 citations
- Block-STM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance BlessingRati Gelashvili, Alexander Spiegelman, Zhuolun Xiang, George Danezis et al.PPoPP 2023 · 49 citations
- RainBlock: Faster Transaction Processing in Public BlockchainsSoujanya Ponnapalli, Aashaka Shah, Souvik Banerjee, Dahlia Malkhi et al.USENIX ATC 2021 · 39 citations
- Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent ConflictsPéter Garamvölgyi, Yuxi Liu, Dong Zhou, Fan Long et al.ICSE 2022 · 31 citations
Related papers
- LVMT: An Efficient Authenticated Storage for BlockchainChenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu et al.OSDI 2023 · 4 citations
- MEST: An Efficient Authenticated Secondary Index in Blockchain SystemsJinping Jia, Yichen Gao, Yifei Zhen, Zhao Zhang et al.ICDE 2025 · 2 citations
- SWMT: A Sliding Window Merkle Tree with Delayed Writes for Scalable Blockchain State ManagementNianzu Sheng, Tong Zhou, He Zhao, Xiaofeng Li et al.SIGMOD 2026 · 1 citation
- Nurgle: Exacerbating Resource Consumption in Blockchain State Storage via MPT ManipulationZheyuan He, Zihao Li, Ao Qiao, Xiapu Luo et al.S&P 2024 · 21 citations
- Hyperproofs: Aggregating and Maintaining Proofs in Vector CommitmentsShravan Srinivasan, Alexander Chepurnoy, Charalampos Papamanthou, Alin Tomescu et al.USENIX Security 2022
