I can mix both approaches. The buyer and other people can stash up bounty, which... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

pirapira on Jan 2, 2014 | parent | context | favorite | on: Proof Market: Submit Coq proof, get paid with Bitc...

I can mix both approaches. The buyer and other people can stash up bounty, which the first prover gets. I have not implemented this lest "bitcoin stolen from Coq proof exchange".

tsewlliw on Jan 2, 2014 [–]

Way to avoid arbitrary risks and complications!

pirapira on Jan 2, 2014 | [–]

I added risks and complications. A feature called "bounty" is now available. Anyone can add bounty for a problem. The sum goes to the next solver.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact