You've Got a BUD in Me: Authenticated Reads from Per-Block Write Logs
该论文研究的是区块链「认证读取」(authenticated reads) 的可扩展性问题。传统做法是维护一棵覆盖全量状态的认证数据结构(如 Merkle Patricia Trie，MPT)，以此支撑历史成员性证明与排除性证明；但随着状态
#authenticated-data-structures
共收录 3 条相关情报。
← 返回所有主题Authenticated Data Structures for Dynamic Workloads
本论文针对动态工作负载下的认证数据结构（Authenticated Data Structure, ADS）优化问题，提出了一种名为 Huffman-Merkle Tree (HMT) 的新型结构。ADS 允许对大型可变状态进行成员资格证明
Logical Relations for Formally Verified Authenticated Data Structures.
本文针对认证数据结构（Authenticated Data Structures）的开发与实现正确性难题，提出了一种基于新关系分离逻辑的形式化证明方法。认证数据结构允许不可信的第三方执行操作并生成可验证的输出证明，但此类系统容易因实现错误导