Transactions

比特幣腳本的圖靈完備性

  • November 25, 2013

對我來說,腳本是比特幣最有趣的功能之一。它們提供了在古典貨幣中沒有等價物的可能性。但是,維基指出

它故意不是圖靈完備的,沒有循環。

  1. 這個決定背後的理由是什麼?
  2. 是否有任何只有在圖靈完整腳本實現中才有可能提供的有用合約的建議?
  3. 有沒有圖靈完整腳本的替代加密貨幣?如果是這樣,他們如何解決 1 中的問題?

如果腳本是圖靈完備的,您可以建構一個相當短的腳本,該腳本需要很長時間才能執行(例如Busy Beaver)或包含無限循環。當網路上的每個人試圖驗證交易時,這往往會導致拒絕服務。

並且沒有通用的方法來判斷腳本是無限循環還是最終完成:這就是停止問題

可以嘗試通過在客戶端驗證交易上包含某種截止時間來避免這種情況,但必須非常小心地完成,以便在所有客戶端之間保持一致:如果一些人接受它而另一些人不接受,區塊鏈會分叉。

一起避免這種情況似乎更簡單。

引用自:https://bitcoin.stackexchange.com/questions/17258