Money
有沒有用比特幣支付的數學競賽?
有沒有用比特幣支付獎勵的數學難題或數學競賽?
有一個網站可以為 Coq 正式證明管理系統中的定理證明送出賞金,並獲得比特幣支付:
此外,過去還有其他一些網站進行過比賽:
另一個正在開發的項目(但目前與比特幣沒有特別關聯)是ProofPeer
關於這些證明市場的更多資訊可以在這篇文章中找到:http: //blogchain.fr/programmarket-en/