從BTC腳本到Subscript：智能合約語言剖析_IPT:SCR

負熵學會網站對廣義的智能合約是這樣定義的：能夠讓用戶自己定義所需交易邏輯的代碼程序，幾乎存在于所有區塊鏈系統，包括最廣為人知的比特幣，以及以太坊、超級賬本、Parity、Zcash等。

從編程語言表現或者運行環境考慮，智能合約可以分為腳本型、圖靈完備型、可驗證合約型三種。

比特幣系統可以允許通過編寫基于堆棧的操作碼來實現簡單的交易邏輯，比如改變比特幣花費的前提條件，這個系統稱為比特幣腳本系統。以太坊提供一種基于圖靈完備語言的智能合約平臺，也是最早的圖靈完備智能合約。

以太坊系統提供以太坊虛擬機，合約代碼在EVM內部運行。以太坊用戶使用特定語言編寫智能合約代碼，并編譯成EVM字節碼運行。超級賬本提供另一種圖靈完備智能合約，它在Docker容器環境中運行語言無關的智能合約，即智能合約代碼可以使用任何編程語言進行編寫，之后被編譯器編譯并打包進Docker鏡像，以容器作為運行環境。

隨著波卡多鏈系統的發展，開發者針對跨鏈互操作的智能合約設計了新的開發語言。比如波卡的TrustBase項目提供了基于Substrate框架、兼容WebAssembly虛擬機的智能合約開發系統，并自主研發了全新的易用語言Subscript，開發波卡原生完備智能合約。

本文將對比特幣、以太坊和波卡區塊鏈中的智能合約主流開發語言進行梳理闡述。從最初的比特幣腳本語言到如今的Subscript，讀者得以窺見智能合約語言的發展脈絡。

一、比特幣腳本語言

這是一種基于堆棧的逆波蘭式簡單執行語言，它用于編寫比特幣交易中未花費交易輸出的鎖定腳本和解鎖腳本。鎖定腳本確定了花費輸出所需要的條件，而解鎖腳本用來滿足UTXO上鎖定腳本所確定的條件，解鎖并支付。當一條交易被執行時，每個UTXO的解鎖腳本和鎖定腳本同時執行，根據執行結果來判定該筆交易是否滿足支付條件。

比特幣腳本語言被設計得非常簡單，類似于嵌入式裝置，僅可在有限的范圍內執行，可做較簡單的處理。腳本指令被稱為操作碼，分為常量、流程控制、棧操作、算術運算、位運算、密碼學運算、保留字等。后文中提及的OP-DUP等屬于棧操作指令。腳本是非圖靈完備的語言，包含的操作碼不具備循環和復雜的流控制功能，僅可執行有限的次數，避免了因編寫疏忽等原因導致的無限循環或其他類型的邏輯炸彈。比特幣腳本這種有限的執行環境和簡單的執行邏輯，有利于對可編程貨幣的安全性進行驗證，能夠防止形成腳本漏洞而被惡意攻擊者所利用。

Cardano生態最大Web3黑客松Cardano EMURGO BUILD 2023在DoraHacks.io開啟報名:5月30日消息，由EMURGO Ventures主辦的Cardano EMURGO BUILD 2023報名入口已在開發者激勵平臺DoraHacks.io開啟。

作為Cardano生態中最大規模的Web3黑客馬拉松，本此活動評審團來自EMURGO、EMURGO Ventures、Cardano Foundation、Input Output Global（IOG）、Binance、Republic Crypto和Wave Financial。活動總資助池超200萬美元。項目提交截止時間為7月3日。

Cardano EMURGO BUILD 2023面向全球Web3開發人員，鼓勵其基于Cardano網絡，在Derivatives、Aggregators和Zero-Knowledge三大賽道上構建具有創新意義的dApp，以進一步豐富整個生態體系。[2023/5/30 11:48:13]

比特幣系統處理的大多數交易花費都是由“付款至公鑰哈希”腳本鎖定的輸出，即鎖定腳本中包含一個公鑰的哈希值，解鎖時通過包含公鑰和對應私鑰所創建的數字簽名的腳本來驗證。例如，用戶A向用戶B支付一筆交易，鎖定腳本可以表示為：

OP＿DUPOP＿HASH160〈BPublicKeyHASH〉OP＿EQUALVERIFYOP＿CHECKSIG

其中，BPublicKeyHASH為用戶B的公鑰的哈希。當用戶B解鎖該筆交易時，使用包含Ｂ的數字簽名和公鑰的解鎖腳本：

〈BSignature〉〈BPublicKey〉

比特幣系統中的節點把解鎖腳本與鎖定腳本組合，形成驗證腳本：

〈BSignature〉〈BPublicKey〉OP＿DUPOP＿HASH160

〈BPublicKeyHASH〉OP＿EQUALVERIFYOP＿CHECKSIG

散戶投資者已持有17%的比特幣供應量，創歷史新高:金色財經報道，根據加密分析公司 Glassnode 近期整理的公共區塊鏈數據，散戶投資者現在持有比特幣總流通量的17%，創下歷史新高。Glassnode 將“散戶”定義為錢包中持有的 BTC 少于 10 枚，目前價值近 169,000 美元。

歷史數據顯示，該指標在 2020 年初還不到 12%，但在 2022 年開始呈指數增長，比特幣經常因其高度集中的所有權而受到批評，一些人認為這有損于支持者的去中心化主張，此前彭博社聲稱僅 2% 的賬戶控制著 95% 的比特幣。Reflexivity Research 分析師 Will Clemente 認為：“雖然 17% 仍不太完美，但對于一個擁有 12 年歷史的資產來說是穩固的，并且肯定會朝著正確的方向發展。比特幣供應量會隨著時間的推移而逐漸分散。”（decrypt）[2022/12/21 21:57:21]

該驗證腳本被放入堆棧中執行，輸出結果決定著交易的有效性。

二、以太坊圖靈完備型語言

由于比特幣等腳本語言不具備圖靈完備性，編寫的智能合約交易模式非常有限，只能用于虛擬貨幣類應用，因此VitalikButerin推出了支持圖靈完備語言的以太坊智能合約平臺。以太坊提供了智能合約專用開發語言，其他系統或平臺大多采用通用編程語言。

目前，以太坊提供了２種編程語言：Serpent和Solidity。Solidity在語法上類似于JavaScript，也是以太坊官方推薦的智能合約編程語言，它具有詳細的開發文檔；Serpent語言類似于Python語言，具備簡潔的特性。以太坊曾經提供了Mutan和LLL語言，Mutan是類似于C語言的一種高級語言，但該語言已于兩年前停止維護；ＬＬＬ語言已經廢棄，官方代碼庫也已經無法訪問。

2.1　Solidity語言

Solidity是一種“面向合約”的高級編程語言，它是專門為編寫運行在EVM上的智能合約而設計的。其語法接近JavaScript，并且支持強類型、繼承、庫以及用戶自定義類型。但Solidity也有其獨特的語言特性：

元宇宙協議Caduceus披露主網V2.0版本開發進度:10月20日消息，元宇宙協議 Caduceus 主網 V2.0 (Pegasus) 正在開發測試，團隊在性能、可擴展性、用戶體驗等方面進行了優化，具有更加完備的區塊鏈系統、開發套件、開發文檔、以及配套的基礎應用和基礎服務，可為開發者提供一個更為安全、穩定、高效的開發環境。

Caduceus 主網 V2.0 版是一個整體的元宇宙商業化解決方案，其元宇宙編輯器、Metagraph 共識、以及多元治理模型等創新模式，可滿足不同元宇宙應用場景與區塊鏈技術進行深度融合的需求。[2022/10/20 16:32:49]

１）特殊的數據類型———Address。運行在以太坊上的智能合約被當作一個特殊的賬戶———合約賬戶，類似于外部賬戶，合約賬戶也是由一個２０字節的地址所定位。因此，Solidity語言設計了用于定義合約地址的Address。

２）靈活的變量聲明。在作用范圍內，狀態變量的定義聲明與調用沒有絕對的順序關系，定義聲明可以在調用語句之后。

３）兩種數據存儲方式：Memory和Storage。Memory類似其他高級語言的變量存儲方式，使用完被回收。默認的函數參數即為Memory類型；然而，在區塊鏈上有非常多的狀態需要永久記錄下來，狀態變量默認保存為Storage類型。在用戶編程過程中，也可以使用關鍵字靈活地手工指定數據的存儲方式。

４）數字貨幣支付屬性。Payable關鍵字使其在代碼層支持以太幣等數字貨幣的支付以及收款操作，使得合約可以接受交易并持有一定數量的貨幣。

５）支持回滾的異常機制。對于異常事件，不是讓程序去捕獲處理，而是觸發回滾對應的代碼自動處理，從而保證合約中狀態數據的一致性以及合約執行的原子性。

６）嚴格控制可見性。函數和狀態變量共有４種可見性定義，即External，Internal，Public，Private，用來限制函數或狀態變量在合約內外以及繼承關系中的調用和訪問權限。Solidity還支持一些針對智能合約特性的獨特變量，它們作用于全局命名空間，主要用于獲取區塊鏈的相關信息，如表１所列。

萬事達卡將在澳大利亞推出比特幣和加密貨幣獎勵卡:金色財經報道，Bitcoin Magazine發推稱，萬事達卡將在澳大利亞推出比特幣和加密貨幣獎勵卡。[2022/8/5 12:05:11]

2.2Serpent語言

Serpent的設計非常類似于Python，它是一種專門編寫智能合約的高級語言，具備低級語言高效易用的編程風格以及針對智能合約的特性。最新版本的編譯器由Ｃ＋＋語言編寫，目的是能夠更廣泛地嵌入客戶端程序。Serpent與Python之間雖然相似，但也有諸多不同之處：

１）Serpent的數值不能大于2256，否則會發生溢出；

２）Serpent不支持Decimal數值類型；

３）Serpent不支持List，Dictionary以及其他一些高級特性；

４）Serpent沒有第一類函數的概念，雖然合約中可以定義函數，也可以調用自己的函數，但是在調用過程中，變量不是永久存在的；

５）類似于Solidity，Serpent支持持久存儲變量的概念，即Storage型變量；

６）類似于Solidity，Serpent可以使用extern語句來調用其他合約，或從其他合約中調用函數；

７）作為運行在區塊鏈上的編程語言，Serpent同樣支持表１中的特殊變量。

2.3可驗證型語言Pact

Pact語言類似于Haskell語言，用于編寫直接運行在Kadena區塊鏈上的智能合約，主要應用于安全性和效率要求較高的商業交易場合。

Pact智能合約由３部分構成：tables，Keysets，module。它們分別負責合約的數據存儲、合約授權驗證以及合約代碼code。該語言的主要特點有：語言邏輯結構屬于圖靈非完備，不支持循環和遞歸；代碼人工可讀，并且嵌入式地運行于區塊鏈上；支持組件化設計和導入；支持keyrow和列式數據庫模式；支持類型推斷；支持秘鑰輪換；支持與工業數據庫進行集成。Pact語法設計類似于LISP語言，代碼結構利于快速分析和執行語法樹。下面給出一段計算平均值的函數代碼：

DAO平臺Molecule完成1300萬美元種子輪融資，Northpond Ventures領投:6月13日消息，為醫學研究項目募資的DAO平臺Molecule完成1300萬美元種子輪融資，Northpond Ventures領投，Backed VC、Shine Capital、Speedinvest以及前Coinbase CTO Balaji Srinivasan參投。

Molecule平臺是一個供研究人員上架代表知識產權的NFT項目的市場。目前該平臺上的項目包括紐卡斯爾大學關于分子衰老的研究，以及哥本哈根大學關于長壽的項目。這些項目通過DAO以穩定幣（如USDC）的形式獲得資金。（The Block）[2022/6/13 4:23:12]

“taketheaverageaandb”

2））

代碼定義了average函數，用于計算兩個數的平均值。這種語法特點能夠使計算機更加快速地執行代碼。

2.4超級賬本智能合約語言

超級賬本智能合約Chaincode一般由Golang編寫，同時也支持其他編程語言，如Java。Go是由RobertGriesemer，RobPike，Ken　Thompson從2007年末主持開發，并最終于2009年11月開源的語言，屬于圖靈完備型。每個Go程序都是由包構成的，并且總是從main包開始執行。Go語言具有以下特點：

１）良好的并發機制，程序能夠充分利用多核和聯網機器。Go語言引入了goroutine來實現并發機制，并使用消息傳遞來共享內存。

２）設計簡潔。代碼風格簡潔，格式統一，閱讀性和可維護性高。該語言只有25個關鍵字，但能夠支持大部分其他編程語言支持的特性，如繼承、重載、對象等。

３）內嵌C語言支持。該語言可以直接包含Ｃ語言代碼，利用現有的豐富C程序庫。

４）錯誤處理。Go語言使用３個關鍵字來處理異常錯誤，與Java語言的Try-Catch模塊不同，能夠大大減少處理異常的代碼量。

５）支持自動垃圾回收。Go語言中不需要delete關鍵字，也不需要free方法來明確釋放內存。

2.5TrustBase智能合約語言

TrustBase平行鏈的開發語言Subscript是為WASM設計的原生智能合約語言，可以支持任何和Substrate架構兼容的智能合約開發平臺，開發波卡原生智能合約。

同時TrustBase平行鏈開發了支持Subscript語言的IDE和測試工具。Subscript提供以下開發工具來構建完善的合約開發生態：

1）Subscriptworkbench：基于瀏覽器的IDE開發環境;

2）Subscriptonechain：TrustBase的合約鏈;

3）SubscriptTempest：智能合約測試和驗證框架;

Subscript使用基于賬戶的方式進行數據的存儲，并以交易的形式部署合約。已部署的智能合約帶有狀態租金，租金用完合約就會暫停。這種設計與Polkadot智能合約跨鏈執行的生態有很好的相性。

基于Subscript開發的智能合約可以升級，這一點類似Solidity合約。合約的庫函數在合約語言中自帶實現(as實現)，包含基本的密碼學函數，鏈上信息(隨機數、區塊高度、區塊時間等)，以及智能合約操作(轉賬、調用其他合約、調用鏈上模塊)。

由于Subscript語言有著更易于理解的語義，利于開發者對圖靈完備的靈活性利用，使得基于Subscript開發的智能合約將更少地出現安全漏洞。

Subscript從API到語法都為WASM而設計，整體使用嚴格類型和語言檢查，同時提供了范型功能支持第三方庫的封裝，具體實現如下：

a、靜態的語法檢查。與針對動態類型運行環境的TypeScript不同，Subscript在編譯時具有嚴格的靜態語法檢查，避免了無法提前有效編譯TypeScript的動態特征。通過分配或推斷確定的類型，編譯器能夠從執行開始就產生可預測的性能，同時保證所產生的WASM目標代碼很小。

b、嚴格的類型。Subscript中的基礎類型為WASM標準而設計，使用WASM特定的整數和浮點類型。在處理數值類型時允許開發人員實現制定數值的理想類型。

c、底層訪問支持。智能合約與沙盒外環境交互時，能夠傳遞的參數僅限于基本的整數類型。Subscript提供了完備的語法可以用來定義外部接口類型。Subscript還自帶可訪問WASM底層的指令函數，提供整數運算，虛擬機棧訪問，內存加載等操作。

d、范型支持。能夠定義范型類型來支持代碼的復用，Subscript通過范型定義了一系列可復用的庫函數。

在庫函數方面，Subscript提供了豐富的庫函數供開發者調用，庫函數分為標準庫、核心庫、擴展庫三個部分。

2.5.1Subscript庫函數

Subscript標準庫包含了基本的數學運算、數組操作、字符串處理以及內存訪問等功能；Subscript核心庫(CoreLib)在合約代碼中可以通過函數直接訪問，如：

1、包含基本的密碼學函數，blake2b,sha3,sha256

2、鏈上信息(隨機數、區塊高度、區塊時間等)

3、智能合約轉賬、調用其他合約、調用鏈上其他模塊(XCMP跨鏈消息、質押、治理等)

Subscript擴展庫(SupportLib)是一個模塊化的合約庫函數集合，包括了眾多常用的合約模版。開發者通過擴展庫中的合約模版，可以自動集成當前廣泛使用的合約功能，增強合約的安全性，避免重復開發基礎功能。擴展庫包含的合約函數有：

1、ERC20兼容合約，提供和ERC20接口兼容的代幣庫函數

2、ERC721兼容合約，支持創建非同質化代幣

3、權限控制合約，通過使用合約基礎類為擴展合約提供基于賬戶的權限控制功能

4、代理合約，通過抽象合約接口實現合約的可升級功能

5、治理合約，提供通過投票實現的鏈上治理

6、多簽合約，能夠支持多種賬戶格式的多簽地址合約

三、波卡跨鏈智能合約語言對比

由于Subscript是針對波卡Polkadot跨鏈智能合約生態專門研發的語言，所以Subscript拿來與Parity基于rust開發的ink!語言進行比較最為合適。相比之下，Subscript提供了更加易用的特性：

1）無需rust開發基礎，Web開發者可以快速入門;

2）與JavaScript良好的互操作特性，便于與Dapp的集成;與javascript的交互性在于可以方便的使用javascript,typescript測試合約接口，模擬合約行為。

3）易用的開發環境支持，可以基于現有的jsIDE運行部署和測試。

表２對文中出現的所有語言特性進行對比

除了表中列舉的常用特性外，Subscript語言實現了基于波卡Substrate框架的WASM虛擬機兼容。不同于Solidity的EVM兼容，WASM與波卡分片多鏈結構有著更好的向后兼容能力。開發者使用Subscript語言開發波卡智能合約，不會產生類似以太坊智能合約平臺的歷史包袱，隨著未來波卡Polkadot平行鏈生態的豐富，這一點將變得至關重要。

四、結語

本文筆者從比特幣腳本語言開始，闡述了智能合約開發語言的發展歷程，并剖析了波卡跨鏈智能合約語言Subscript的特性。2020年9月，Subscript語言陸續完成了前期的開發和調試，并獲得了Web3基金會Grant認證。可以看出隨著區塊鏈不同賽道的發展，尤其是Polkadot波卡的跨鏈智能合約賽道的出現，與賽道要求適配的新生語言將被更多的開發者嘗試與使用。

來源：金色財經

Tags：SCRIPTSUBUBSJavaScript TokenKRIPTO價格Jared From SubwayUBSN

以太坊