新聞 
幣種資訊 
關於我們 
一項結合比特幣（BTC）協約條件與形式驗證的提案出現。Blockstream共同創辦人兼執行長Adam Back提出，這可能成為比特幣「最後一次軟分叉」的構想。
Crypto Briefing報導，Adam Back於10月1日表示支持這項提案。不過，「最後一次軟分叉」是對Back構想的描述，並不代表已有確定的開發計畫，也不代表比特幣開發者已達成共識。
協約條件（covenant）是一種設計，讓比特幣腳本除了驗證目前交易的簽章，也能限制代幣後續的使用條件。這項功能可用於預先設定支出條件，例如安全金庫或事先安排好的交易流程。
BIP 119的CTV提出一種操作碼，檢查交易是否符合預先設定的交易範本。BIP文件指出，這項功能可降低預簽章方式所需的信任、參與者之間的互動，以及資料儲存負擔。目前文件狀態為「Draft」。
BIP 347則是將OP_CAT加入TapScript的規格。OP_CAT可將堆疊中的兩個值串接起來。BIP文件標示「Complete」，指的是規格文件的狀態，不代表該功能已在主網啟用或獲得社群採納。
Adam Back所強調的形式驗證，是以數學方式描述並檢視程式的行為與資源使用情況。Blockstream於2025年7月31日宣布，已在Liquid主網推出Simplicity。該公司表示，Simplicity可在Liquid上實作協約條件、金庫與委託功能。
在Liquid上的實作，與在比特幣主網導入協約條件是兩回事；BIP規格文件的狀態也須與主網是否啟用分開看待。Adam Back的構想同時涉及擴充比特幣腳本功能與驗證升級，但是否會獲採納仍未確定。
比特幣協約條件的應用情境及相關提案一直受到討論。本刊先前曾整理比特幣協約條件的應用案例與各項提案之間的關係。
留言 0