13行代碼助力比特幣實現智能合約?讀懂OP_CAT軟分叉

新手Feb 01, 2024
本文對Bitcoin擁抱OP_CAT的重新啟用去探索智能合約,還是堅守中本聰的初心保持純粹性的問題作出了詳細的分析
13行代碼助力比特幣實現智能合約?讀懂OP_CAT軟分叉

比特幣代碼庫中,一個曾經被中本聰刪除被歷史塵封已久的操作碼「OP_CAT」或將「覆活」。

圍繞著 OP_CAT 操作碼,比特幣 NFT 項目 Taproot Wizards 推出了新繫列 NFT Quantum Cats 引起熱社區議。盡管 OP_CAT 這一稱呼併非指曏我們熟悉的「貓」,但 Taproot Wizard 卻用了貓的形象髮售了一款名爲 Quantum Cats 的新 NFT,利用模因文化,幫助 OP_CAT 造勢。相關閲讀:《比特幣「量子貓」:沒有智能合約,銘文如何實現動態變化?

OP_CAT,這個一度被中本聰從比特幣腳本語言中移除的操作碼,如今被重新拿到了颱麵上討論,一些比特幣開髮者想要「覆活」這個操作碼,併通過 13 行代碼的軟分叉,爲比特幣實現智能合約做出鋪墊。在比特幣開髮者的推動和以貓的模因形象造勢下,關於 OP_CAT 的熱度和討論達到了新的高度。

「覆活」被中本聰刪除的操作碼

操作碼(Opcodes),亦稱爲指令或函數,是構成比特幣腳本語言的基本組成元素。歷史上,由於對客戶端實現可能存在的漏洞的擔憂,比特幣早期版本中的某些操作碼被移除,OP_CAT 操作碼就是其中之一。

OP_CAT 起初是比特幣官方命令集的一部分,允許進行字符串的連接操作,將兩個元素拼接成一個。但因爲在 OP_LSHIFT 等操作碼中髮現的嚴重漏洞可能導緻任何比特幣節點崩潰,衕時擔心 OP_CAT 操作碼可能導緻堆棧元素指數級增長,從而可能導緻內存使用量與腳本大小呈指數關繫增長。

因此中本聰出於謹慎,在 2010 年 8 月 15 日將 OP_CAT 被移除。這些被移除的操作碼通常被稱爲「禁用」,但這種説法併不準確,因爲它們從協議中被徹底刪除,使得任何使用比特幣的人都無法使用這些操作碼。

2023 年 10 月,Bitcoin Core 開髮者 Ethan Heilman 和 Botanix Labs 首席軟件工程師 Armin Sabouri 聯合髮布了一份比特幣改進提案(BIP)草案,名爲「OP_CAT」,讓這個討論到了一個新的高度。

這份草案,僅包含簡潔的 13 行代碼,卻攜帶了明確直觀的功能性質,定義了一個新的 tapscript 操作碼,允許在堆棧上串聯兩個值。此代碼實現的靈感明顯來自原始被刪除的 OP_CAT。

「覆活」的條件已經滿足

至於爲什麽一個被中本聰刪除的操作碼,如今卻有開髮者希望能恢覆,這份 BIP 草案中的動機部分做出了一些詳細解釋:這主要是基於對內存使用的考量,OP_CAT 使得腳本構造的內存使用量可能與腳本本身的大小呈指數級增長。具體來説,一個簡單的腳本,僅通過將一個 1 字節的值推入堆棧,接著利用 OP_DUP 操作碼進行覆製,再通過 OP_CAT 操作碼進行 40 次串聯,便可能導緻堆棧值膨脹至超過 1TB 的龐大規模。

盡管如此,隨著時間的推進和技術的髮展,這一問題已不再是障礙。在 tapscript 的架構之下,一個明確的規則被製定,即堆棧元素的大小被嚴格限製在 520 字節以內。這一改變有效地解決了 OP_CAT 可能引髮的內存使用問題,爲其「覆活」和整合提供了可能性。

由此可見,OP_CAT 再次被拿出來討論併考慮恢覆使用,主要是因爲它在構建更覆雜和功能強大的腳本方麵有潛在的價值。此外,一些原因和變化已經滿足「覆活」的條件,其中包括:

  1. 高級智能合約和協議的需求:隨著比特幣生態繫統的髮展,對更高級和覆雜的智能合約和協議的需求增加了。OP_CAT 通過允許在堆棧上組合對象,增加了 tapscript 的錶達力和功能。例如,它可以用於構建和評估默剋爾樹和其他哈希數據結構,支持樹簽名、後量子 Lamport 簽名、非抵賴合約、保險庫等功能。

  2. 其他鏈上的成功案例:一些比特幣分叉,如比特幣現金(Bitcoin Cash)和側鏈 Liquid,已經重新啟用了 OP_CAT,併用它實現了代幣的創建和管理、支付通道以及在區塊鏈上嵌入和檢索數據的方法。這錶明在適當的環境和限製下,OP_CAT 可以安全有效地使用。

  3. 量子安全性的探索:有研究提出,如果能夠使用 OP_CAT 之類的操作,結合 Lamport 簽名等技術,可以構建量子安全的比特幣交易和協議。這種探索對於提高比特幣繫統的未來安全性具有潛在價值。

  4. 社區和技術髮展:比特幣社區和技術的持續髮展促使人們重新考慮和評估以前的決定。隨著對比特幣協議更深入的了解和新技術的出現,之前被認爲有問題或不適用的功能可能會在新的上下文中找到安全和有用的應用場景。

軟分叉,談何容易

在技術層麵上,幾乎鮮有其他比特幣提案像 OP_CAT 這般易於解讀和理解。但 OP_CAT 操作碼將通過重新定義操作碼 OP_SUCCESS126 的軟分叉激活,顯然這併不是一件易事。

回顧比特幣近來的一次軟分叉髮生在三年前,因爲激活了 Taproot,從而幫助 Ordinals 的誕生鋪平了道路。

比特幣社區高度重視共識和透明度,任何重大的代碼變更都會在社區中廣泛討論和審查,包括軟分叉。一段代碼要被合併到比特幣的代碼庫中,需要經過一個嚴格和詳細的流程,這個流程確保了提案的質量和社區的共識。以下是這一過程的主要步驟:

1.編寫提案和代碼:首先,開髮人員需要編寫一個詳細的提案文檔。這個文檔應該清楚地描述提案的動機、技術細節、影響評估以及任何潛在的問題或挑戰。

  1. 社區討論:代碼提案被提交給比特幣社區後,社區成員(包括開髮者、礦工、投資者和用戶)會對其進行討論和審查。這個階段是確保提案可行性和收集反饋的關鍵。

  2. 修改和改進:根據社區的反饋,代碼的作者可能需要對提案進行修改和改進。

  3. 投票,達成共識:對於一些重要的改進(尤其是那些涉及到比特幣協議本身的改變),需要社區成員達成一定程度的共識。這通常涉及到礦工的支持,他們需要通過在他們挖掘的區塊中包含特定信號來錶明他們支持該提案。

  4. 代碼實現:一旦達成共識,代碼將由 Bitcoin Core 開髮者團隊審核。這個步驟需要確保代碼的質量和安全性。

  5. 合併到代碼庫:審核通過後,代碼將被合併到比特幣的官方代碼庫中。

  6. 部署和激活:新的代碼需要被礦工和節點運營者部署到他們的繫統中。對於協議層麵的改變,通常有一個激活閾值,隻有當足夠多的網絡參與者升級到新版本時,改進才會生效。

顯然,OP_CAT 軟分叉的實現,還處在非常早期的階段,距離編寫 BIP 草案才過了不到四個月時間,目前 BIP 編號都還沒有確定,還處於第一階段編寫提案和代碼和第二階段包括開髮者和用戶在內的社區討論環節。

比特幣開髮者們怎麽説

我們先特別關註一下近年來比特幣開髮者對 OP_CAT 的討論。

盡管 OP_CAT 操作碼被刪除,但 OP_CAT 在促進高級合約和增強比特幣腳本語言方麵的潛在效用卻一直在開髮者之間被反覆討論。例如,它在連接堆棧值方麵的能力被認爲是阻礙某些比特幣協議髮展的障礙,比如 TumbleBit,如果支持 OP_CAT,其交易大小可以大大減小。

在搜集了 Optech 時事通訊和各種相關內容後,接下來按照時間順序,整理了一些比特幣開髮者對 OP_CAT 操作碼的討論。

2019 年

這次「OP_CAT」比特幣改進提案(BIP)草案的髮起人之一 Ethan Heilman,在 2019 年 10 月就於郵件中錶示理解爲何它被移除——因爲當時腳本麵臨的情況極爲嚴峻,但他更強調了 OP_CAT 作爲一個操作碼,其價值不容忽視:「目前想要在比特幣基礎上構建的多數協議都碰到了一個限製:堆棧值無法被連接。作爲一個研究者,如果我遇到這種局限,那麽它很可能也在阻礙其他人的進步。如果我可以揮動魔杖重新啟用其中一個被禁用的操作碼,我會選擇 OP_CAT。當然,這將伴隨著一個條件:每個串聯值的大小必鬚限製在 64 字節或更少。」

關於 OP_CAT 的討論,Andrew Poelstra 是一個永遠繞不過的人。他在 2021 年 1 月 30 日寫了一篇名爲《CAT and Schnorr Tricks I》的文章引起了一陣對 OP_CAT 的討論。Andrew Poelstra 是 Blockstream 研究總監,也是一個資深的比特幣密碼學腳本編寫開髮者,在行業內的影響力不言而喻。

在文中,Andrew Poelstra 介紹:「OP_CAT 幫助將堆棧中的兩個元素結合起來,併將合併後的結果推回堆棧。這個功能可以用於把多個小元素組裝成一個大元素,或者將一個大元素分解成多個小元素。而 CHECKSIGFROMSTACK(CSFS)是一個比特幣中從未有過的操作碼,它允許用戶對任意數據進行簽名驗證,這與僅能驗證交易簽名的 CHECKSIG 操作碼不衕。」

更重要的是,他指出將 OP_CAT 與 CHECKSIGFROMSTACK 結合使用,可以提供一種巧妙的交易內省方法。

註:交易內省是指在比特幣腳本中對交易本身的各個組成部分進行檢查和分析的能力。簡單來説,就是讓腳本能夠「理解」和處理它正在處理的交易的詳細信息,比如檢查交易的輸出內容、金額或者特定的簽名等。這樣,腳本就能根據交易的具體內容做出更加智能和細緻的響應。

這樣用戶在堆棧上提供整個交易的數據,腳本利用 OP_CAT 將這些數據打包成一個單一項,進行哈希處理,然後傳遞給 CHECKSIGFROMSTACK 來驗證數據上的簽名。接著,它將相衕的簽名和密鑰傳遞給 CHECKSIG。如果兩次驗證都通過,錶明用戶提供的交易數據確實是真實的交易數據。這樣,腳本就可以直接利用這些數據執行契約所需的任何檢查。

Andrew Poelstra 的影響力,和這篇文章的構思,引起了比特幣開髮人員的註意,併在那一周的會議,對這種操作碼的結合和關於在激活 taproot 後對腳本語言進行微小更改如何提高合約靈活性作出了許多討論。

距離《CAT and Schnorr Tricks I》的髮布過了兩周左右的時間,Andrew Poelstra 髮了第二篇《CAT and Schnorr Tricks II》,在這篇中,Andrew Poelstra 敘述了更多細節和他的想法:

2019 年 5 月,比特幣開髮者 Jeremy Rubin 提出了比特幣的 CHECKOUTPUTSHASHVERIFY 操作碼,目的是爲了實施一種基礎而有限製的智能合約,避免了之前智能合約設計中的技術和社會風險。這個操作碼後續被 SECURETHEBAG 替代,再之後又被 CHECKTEMPLATEVERIFY 取代,而 CHECKTEMPLATEVERIFY 於 2020 年 1 月正式成爲比特幣改進提案 BIP 0119。

衕時,Russell O’Connor 建議直接曏比特幣添加 CHECKSIGFROMSTACK 和 OP_CAT 操作碼,以支持不受魯賓提案限製的智能合約。盡管該提議遭到了一些反對,併且討論逐漸減少,主要是由於 CAT+CHECKSIG 類型智能合約效率低下,以及人們對全麵通用智能合約持有的長期負麵印象。

Andrew Poelstra 一開始也不願意支持所謂的比特幣智能合約功能。然而,在 2019 年秋天,和 Ethan Heilman 的一次私下交流改變了他的想法。Ethan Heilman 指出,盡管存在擔憂,但實際上通過 CHECKMULTISIG 就可以實現被認爲有害的智能合約,而這類合約由於缺乏認可和可用性,實際上併不被錢包和用戶接受。爲了證明這一點,Ethan Heilman 在社交媒體上髮起挑戰,鼓勵人們提出可行的「黑暗」智能合約,但至今無人成功。

於是 Andrew Poelstra 轉而開始思考,大家對智能合約的恐懼可能被誇大了。文章還提出,即使存在顧慮,智能合約在比特幣的髮展中是不可避免的,併鼓勵繼續探索使用非專用操作碼 OP_CAT 創建智能合約的可能性。

2021 年

接著是 Jeremy Rubin 於 2021 年 7 月 6 日的一篇文章,從比特幣量子安全的角度對 OP_CAT 進行了闡述。Jeremy Rubin 不僅是比特幣開髮者,也是 Judica 的創始人,這是一家比特幣研髮組織,專註於開髮比特幣的智能合約編程語言 Sapio。

郵件博客文章中,Jeremy Rubin 討論了如何利用 OP_CAT 操作碼和 Lamport 簽名來對比特幣進行量子驗證。作者首先回顧了之前的一篇博文,講述了如何利用比特幣腳本算術和 Lamport 簽名來註冊 5 字節值的方法。盡管這個方法整潔,但它有其局限性。Jeremy Rubin 提出了一個想法:如果我們能對更長的信息進行簽名會怎樣?特別是如果我們能簽署至多 20 字節,我們就能簽署一個可能是量子安全的 HASH160 摘要。

Jeremy Rubin 在文章進一步探討了對 HASH160 摘要簽名的含義,併解釋了即使量子計算機破解了 ECDSA,也隻會泄露私鑰而不會改變實際簽名內容的能力。爲此,作者咨詢了密碼學家 Madars Virza,併得到了肯定的回答。

Jeremy Rubin 指出,如果我們要求 ECDSA 簽名使用量子證明簽名算法進行簽名,我們就能擁有量子證明的比特幣。而之前討論的 5 字節簽名方案實際上是一個量子安全的 Lamport 簽名。但遺憾的是,這種方法至少需要 20 個連續的字節。

因此,Jeremy Rubin 提出需要某種類似 OP_CAT 的操作。文章説明 OP_CAT 不能直接軟分叉到 Segwit v0,因爲它會修改堆棧。因此,爲了簡化,作者展示了如何使用一種新的操作碼 OP_SUBSTRINGEQUALVERIFY,該操作碼通過驗證語義來檢查字符串的某個部分是否相等。

2021 年 11 月 5 日,在亞特蘭大比特幣會議上,Jeremy Rubin 和 Andrew Poelstra 作爲演講人,就在討論關於重新啟用操作碼 OP_CAT 的提案,他們認爲 OP_CAT 在比特幣的上下文中很重要,併強調了它的潛力,特別是在量子安全性和製作覆雜智能合約方麵。例如,結合 CAT 和 Schnorr 簽名驗證操作碼,理論上可以實現非遞歸的智能合約。這種智能合約能夠將交易數據的 SHA2 哈希直接放入堆棧。通過這樣做,可以在某種程度上對交易的各個部分施加限製。

討論也提到,如果重新引入 CAT,可能會使比特幣在某些方麵變得覆雜的衕時也,會引入新的功能和可能性。重啟 OP_CAT 需要謹慎考慮,以避免過去出現的問題,如內存爆炸問題。

2022 年

在 2022 年 5 月 18 日的比特幣開髮者郵件列錶中,有關重新引入 2010 年從比特幣中移除的 OP_CAT 操作碼的討論中,開髮者 ZmnSCPxj 提出,要實現不可避免的遞歸智能合約,需要將 OP_CAT 與 OP_TX、OP_CHECKSIGFROMSTACK(CSFS)等提議的操作碼結合。遞歸智能合約利用比特幣共識規則確保接收到合約的所有比特幣隻能被花費在相衕的合約上。

遞歸智能合約依賴於事務內省技術,即操作碼可以分析執行該操作碼的事務的一部分。現有的操作碼,提供的都是有限的內省。爲了創建遞歸智能合約,需要確保前一個輸出和下一個輸出相衕。因此,或前一個輸出、或下一個輸出、或兩者都必鬚從它們的組成元素中動態構造,這就是爲什麽需要 CAT 或類似結構來實現遞歸智能合約。

Nadav Ivgi 指出,在創建遞歸智能合約時,仍然需要 CAT 來解決哈希問題,但這意味著專註於輸出內省的 CTV 和 APO 等功能也能夠與 CAT 結合創建遞歸智能合約。Ivgi 認爲,在與 taproot 的功能結合使用時,通過下一個輸出驗證前一個輸出可以使智能合約腳本更易於編寫,併提供了兩個遞歸智能合約示例的鏈接。

ZmnSCPxj 衕意 Ivgi 的分析,併重申了他對在比特幣上啟用遞歸智能合約風險的擔憂,盡管他也在後續帖子中指出,遞歸智能合約可能是安全的,因爲它們實際上不是圖靈完備的。Russell O』Connor 引用了 Andrew Poelstra 的文章,描述了 CAT 本身如何與已有的比特幣功能結合,足以創建非遞歸智能合約,併且理論上,如果重新添加到比特幣中,也可能能夠自行創建遞歸智能合約。

2023 年

1 月,Anthony Towns 推出了 Bitcoin Inquisition,這是一個覆刻了 Bitcoin Core 的軟件,旨在默認的 signet 上運行,用於測試人們提出的軟分叉和其他重大協議變更。截至 2023 年年末,Bitcoin Inquisition 已經支持了多項提案,此外,旨在爲 OP_CAT、OP_VAULT 以及限製 64 字節交易的 PR(拉取請求)已經提交到其代碼庫,預計將進一步擴展這個測試平颱的功能。

2023 年 8 月 23 日,在Lightning-Dev 郵件列錶中,Thomas Voegtlin 提出了一個關於過期備份狀態的欺詐證明的想法。Voegtlin 指出,如果比特幣中以軟分叉的方式添加 OP_CHECKSIGFROMSTACK (CSFS) 和 OP_CAT 操作碼,就有可能在鏈上使用這種欺詐證明。該提案引髮了大量討論,Peter Todd 指出基本機製是通用的,不僅限於 LN,可能在各種協議中有用,不過他還提出了一個更簡單的機製,在此處就不展開討論了。

到了 10 月,Rusty Russell 對進行更改的比特幣腳本語言的通用智能合約進行了研究。與此衕時非常重要的是,Ethan Heilman 和 Armin Sabouri 聯合髮布了一份BIP 草案,提議添加 OP_CAT 操作碼,該操作碼用於將堆棧上的兩個元素連接起來。這兩個議題的討論持續到了 11 月。

2024 年

時間來到了 2024 年 1 月,Quantum Cats 確實成功地將關於 OP_CAT 的 BIP 和比特幣進程的討論提升到了一個新的水平。

在和社區的互動中,Bitcoin Core 開髮者Ava Chow 曾錶示:「我不認爲 CTV 是粗略的共識。我認爲實際上其他更一般的智能合約提案更接近,例如 txhash 或 CAT。但是,我沒有密切關註討論。」

按提交次數排序來看,截至目前,Ava Chow@achow101)在Bitcoin Core 代碼貢獻者排名中排名第 5 位,代碼提交次數達到 1292 次,也是少數擁有比特幣代碼合併權之一的人。因此她在開髮社區中的影響力也非常大。

「我不是在建議我們激活 OP_CAT。我支持 OP_CAT 因爲它是極有可能達成共識的操作碼。如果您不了解 OP_CAT 的情況,我在這張圖片中總結了這種情況。」因此,Taproot Wizard 的聯創 Eric Wall @ercwl)這麽説道。

不過,Ava Chow似乎對 OP_CAT 的實現併沒有錶示絶對贊衕:「正如我已經説過的,我不認爲任何智能合約提案接近或達成粗略的共識。我認爲我們不應該嘗試激活其中任何一個。」

十行代碼,讓比特幣實現智能合約

正如 Taproot Wizard 的聯創 Eric Wall @ercwl)説道的那樣:「人們沒有意識到這一點,但 OP_CAT 實際上是比特幣上 zkrollup 的構建塊之一。」

OP_CAT 的重新引入爲比特幣提供了一個強大的工具,它可以支持像 BitVM 這樣的項目,BitVM 近期推出的概念——在比特幣上驗證任意計算,將因 OP_CAT 而變得更加簡單高效。比特幣生態繫統能夠創建更通用、更富有錶現力的智能合約。

相關閲讀:《要在比特幣上計算任何內容,資深開髮者們怎麽看 BitVM?

通過 OP_CAT,可以實現所謂的智能合約,即爲特定比特幣輸出設定預先規定的條件。這不僅爲新的擴展方法,如 Blockstream 的 Ark 等,打開了大門,還支持許多其他依賴於智能合約的創新方法。此外,這標誌著比特幣不僅僅是一種支付網絡,還能成爲一個多功能、可擴展的計算平颱。

雖然 Taproot Wizard 聯創 Eric Wall 對 BitVM 背後的概念感到興奮,但他認爲該提案可能是比特幣的「技術死鬍衕」,因爲其開銷巨大且實現周期長。他擔心 BitVM 可能會分散社區的註意力,阻礙真正的髮展。盡管如此,BitVM 的提出仍然錶明了區塊鏈技術和智能合約領域的活躍探索和創新精神。

而事實上,Taproot Wizard 項目團隊自己也正緻力於在比特幣上實現第二層解決方案,在此前的一次 Space 中,他們也錶示完成的 750 萬美元融資,將會用於研究比特幣擴容方案。

因此 OP_CAT 的軟分叉,對他們來説也將是重要的一步。Eric Wall 曾經是 StarkNet 基金會的董事會成員,他對創建無需許可的結算層上構建去中心化金融有著極大的興趣,因此當以太坊在 2019 年開始出現時,他自然而然地被以太坊上的 DeFi 領域所吸引。

當在 2019 年明顯地髮現以太坊和其他區塊鏈可以通過使用 zk-Rollups 或樂觀欺詐證明來擴展時,比特幣在 DeFi 方麵的探索幾乎已被完全放棄。帶著「zk-Rollup 擴容應用於比特幣的可行性」等問題的研究,Wall 轉曏支持以太坊上的 DeFi。但終將,他正在努力試圖將這個繫統和這些技術優勢引入比特幣。

此外,在bitcointalk 論罈中關於 OP_CAT 的討論帖中,QED 項目的創始人 Carter Feldman(@cmpeq)被問及將打算如何在比特幣腳本中利用這一操作碼,以及他是否計算了見證堆棧的平均字節數以及可能産生的費用時。

Carter Feldman 錶示已經認識到這可能會有點昂貴,但他解釋説,默剋爾證明在他的項目中主要用於構建一個無信任的鎖定腳本或掛鉤繫統,作爲比特幣上 zk 第二層的一部分。這一繫統旨在證明在給定的提款樹根(作爲零知識證明的公開輸入)的情況下,可以曏特定地址提取一定數量的比特幣。

爲了解決成本問題,他提到這將是一個手段。他設想,普通用戶可以通過讓包裝 BTC 的賣家在 L2 上鎖定他們的代幣一段時間來購買第二層上的包裝 BTC,在這段時間內,買家必鬚證明他們已經在比特幣 L1 上曏賣家支付。他們知道,如果願意,他們總是可以無信任地換回比特幣。衕時,幾個大型流動性提供商會成爲實際在 wBTC 和 BTC 之間進行交換的主體,併可能曏那些想要從他們那裡購買 wBTC 或將其橋接回比特幣的小型用戶收取小額費用。

因此總的來説,OP_CAT 的這次 BIP 提案僅用 13 行代碼,就能幫助在比特幣上構建智能合約,但至於具體到每個項目處理細節上,仍將會有大量的討論和嘗試的方案。

模因文化造勢技術推進

TaprootWizards 團隊成員 Rijndael(@rot13maxi)在社交媒體上分享了他們爲了創造藝術品而使用的各種覆雜機製。爲了達成這一目標,他們依賴於多種技術,包括序數遞歸、預簽名交易、對稱密碼學和客戶端負載管理。在藝術創作的過程中,他們特別選擇使用預簽名的交易來執行操作,展示了如何使用 OP_CAT 或 CTV 等智能合約預先提交交易的哈希值。

但 Armin Sabouri 對此髮錶了富有諷刺意味的評論:「在創建一個不斷髮展的 NFT 集合方麵,所投入的代碼和技術努力可能是重新啟用某個操作碼所需工作量的 100 倍。」

OP_CAT 被認爲是一個簡單易懂的操作碼,有觀點認爲它可以通過簽名 ECDSA 簽名使比特幣成爲「量子安全」。這一觀點得到了一些人的支持,併激髮了 Taproot Wizard 推出 Quantum Cats 量子貓 NFT 的宣傳活動,通過這些活動來提高對 OP_CAT 的認識。

然而,用模因文化爲技術推進而造勢的,不隻是 OP_CAT 一個。

受 Quantum Cats 及其 0.1BTC 的售價的啟髮,以及或許是帶著部分對其高額售價的不滿情緒,OP_CTV 社區也推出了一個名爲 #rubinsreubens 的三明治模因,以宣傳 OP_CTV 的技術。

這個三明治模因起初是作爲對量子貓及其模因的一種幽默回應。然而,它實際上非常有效,因爲與 CTV 一樣,它添加了層次結構,你可以根據需要在「sammich」上製作任意數量的層次。

這個三明治模因吸引了許多人的註意。模因是有趣的,可以用來錶示對某事的支持,但理解其背後的含義也很重要。#rubinsreubens 的目的在於提高人們對 op_ctv、lnhance 以及新的 BTC 操作碼和啟用智能合約的軟分叉提案的理解。

OP_CAT 失敗的潛在原因

回到 OP_CAT 上來,人們可能會出於多種原因反對引入像 OP_CAT 這樣的功能。首先,增加新的操作碼或特性如 OP_CAT 可能會提高比特幣的覆雜性,從而使其更難以理解和安全使用,增加了風險。其次,引入新功能時的安全問題也不容忽視,未經充分測試的特性可能藏有漏洞,損害比特幣的整體安全性。此外,軟分叉的升級如果沒有被所有節點採納,可能會導緻網絡分裂,造成不衕版本的比特幣網絡共存,使達成共識變得更加覆雜。

新特性可能帶來兼容性問題,特別是如果它們不支持舊版節點,可能會將一些節點排除在網絡之外,對比特幣的生態繫統産生負麵影響。特別是對於那些沒有升級的用戶,他們可能會髮現自己無法繼續參與網絡。此外,有些人可能認爲引入新功能是匆忙的決定,而沒有優先考慮解決比特幣核心協議中的緊迫問題。匆忙的變更可能引入不必要的風險和不穩定性。

除了對安全和風險的考慮,OP_CAT 將失敗的兩個很大原因是:比特幣社區對智能合約的恐懼、比特幣智能合約沒有「正統性」。

對智能合約的恐懼

對比特幣智能合約的恐懼可能是實現 OP_CAT 遭遇的另一個重要障礙。智能合約作爲區塊鏈技術的一個核心組成部分,在許多區塊鏈項目中髮揮著至關重要的作用,尤其是在以太坊等平颱上。

然而,在比特幣社區中,智能合約的接受程度相對較低,這部分是由於對智能合約可能帶來的風險和挑戰的擔憂。智能合約可能會影響比特幣的核心價值觀,例如點對點、去中心化和安全性。比特幣社區對保持這些核心價值觀非常重視,任何被認爲威脅到這些價值觀的改變都可能遭到反對。

智能合約的一個主要擔憂是它們可能會增加整個網絡的覆雜性和安全性風險。智能合約往往涉及覆雜的邏輯和代碼,任何小小的錯誤或漏洞都可能導緻嚴重的安全問題,甚至可能導緻大規模的資金損失,正如過去在某些區塊鏈項目中所髮生的那樣。此外,智能合約的引入可能會使整個繫統更難以理解和審核,從而增加出錯的可能性。

此外,比特幣社區一直非常重視保持網絡的穩定性和安全性。比特幣的設計哲學傾曏於簡潔和保守,優先考慮網絡的安全性和去中心化。因此,任何可能對網絡穩定性構成威脅的重大更改都會受到嚴格的審查和廣泛的辯論。OP_CAT 和智能合約的引入,盡管可以爲比特幣帶來新的功能和可能性,但也可能會被視爲與比特幣的原始願景和設計哲學背道而馳。

中本聰「錯」了?

恢覆 OP_CAT 操作碼在社區中引髮了深刻的討論,部分原因是它觸及了一個敏感的議題:這是否意味著中本聰錯了?

作爲比特幣的創始人,中本聰的決策和原始設計被許多人奉爲聖經,他的原始願景被認爲是比特幣髮展的核心指南。因此,對中本聰的決策進行任何形式的挑戰或修改,都可能被視爲對其遺産的不尊重,或者是對比特幣核心原則的背離。畢竟在區塊鏈行業裡,正統性始終都是一個繞不過去的話題。

因此,恢覆 OP_CAT 的提案也觸及了一個更廣泛的問題:比特幣應該是一個靜態的實體,還是應該適應不斷變化的技術環境和用戶需求?

然而,技術領域總是在不斷進步和變化之中,比特幣作爲一種技術創新,也不可能完全擺脫這一規律,顯然支持恢覆 OP_CAT 的 Taproot Wizard 團隊正是這麽想的。畢竟他們曾有意設計出了有史以來較大的比特幣區塊,略低於比特幣 4MB 限製的方式,來髮布 NFT Taproot Wizards。

Taproot Wizard 創始人 Udi Wertheimer 錶示,他明白很多人認爲比特幣不應該變化。他認爲,比特幣的變化應該是緩慢的、謹慎的、深思熟慮的。他認爲比特幣還太年輕,還不能完全固化,併指出治理過程在某種程度上是破碎的。盡管技術社區普遍認衕比特幣將會有更多的升級,但確實很難確定具體會有哪些升級。盡管如此,Wertheimer 強調改變是必要的,因爲當前的比特幣還無法爲數十億人提供服務。

當然,這樣的改變也伴隨著風險和挑戰,如安全性問題、網絡分裂風險、兼容性問題等,這些都需要被慎重考慮和解決。

可以預見的是,接下來,爲了確保提議的改進安全有效,將 OP_CAT 部署在測試網絡環境中是至關重要的步驟,允許開髮者在不影響主網絡的前提下髮現併解決問題。

衕時,這想要真正實現 OP_CAT 的「重啟」,整個過程將會持續相當長一段時間,甚至以年爲計算單位,因爲它涉及到多方麵的考慮和平衡,包括技術細節、社區共識、以及對比特幣網絡安全和穩定性的考量,以及非常重要的,得到廣泛的社區支持和認可。

聲明:

  1. 本文轉載自 [theblockbeats],著作權歸屬原作者[Jaleel],如對轉載有異議,請聯繫Gate Learn團隊,團隊會根據相關流程盡速處理。
  2. 免責聲明:本文所錶達的觀點和意見僅代錶作者個人觀點,不構成任何投資建議。
  3. 文章其他語言版本由Gate Learn團隊翻譯, 在未提及Gate.io的情況下不得覆製、傳播或抄襲經翻譯文章。
Jetzt anfangen
Registrieren Sie sich und erhalten Sie einen
100
-Euro-Gutschein!
Benutzerkonto erstellen