加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads
首頁 > BNB > Info

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

Author:

Time:1900/1/1 0:00:00

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

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

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

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

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

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

一、比特幣腳本語言

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

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

30分鐘前Farmer X從KuCoin提取了8670枚CREAM:金色財經報道,據Lookonchain監測,30分鐘前Farmer X從KuCoin提取了8670枚CREAM (價值32.5萬美元) 。Farmer X還于6月15日從KuCoin提取了 42,767枚CREAM(價值160萬美元)。Farmer X的2個地址目前持有360,574枚CREAM (價值1350萬美元),是CREAM的最大持有者。[2023/6/25 21:57:49]

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

OP_DUPOP_HASH160〈BPublicKeyHASH〉OP_EQUALVERIFYOP_CHECKSIG

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

〈BSignature〉〈BPublicKey〉

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

〈BSignature〉〈BPublicKey〉OP_DUPOP_HASH160

〈BPublicKeyHASH〉OP_EQUALVERIFYOP_CHECKSIG

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

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

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

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

PUMA開放3D空間Black Station:6月13日消息,運動品牌 PUMA 宣布開放 3D 空間Black Station,允許用戶探索云端之城 UNKAI 和俱樂部 UNTER,PUMA RB Access Token 持有者可以購買實體 Rulebreaker 運動鞋和領取 2 款數字可穿戴設備。[2023/6/13 21:34:23]

2.1 Solidity語言

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

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

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

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

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

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

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

CFPB主管:華盛頓太癡迷于加密貨幣:金色財經報道,CFPB主管Rohit Chopra表示,金融科技的其他領域值得政策制定者對數字資產給予同樣的關注。

同時也是金融穩定監督委員會成員的喬普拉承認,由于Facebook過去有興趣幫助創建穩定幣,因此穩定幣已成為監管機構的主要關注點。 (theblock)[2022/9/23 7:15:41]

2.2Serpent語言

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

1)Serpent的數值不能大于2256,否則會發生溢出;

2)Serpent不支持Decimal數值類型;

3)Serpent不支持List,Dictionary以及其他一些高級特性;

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

5)類似于Solidity,Serpent支持持久存儲變量的概念,即Storage型變量;

6)類似于Solidity,Serpent可以使用extern語句來調用其他合約,或從其他合約中調用函數;

7)作為運行在區塊鏈上的編程語言,Serpent同樣支持表1中的特殊變量。

2.3可驗證型語言Pact

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

USDD:以太坊合并后將僅支持PoS鏈:9月6日消息,波場去中心化穩定幣USDD宣布以太坊合并完成后,USDD將僅支持以太坊PoS。是否在以太坊PoW上發行USDD有待評估,如何支持也需要進一步討論。[2022/9/6 13:10:57]

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

“taketheaverageaandb”

2))

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

2.4超級賬本智能合約語言

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

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

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

3)內嵌C語言支持。該語言可以直接包含C語言代碼,利用現有的豐富C程序庫。

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

美股三大股指集體高開,道指開漲約160點:8月8日消息,行情顯示,美股三大股指集體高開,道指開漲約160點。道瓊斯指數8月8日(周一)開盤上漲178.97點,漲幅0.55%,報32982.44點;標普500指數8月8日(周一)開盤上漲18.86點,漲幅0.45%,報4164.05點;納斯達克綜合指數8月8日(周一)開盤上漲56.53點,漲幅0.45%,報12714.09點。(金十)[2022/8/8 12:10:25]

5)支持自動垃圾回收。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運行部署和測試。

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

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

四、結語

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

來源:金色財經

Tags:IPTSCRSUBSUBSZIPT價格ESCROW幣SubscriptionsHUBS

BNB
Paloalto驅動未來生態的價值網絡平臺_PLA:LOA

為了大數據區塊鏈網絡的綜合發展和革新推進,完善鏈上信息的交互以及豐富的拓展生態能夠為行業帶來更好的前景,Paloalto網絡平臺的發展能夠帶動商業生態的價值網絡建設帶動區塊鏈市場的革新篇章.

1900/1/1 0:00:00
打魚機高手技術打法,新手必看_DOG:JINDOGE

打魚機高手技術打法:眾所周知能玩打魚的平臺多如牛毛,正歸的屈指可數,俗話說得好物品有369等之分臺子也不例外,盲目的努力,只是一種緩慢的疊加。要想拉開與別人的差距,必須靠自己的遠見與行動.

1900/1/1 0:00:00
用歷史數據告訴幣友們 每逢佳節必暴跌 比特幣又進入短期預警區間了_比特幣:COI

大家好,我是紫獅財經CEO,Hyrik老師。昨天的文章《突破兩萬刀的比特幣,今日又暴漲超過10%,主流幣啥時候輪動暴漲啊?》中我就反復給幣友們強調一個重要的觀點,那就是幣友們瘋狂了嗎?從前天比特.

1900/1/1 0:00:00
為何選擇Filecoin?_FIL:filecoin幣價格幣幣情

作為IPFS分布式存儲網絡的激勵層,Filecoin通過發行代幣FIL吸引人們向IPFS網絡貢獻存儲資源、檢索服務、帶寬資源,從而構建強大而強大的新互聯網.

1900/1/1 0:00:00
馬校長論幣:12.18晚間 BTC行情分析與操作建議_AVE:Twittelon BOSS

前言: 大家好,我是馬校長。本著對每一位客戶負責的原則,所以我們特別用心的對待每一筆交易。我常說投資最大的風險就是來自于你自己不知道在干什么。一個沒有目標的人,終將成為別人實現的目標.

1900/1/1 0:00:00
BTCV發布最新路線圖 即將開啟更多可能性_BTC:META

近日BTCV在官方網上發布了最新的線路圖,包含了2019年底到2022年的詳細項目規劃。項目規劃包括了接下來的技術走向,市場推廣和落地應用等方面的具體安排.

1900/1/1 0:00:00
ads