שליחה במסרון: Bayesian inference with certifiable adversarial robustness