quantum verification