This works through the derivation of the variance and mean square error of the bayesian estimator of the proportion given that data are distributed according to the binomial distribution, given that a conjugate prior has been used (a Uniform (0,1) = beta(1,1) prior has been used for simplicity).
These short videos work through mathematical details used in the Multivariate Statistical Modelling module at UWE.