我能从blake3那里得到一个默克尔证明吗？

Question

概述 of Blake3声明Blake3在内部是一棵Merkle树。深入研究纸可以发现，Blake3将输入分割为1 KiB (1024 B)的块，将块组织在二叉树中，其根用作输入的Blake3哈希。这样就可以快速计算大型输入的Blake3散列，利用本质上不受限制的并行化，无论是从SIMD还是实际的并行线程(实际上，blake3 板条箱都利用SIMD，并提供rayon-based多线程散列方法)。

尽管Blake3在内部是一棵梅克尔树，但我似乎无法在blake3板条箱中找到一种方法来实际生成和验证梅克尔证明。

如果我使用Blake3哈希值为1 Blake3值的输入，则不应该不可能对构成输入的1024个连续块中的任何一个生成一个可根据整个输入的Blake3哈希进行验证的Merkle证明。对吗？

我想知道这个特性的缺乏是否仅仅是因为它不是(还没有？)实现，或者是由于某种安全限制，还是？

Answer 1

这些特性是在bao机箱中实现的，它依赖于blake3。见https://github.com/oconnor663/bao。你可能对包所说的“切片”感兴趣。