Verifiably Buy Solutions to NP Problems with Bitcoin

Using zero-knowledge proofs to convert a standard HTLC into the purchase of a secret with arbitrary properties.