Smart Contracts, Bitcoin, Bitcoin Sv, Zkp, Zero Knowledge Proofs.
satisfying a problem represented in a circuit C, i.e., C(w) evaluating to true. A bounty collector Bob submits w to the bounty transaction in another transaction Tc. The maker Alice extracts w from the above transaction. Anyone can attempt to collect the bounty by submitting a solution to the smart