Blake3哈希是否有标识，因为它的Merkle树结构？

Question

我读过Blake3散列使用Merkle。

是否可以得出这样的结论：

b3sum("This is ") xor b3sum("a test.") == b3sum("This is a test.")

上面的示例不起作用，可能是因为块大小不是8个字节。

是否有类似形式的真实Blake3标识？

Answer 1

不，任何这样的简单标识都会违反BLAKE3的加密属性。要找到这些案子就需要用武力进行搜索。

BLAKE3是一棵Merkle树，但它不是由XORing things一起构造的。相反，树中的父节点是通过连接每个子节点的散列(“链接值”)来构造的，然后以该连接作为输入再次调用压缩函数。其他重要细节是压缩函数域--将块/叶输出与父节点输出分开，以及它的域--将根节点与非根节点分开。(顺便说一句，它还根据索引将每个块/叶分隔开。对于我们在这里讨论的安全属性来说，这并不是必要的，但是它可以完成其他的任务。见BLAKE3 3论文第7.5节。)将所有这些加在一起，应该很难在任何两个不同输入的BLAKE3散列之间找到任何关系。