News for hackers. Stuff that matters.

A comment on Proof Market: Submit Coq proof, get paid with Bitcoin. Parent comment

Re:Proof Market: Submit Coq proof, get paid with Bitcoin by paulgb on Wednesday January 01, 2014 @05:20PM (#6997020)
Bitcoin does have a (non-turing-complete) scripting language built in for ensuring that transactions meet arbitrary requirements. I wonder what subset of proofs could be verified in that environment.
[ Parent | on HN ]
Re:Proof Market: Submit Coq proof, get paid with Bitcoin by velis_vel on Thursday January 02, 2014 @02:00AM (#6998548)
The language doesn't support loops; in terms of flow control, you get if statements and that's it. So probably not much of interest.
[ Parent | on HN ]
Re:Proof Market: Submit Coq proof, get paid with Bitcoin by pirapira on Wednesday January 01, 2014 @09:34PM (#6997871)
I wonder which is easier to encode, natural deduction or Hilbert style.
[ Parent | on HN ]