比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads

SCR:從BTC腳本到Subscript:智能合約語言剖析_scrt幣sec

Author:

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

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

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

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

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

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

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

一、比特幣腳本語言

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

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

BNB Chain交易量在4月至5月間增長65%:金色財經報道,在過去的兩個月中,BNB Chain的交易量在去中心化交易所中出現了顯著增長。根據The Block Research的數據,4月份BNB Chain交易量為117.9億美元,5月份為195.2億美元,增長65.3%,價值77.3億美元。[2023/6/15 21:37:39]

比特幣系統處理的大多數交易花費都是由“付款至公鑰哈希”腳本鎖定的輸出,即鎖定腳本中包含一個公鑰的哈希值,解鎖時通過包含公鑰和對應私鑰所創建的數字簽名的腳本來驗證。例如,用戶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語言已經廢棄,官方代碼庫也已經無法訪問。

Atlantic Equities將Block股票評級下調至中性:3月24日消息,位于倫敦的美國股票經紀公司 Atlantic Equities 分析師將 Block(SQ)股票評級從增持下調至中性,目標價下調至 70.00 美元。

昨日,Hindenburg發布做空Block公司的報告,Block昨日股價跌超10%。[2023/3/24 13:24:59]

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所列。

NFT銷售額連續第二年在圣誕節前后下滑:金色財經報道,據NFT數據跟蹤器CryptoSlam的數據,在2021年,NFT交易量從12月22日的8080萬美元下降到12月25日的6430萬美元。

與2021年相比,2022年的圣誕交易量下降了80%,原因是今年的加密貨幣市場不景氣。這種低迷對NFT市場交易影響很大,導致過去八個月的交易量連續下降,值得一提的是,Yuga Labs的Bored Ape Yacht Club的底價在假期前上漲。(TheBlock)[2022/12/29 22:13:36]

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

Mechanism Capital聯創以105 ETH購入Azuki #4978:9月20日消息,加密投資公司Mechanism Capital聯合創始人Andrew Kang通過NFT交易市場X2Y2以105 ETH(約14.3萬美元)購入Azuki #4978。

目前其對應地址擁有約1100枚NFT,包含多枚Azuki、BAYC、MAYC等NFT項目。[2022/9/20 7:07:51]

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

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來實現并發機制,并使用消息傳遞來共享內存。

Cynthia Lummis:加密監管法案很可能要到明年才會考慮:金色財經報道,Watcher.Guru在社交媒體上稱,美國參議員Cynthia Lummis表示,加密監管法案很可能要到明年才會考慮。[2022/7/20 2:25:32]

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

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

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

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:SCRIPTSUBSUBSscrt幣secBIPTSubscriptionsUBS價格

幣贏交易所
加密貨幣:一文讀懂加密市場六大熱門版塊_比特幣害死多少人犯法

我們不應該把所有的加密貨幣都扔進一個籃子里,而是應該把所有的比特幣劃分為各個市場。因此,一幅迷人的、多層次的“加密市場”圖景就被創造出來了,它講述了許多關于網絡效應的故事.

1900/1/1 0:00:00
ORE:12.19BTC凌晨行情分析及操作策略_比特幣價格今日行情走勢

前言:勿讓今天交易影響明天交易,這個形態換句話說就是,無論今天你的事情有多么壞,要相信明天將是另外一個改正它的機會.

1900/1/1 0:00:00
USD:12.19張哥論幣:BTC行情分析_穩定幣騙局是什么套路啊

今日大餅在沖高23227高位,受到上方壓制,也就形成了今日的高點,說明多頭無力,今日的波動還是有的,就是沒有前兩天的大,也可能是放假的原因,四小時圖來看,今日的幣價區間在500美金左右.

1900/1/1 0:00:00
ION:Union去中心化數字資產交易生態平臺 Union平臺共識者打造Defi去中心化金融體系 交易所_Union

Union平臺始終致力于打造去中心化數字資產交易生態平臺,構建多元生態矩陣,在及不斷建設的同時,將于12月18日開通專區,通過全面賦能Union平臺通證,增加平臺通證的應用性和通縮性.

1900/1/1 0:00:00
MAR:辰逸凜黃金震蕩整理.美盤沖高看二次回落.晚間黃金操作策略_MARK

  辰逸凜:黃金震蕩整理,美盤沖高看二次回落!晚間黃金操作策略!   晚間黃金方面:   黃金今日白盤整體表現窄幅震蕩,波幅僅有8個點左右,截止美盤前發稿,目前最高觸及1888附近.

1900/1/1 0:00:00
NAN:喜訊 | VEDA底層技術CCDN獲得創新創業大賽二等獎_CCD價格

2020年12月18日,第五屆海內外高層次人才創新創業大賽總決賽在浙江紹興舉辦,VEDA底層技術CCDN區塊鏈分布式存儲網絡進入了總決賽,大會上路演嘉賓黃博士就CCDN的技術創新性.

1900/1/1 0:00:00
ads