原文作者：Biteye 核心貢獻者Wilson Lee
原文編輯：Biteye 核心貢獻者Crush
一、導讀
比特幣無法實現通用計算是人盡皆知的局限，包括以太坊在內的大量古公鏈致力於突破該局限，為區塊鏈帶來通用計算，比特幣則穩坐「數位黃金」的位置。
在銘文、符文等比特幣新資產爆火後，市場認識到了為「數位黃金」擴容的巨大潛力，各式各樣的比特幣擴容方案爭相登場，形成了一片繁榮的局面，其中備受矚目的莫過於OP_CAT 回歸的方案。
在引入OP_CAT 的條件下，STARK 技術將能夠助力比特幣實現零知識證明的驗證，從而為比特幣引入真正的通用計算能力。
在今年7 月，StarkWare 發起了100 萬美金的OP_CAT 研究基金，旨在推動有關在比特幣上啟動OP_CAT 的利弊的研究。不難看見，StarkWare 在比特幣OP_CAT 時代有巨大的潛力展現其實力。
二、OP_CAT 的前生今世
OP_CAT 的離開
OP_CAT 是比特幣腳本中的操作碼，其功能是將堆疊中的兩個元素連接成一個。這在建立複雜的交易腳本時非常有用，能夠提高腳本的靈活性。
比特幣腳本是一種基於堆疊的程式語言，操作碼（OpCode）是其底層的基本指令。比特幣腳本透過這些操作碼來執行條件判斷、簽章驗證等功能，但運算能力相對有限。
以太坊透過引入虛擬機器（EVM），賦予了區塊鏈更強大的運算能力。 EVM 允許開發者編寫任意複雜的智能合約。 EVM 同樣要靠操作碼對電腦發布基礎指令，類似比特幣的操作碼，但功能更為廣泛。
核心在於比特幣的操作碼主要用於驗證交易的有效性，而以太坊的操作碼則用於執行更複雜的邏輯。這種差異使得以太坊能夠實現通用計算，而比特幣的運算能力則相對有限。
區塊鏈的去中心化特點決定了運算資源非常寶貴，因此需要防止惡意攻擊（如 DDOS）來過渡消耗資源。以太坊透過gas limit 來控制每筆交易的運算資源消耗，gas 消耗完畢，交易即停止執行，防止整個以太坊網路陷入一筆交易的無休止計算。
OP_CAT 能夠透過連接堆疊元素，為單筆計算引入更多的邏輯，這賦予了比特幣腳本一定的靈活性，但同樣也面對著DDOS 的風險。
中本聰出於安全性的考慮，於2010 年刪除了OP_CAT 操作碼，以減少攻擊面，這也使得比特幣喪失了一定的腳本靈活性，尤其是在需要拼接資料時。
OP_CAT 的回歸之路：擴容與爭議
隨著比特幣網路的擴展和更多功能需求的出現，社群開始重新審視OP_CAT，認為它可能在擴容方案中發揮重要作用。
近年來，重新引入OP_CAT 的討論不斷加熱，尤其是在其與比特幣擴展和智能合約的潛在聯繫上。同時，隨著Taproot 等比特幣協議的更新，安全性和記憶體使用等方面的顧慮逐步解決，重新啟用OP_CAT 的呼聲開始上升。
2023 年10 月，由開發者Ethan Heilman 和Armin Sabouri 提出的OP_CAT 提案得到了廣泛關注。
該提案旨在透過軟分叉來恢復OP_CAT 操作碼，這將大幅提高比特幣腳本的功能性，特別是在Tapscript（比特幣Taproot 交易腳本語言）中實現複雜的合約功能。
隨著銘文和符文的爆火，圍繞OP_CAT 的討論在今年變得更加正式。在社群的推動下，OP_CAT 提案正式獲得了BIP-420 （BIP 為比特幣改進提案）的編號。
該編號後來更改為BIP-347 。 BIP-347 的主要目的是引入更複雜的條件（即「協定」），從而允許更複雜的智慧合約、跨鏈橋、和鏈上交易。協定的實現將能夠在比特幣中引入如「保險庫」式交易、可逆支付、定期支付、複雜的金融工具（如託管和債券）等功能。
OP_CAT 能夠帶來潛在的好處，也面臨一些挑戰。例如，實施這項改進可能會增加比特幣的複雜性，帶來安全性和網路分叉的風險。此外，部分社群成員擔憂新功能可能影響比特幣的簡單性和普及性。
因此，OP_CAT 的回歸的影響還需要持續的討論和探索。
三、為什麼是STARK
STARK 是StarkWare 開發的零知識證明系統。與為人熟知的SNARK 類似，STARK 也是透過將複雜程序的執行過程轉化為易於驗證的零知識證明來實現擴容。這種方式能夠大幅壓縮大量交易的計算量，並快速驗證其正確性。
零知識證明的基本思想
零知識證明技術的核心思想在於將複雜計算的結果轉換成一個簡單的、可以快速驗證的“命題”，而驗證者不需要重新執行計算過程即可確認結果的正確性。
例如，假設一個複雜的計算過程需要幾秒鐘甚至幾分鐘才能完成，驗證者想要驗證計算的結果性，最直接的方式是再用幾秒鐘甚至幾分鐘來重複一次運算。但如果將整個計算過程轉換成零知識證明，則可以讓驗證過程變成毫秒等級。
STARK 與SNARK 的技術差異
STARK 和SNARK 的關鍵差異在於它們所使用的數學基礎，即使用什麼樣的數學方式進行零知識證明的計算和驗證。
SNARK 主要依賴橢圓曲線配對運算。這種運算方式雖然能夠實現簡潔的零知識證明，但它並不涉及哈希運算。此外，SNARK 的運算依賴於橢圓曲線的性質，這使得它在某些應用場景中可能會受到限制。
與SNARK 不同，STARK 則完全依賴雜湊函數和多項式承諾作為其核心運算。哈希函數是一種在比特幣等區塊鏈系統中廣泛使用的密碼學工具，它透過將任意長度的輸入映射為固定長度的輸出，提供了高效的計算和強大的安全性。
適配性：STARK 與比特幣
由於比特幣系統本身就是圍繞哈希計算構建的，這使得STARK 的運算方式與比特幣的原生運算方式高度契合。
STARK 的哈希運算能更直接地與比特幣現有的哈希計算邏輯結合。這種適配性意味著STARK 能夠在比特幣網路上更有效率地實現零知識證明，而無需對比特幣現有的運算機制進行重大修改。
為何OP_CAT 是前提？
OP_CAT 的作用在於連接堆疊中的元素，這對於建立複雜的零知識證明驗證腳本至關重要。透過OP_CAT，比特幣腳本能夠更靈活地處理多個資料段的組合，從而在驗證過程中支援更複雜的邏輯結構。這使得STARK 的引入成為可能，因為OP_CAT 提供了必要的腳本能力來實現STARK 證明的驗證。
具體而言，OP_CAT 的引入可以讓比特幣支援STARK 證明所需的複雜資料操作，例如拼接、驗證和迭代運算。這些操作在零知識證明的產生和驗證過程中是不可或缺的。透過OP_CAT，比特幣可以在不引入圖靈完備性的情況下，依然保持高效的驗證和安全性，從而實現STARK 在比特幣網路上的應用。
四、總結與展望
比特幣的擴容作為產業的新晉主線，對產業的永續發展至關重要。在這條賽道上，StarkWare 憑藉其在零知識證明和擴展技術領域的領先地位，展現了強大的創新能力。
然而，STARK 的成功應用仍依賴OP_CAT 等功能的進一步發展。我們期待各類技術團隊在這領域的持續努力與探索，共同推動比特幣生態系統的演進。
展望未來，隨著OP_CAT 的引入，StarkWare 有望在這個新時代綻放異彩，進一步鞏固其在區塊鏈擴容的領先地位。我們看好StarkWare 在推動比特幣擴容和提升網路效能方面的潛力，並期待他們為區塊鏈技術帶來更多的突破與創新。
風險提示：以上僅做資訊分享，非投資建議，請讀者遵守所在地法規。
