Proof of Progress Demonstration, untested