They are typically used when the proof cannot be carried out using weaker assumptions on the cryptographic hash function.
Они обычно используются в случаях, когда доказательство не может быть выполнено с использованием более слабых предположений о криптографической хеш-функции.