[math-fun] proof of work