Implemented privacy-preserving AVG funs.

Made the spec for some private_utils functions tighter.