据我了解,默克尔树可用于通过递归地将哈希函数应用于块内容来分离块的实际交易(或其他内容)及其验证过程。
这使得实现简化的支付验证(或块内任何其他数据的验证)成为可能。
链接的定义表明 SVP 是
[...] 验证特定交易是否包含在区块中的方法,而无需下载整个区块。
如果 merkle 树是一种检查特定交易是否是块的一部分的方法,这意味着我们不“信任该块”,因此正在检查搜索交易的哈希是否是树的一部分。如果我们不信任区块(或区块的原始验证者),我们怎么会信任默克尔树,它也可能是伪造的(或者不是?)。
我们是否“只是”依赖于具有值是伪随机的事实并且很难创建具有相同根值但一个不同节点值的假树?
谢谢!