4 ms·

This is a bit ordinary, since it is fundamentally just an escrow service. What would be really cool is to find a way to "lock" the bitcoins so that only a corr

This is a bit ordinary, since it is fundamentally just an escrow service. What would be really cool is to find a way to "lock" the bitcoins so that only a correct proof in Coq of the given theorem could unlock them. Kind of like holomorphic encryption.

equivrel 13y ago
You probably mean homomorphic encryption[1]. [1] - https://en.wikipedia.org/wiki/Homomorphic_encryption https://en.wikipedia.org/wiki/Homomorphic_encryption
paulgb 13y ago
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.
- pirapira 13y ago
  I wonder which is easier to encode, natural deduction or Hilbert style.
- velis_vel 13y ago
  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.
AlexCoventry 13y ago
I don't know how to do that, but I did think about a cryptocurrency in which people got paid for optimizing objective functions. https://docs.google.com/file/d/0B3qaT-ZL6aeKOHNEQWdpZEtRYWc/edit?pli=1 https://docs.google.com/file/d/0B3qaT-ZL6aeKOHNEQWdpZEtRYWc/...