Anfonwch hwn fel neges destun: Bayesian inference with certifiable adversarial robustness