我正在尝试实现merkle树一致性证明，但我坚持理解算法

Question

我正在尝试用本文实现merkle树一致性算法：

https://books.google.de/books?id=CokSDQAAQBAJ&lpg=PA147&dq=merkle%20consistency%20proof&hl=de&pg=PA148#v=onepage&q&f=false

但是，我有点坚持一致性检查，因为当我执行ConsProofSub部分时，我总是处于无限循环中。

例：

新树有8棵，老树有7片叶子。

通过上一个函数，我得到m = 7 ，我的新树的叶子为向量E ， true为b 。

该函数通过递归代码流，直到我们达到这种情况：

E现在有2元素，所以n = 2 。

m = 1 ，由于m < k的递归调用中的先前减法，以及b = false 。

如果m和n不相等，我们不会落入m = n && b = false 。

k现在再次计算为2 ，因为上限正在将log2(n)/2的结果1/2校正为1 。

我们落入m <= k情况，再次，我们递归调用具有完全相同参数的函数。 现在我们处于无限循环中。

但是，我似乎无法弄清楚我做错了什么。 我觉得k计算中的天花板是问题所在。 它基本上使得不可能离开循环，因为在一些迭代之后k似乎总是高于m 。

有什么建议/暗示我的错误吗？

编辑：有趣的是，当n是奇数时，算法似乎工作得很好。 它似乎只为偶数而失败。 我只是尝试了一个新的7片叶子树，它就像一个魅力，提供了证明一致性所需的正确节点。

但是，我仍然无法弄清楚要使它与偶数一起使用会发生什么变化。

Answer 1

书中似乎有一个错误。 当m = n且b = true需要单独处理。 可以在RFC 6962中找到该算法的更详细描述。

以下是如何解决它：