可以用數學證明一個塊可以被解決嗎？

換句話說，在目前難度障礙數下，存在將導致 sha256(sha256(block header + nonce)) 雜湊的塊的隨機數。

客戶端使用目標來確定塊雜湊是否有效並且是否會被網路接受。比特幣維基聲明如下：

目標是所有比特幣客戶共享的 256 位數字（非常大）。區塊頭的 SHA-256 雜湊值必須小於或等於網路接受區塊的目前目標。目標越低，生成塊就越困難。[…]

每個散列基本上都會給你一個介於 0 和 256 位數字（很大）的最大值之間的隨機數。如果你的雜湊值低於目標值，那麼你就贏了。如果不是，則增加隨機數（完全更改雜湊）並重試。

目前的目標值可以在這裡找到：http: //blockexplorer.com/q/hextarget

不，除了實際找到該散列之外，沒有其他方法可以證明散列的存在。（即蠻力）。存在一種能夠預測散列結果而不是計算散列的方法會使散列函式在密碼學上不健全。（因此我們可以推斷沒有數學家找到這樣的 SHA-256 方法）。

也就是說，正如其他問答中所討論的那樣，一個塊有許多動態特性，因此“無法解決”的塊實際上不會導致任何網路問題。

引用自：https://bitcoin.stackexchange.com/questions/11063