Limiting the hash tree size is a prerequisite of some formal security proofs, and helps in making some proofs tighter.
Обмеження розміру дерева геш-елементів є обов'язковою умовою деяких формальних підтверджень безпеки , і допомагає зробити деякі докази жорсткішими.