https://123dok.net/document/y96r7kmr-verified-computation-with-probabilities.html