QROM proof for the second construction

[daniel (Daniel Collins)]

Do you think that the second construction can be proved secure in the \mathsf{QROM} using compressed oracle techniques?

Thanks in advance.

[lhuguenin (Loïs Huguenin-Dumittan)]

Thanks for the question.

Actually it can be done even without the compressed oracle technique.