Programmatic Proof of Work