Classical verification for a quantumness proof, while the quantum side runs in QNC^0 and still leans on LWE assumptions.

Unconditionally proves Yamakawa-Zhandry certifiable randomness in QROM against o(log λ)-query quantum adversaries, conjecture spared.