Query-Limited RAM Programs and their Applications
The research extends Quantum One-Time Programs (OTPs) to Query-Limited RAM Programs (QLPs) to allow for structured, stateful quantum computation under access constraints. It introduces a QLP compiler and proves security within a Limited-Effective-Query (LEQ) Oracle model, enabling applications like budget-limited programs and pay-per-use systems.