: Quantum Random Oracle Model (QROM)은 암호학적 해쉬함수를 랜덤 함수 f:[N]->[M]으로 간주하는 모델으로, 해쉬함수에 기반한 암호학적 설계와 문제들을 다루기 위한 표준적인 모델로 고려되어진다. 하지만 최근 고전적 상황에서 Dodis등에 의해 지적되었듯이, 이 모델은 해쉬함수가 미리 공개되어 암호학적 설계를 공개하기 이전에 다양한 연산을 할 수 있는 문제점을 고려하지 않는다. 이러한 관점에서 해쉬 함수에 대한 제한된 정보를 미리 얻을 수 있는 모델인 QROM with auxiliary input 모델을 소개하고, 이 모델에서 암호학적 문제들의 어려움에 대해 논의한다. 중요한 따름정리로, BQP/qpoly와 NP\cap co-NP의 최초의 oracle separation이 증명되었다. 이 연구는 Keita Xagawa, Takashi Yamakawa와의 공동으로 진행되었다.