Үүнийг мессежээр илгээх: Bayesian inference with certifiable adversarial robustness