Yanis Benson
(Доказательства для древовидной части работают только с операциями над деревом, и, соответственно, операции над внешним деревом с частичным применением функции эквивалентно надёжны, если соблюдаются флаги ввода.)
Касательно этого, было бы вообще неплохо, если бы они, или кто-нибудь ещё, запилили общий гайд о трансформации внутренней структуры функции на внешнее дерево. Операция в общем тривиальная, хотя и требующая внимания к деталям, но единый референс был бы полезен, мне кажется, учитывая то, что Merkle tree структуры становятся все более популярны.