Does anyone know of any instances where we've been able to show that some complexity class is strictly harder than SZK relative to some oracle?
In general, it seems that SZK is really hard (for example, this paper https://arxiv.org/pdf/1609.02888.pdf shows that SZK is harder than PP relative to some oracle) and so I've been wondering if any results have been obtained in the opposite direction.