Merkle 树与认证数据结构:包含证明、一致性证明与构造陷阱
按 RFC 9162 实现 Merkle 树哈希、包含证明与一致性证明并用公开向量验证,复现域分离缺失与 Bitcoin CVE-2012-2459 两类缺陷,实测 k 叉 trie 证明大小,梳理从 Merkle 1979 到 Verkle 与二叉状态树之争。
Linux 内核、存储与网络、可观测性、系统架构与大模型基础设施的工程笔记:机制拆解、踩坑复盘与可核对证据,少空谈。
共 1 篇文章 · 返回首页
按 RFC 9162 实现 Merkle 树哈希、包含证明与一致性证明并用公开向量验证,复现域分离缺失与 Bitcoin CVE-2012-2459 两类缺陷,实测 k 叉 trie 证明大小,梳理从 Merkle 1979 到 Verkle 与二叉状态树之争。