Smart Contracts, Bitcoin, Bitcoin Sv, Zkp, Zero Knowledge Proofs.
simply deploy a bounty smart contract on a public blockchain for the problem, as we have done to outsource the Travelling Salesman Problem. It consists of three steps as Fig. 1 depicts: A bounty maker Alice places a bounty transaction Tm containing a smart contract that pays for a witness w