比特幣的可編程性：詳解限制條款

近期比特幣社區掀起了一波關於重新啓用某些操作碼的討論,引發了人們對限制條款和比特幣可編程性的關注。本文將對限制條款進行概覽性介紹和討論。

什麼是限制條款

限制條款是一種能夠給未來的比特幣交易設置條件的機制。與當前比特幣腳本僅限制如何解鎖不同,限制條款可以進一步限制UTXO之後的花費,實現"專款專用"的效果。

限制條款不只是爲了限制而限制,更是設置了交易執行的規則。用戶只能按照預先設定的規則來執行交易,從而完成預定的業務流程。這反而可以解鎖更多應用場景。

應用場景

確保Staking的懲罰

在Bitcoin staking中,限制條款可用於確保對作惡用戶的懲罰交易能夠強制執行,防止用戶逃脫懲罰。

擁堵控制

在網路擁堵時,限制條款可以讓發送方先承諾到一筆批量發送的交易上,等到手續費率降低時再發送具體交易,從而降低成本。

保管庫

限制條款可以構建更安全的保管庫應用,即使帳戶被黑也能限制資金使用。

更健壯和靈活的狀態通道

限制條款可以實現新的狀態通道設計,如Eltoo和Ark,使閃電網絡等更加健壯和靈活。

限制條款技術概覽

限制條款有多種實現技術,可以從類型、實現方式、遞歸性等方面進行分類。主流的限制條款設計包括OP_CTV、APO、OP_VAULT等。

限制條款的設計

限制條款的設計主要圍繞如何實現交易的"內省",即檢查交易自身的內容。主要有基於操作碼和基於籤名兩種思路。

APO

SIGHASH_ANYPREVOUT(APO)是一種新的籤名方式,只對交易輸出籤名而不對輸入籤名,可以靈活地將預籤名的交易附加到任何滿足條件的UTXO上。

OP_CTV

OP_CHECKTEMPLATEVERIFY(CTV)通過改進操作碼,允許用戶限制比特幣的使用方式。它可以用於擁塞控制、構建支出樹等場景。

OP_CAT

OP_CAT可以對堆棧中的兩個元素進行拼接,能夠靈活地實現多種功能,如Merkle樹驗證、增強Schnorr籤名等。

結語

限制條款可以在比特幣腳本中直接實現對交易進一步花費的限定,從而實現類似智能合約的效果。這種編程方式可以更原生地在比特幣上驗證,改進主鏈和鏈外應用,並開拓新的應用方向。

然而,限制條款也可能導致一些計劃外的濫用或漏洞,因此社區對此比較謹慎。限制條款相關的升級涉及共識規則的軟分叉,可能需要較長時間才能完成。