I guess any community that wants to utilise an SMT can use oracle(s). I think (don't pin me down on it) that these oracles can even be chosen by the community (sort of like witnesses but on SMT level) and get part of the SMT reward pool for this incentivising them to do a good job.

Thanks for the feedback btw.