TAG Programmatic Proof-of-Work