Вот что проверяет рекурсивная схема: Каждое из 64 подтверждений верное. Каждое подтверждение π0, ..., π63 из схемы нижнего уровня верное. erecursive — это сумма e0, ..., e63. drecursive — это сумма d0, ..., d63. hrecursive — это хеш цепочки h0, ..., h63 и так далее. hrecursive = хеш (h0 || h1 || ... || h63).