亚洲全黄无码一级在线看_国产剧情久久久性色_无码av一区二区三区无码_亚洲成a×人片在线观看

當前位置: 首頁 > 科技新聞 >

TrustBase宣言:讓簡單的語言再次偉大

時間:2020-12-28 15:40來源:網(wǎng)絡整理 瀏覽:
前言:TrustBase是一個幫助全球開發(fā)者無障礙參與波卡生態(tài)建設的平行鏈。它允許傳統(tǒng)的Web開發(fā)者、普通的Java工程師和其他常規(guī)領域編程

前言:TrustBase是一個幫助全球開發(fā)者無障礙參與波卡生態(tài)建設的平行鏈。它允許傳統(tǒng)的Web開發(fā)者、普通的Java工程師和其他常規(guī)領域編程人員也能以低門檻進入智能合約開發(fā)工程,以壯大Web3.0建設者的陣營。我們要做的事情,就是通過提供最基本的語言,讓全球Web開發(fā)者共創(chuàng)波卡生態(tài),實現(xiàn)Web3.0網(wǎng)絡的目標。

我們在我們設想的Web3.0世界里,信用貨幣必然經(jīng)受不住時間的考驗。實物貨幣經(jīng)歷了幾千年的考驗,而所謂的“無錨印鈔”的法定貨幣,歷史卻非常短暫。從1971年布雷頓森林貨幣體系(35美元與一盎司黃金錨定)崩潰算起,也不過49年的時間。

法幣“無錨印鈔”的結果,就是無上限加杠桿。而持續(xù)49年的加杠桿行為已經(jīng)讓信用貨幣走向一次比一次嚴重的金融危機。金融危機下因不斷放水而失信的全球央行只好尋求黃金避險——這個金本位時代的古老貨幣錨。

我們認為黃金有著被造物主賦予的天然底層語言。它在分子維度里實現(xiàn)了稀缺、輕便和鮮明的辨識度。遍歷人類歷史,人們對黃金的共識,本質上是對這種“天然的技術”的崇拜。

技術經(jīng)常反映了它的過去,只是會比之前更快、更優(yōu)或者更健壯。2008年11月1日,中本聰坐在電腦前,最后審視著自己的杰作——《比特幣:一種點對點的電子現(xiàn)金系統(tǒng)》。他點擊了發(fā)送鍵,這篇論文便悄悄進入了極客網(wǎng)站的密碼學郵件組。此時,深夜中熟睡的人們并不知道,一個全新的時代已經(jīng)悄然拉開序幕,比特幣和區(qū)塊鏈將給社會帶來多大的變革。

比特幣是黃金的“天然底層語言”被復制到網(wǎng)絡層的人為實現(xiàn)。在Web2.0的金融壟斷環(huán)境下,比特幣讓人類看到了“貨幣自由”。這是在階級森嚴的Web2.0下野蠻生長的新一代價值網(wǎng)絡,這是反制美元霸權的新的外匯錨。

比特幣成就的背后,是其底層腳本語言的精密搭建。我們更愿意把比特幣腳本語言視作一件藝術品,它充滿了結構的簡單美和巧妙的智慧,它折射出了黃金的技術本質并充滿了對金本位下健康經(jīng)濟的愿景。比特幣的源碼,是我們研發(fā)自身語言的伊甸園。

一個真正有價值的語言,必須足夠簡單。這里的“簡單”指的并不是簡陋,而是它必須像一個通用的模型。比特幣的腳本語言和黃金一樣,都使用了同一種側重稀缺、安全的模型,但犧牲了靈活性。比特幣系統(tǒng)很難出現(xiàn)智能合約生態(tài),就源于這種靈活性的底層限制。

而在靈活性上做的最好的,不可否認是以太坊的Solidity語言,它幾乎憑一己之力定義了區(qū)塊鏈智能合約的成就。但目前來看,Solidity顯得過于靈活了。例如,在作用范圍內,Solidity的狀態(tài)變量的定義聲明與調用沒有絕對的順序關系,定義聲明可以在調用語句之后。類似這樣的特性允許以太坊的智能合約“在邏輯之上再套邏輯”,這是以太坊頻繁發(fā)生DeFi合約漏洞的根源。

面對“安全”與“靈活”的選擇,我們借鑒了東方的古老智慧,把比特幣腳本語言和Solidity語言的核心精神做了中庸的糅合,并在波卡的Substrate框架下啟程。

我們?yōu)槲覀兿嘈诺腤eb3.0的希望——波卡——設計了一個輕量級的新語言:Subscript。2020年9月,這門語言被Web3.0基金會Grant計劃選中,成為了官方扶持的波卡開發(fā)者工具。

Subscript沿用了Javascript的語法,并在Assembly Script中完成了對Substrate智能合約api和sdk的封裝。簡單來說,Subscript實現(xiàn)了支持任何Web開發(fā)者快速入手部署波卡原生智能合約的能力。我們的開發(fā)者無需學習Substrate框架要求的rust語言,也無需精通merkle樹、共識協(xié)議、p2p等技術難題。

“看到Subscirpt就像看到了老朋友。”是的,我們希望用Subscript語言告訴全世界,也許在Web2.0互聯(lián)網(wǎng)行業(yè)的競爭下,再優(yōu)秀的開發(fā)者如果不精通新語言,也會被市場淘汰;但在Web3.0的字典里不存在淘汰一詞。Web3.0 將是一組包容性協(xié)議,為應用程序開發(fā)者建塊。這些構建塊取代了傳統(tǒng)的 Web 技術,但是提供了一種開發(fā)應用程序的全新方式。在這種方式下,Web3.0必將兼容所有曾被認同的基本底層語言,也必將容納全球范圍內的優(yōu)秀開發(fā)者。

精通智能合約開發(fā)語言的開發(fā)者數(shù)量遠遠不夠,而我們不希望看到優(yōu)秀的傳統(tǒng)開發(fā)者站在波卡的對岸喟然生嘆。經(jīng)過我們的搭建,使用Subscript語言開發(fā)的任何智能合約應用和基于Subscript的編程工具將通過平行鏈TrustBase共享與波卡的全域互操作性。

這門語言必須犧牲一定的靈活性,以換取波卡原生智能合約的共享安全性。如果我們拿Subscript與以太坊久負盛名的Solidity語言相比,Subscript犧牲了一定的靈活性,它繼承了比特幣源碼和Javascript的精神,實現(xiàn)了底層的安全性和嚴格的類型。同時,我們讓它可以支持任何和Substrate架構兼容的智能合約開發(fā)平臺,不僅限于TrustBase平行鏈。從語法和開發(fā)環(huán)境上說,遍歷已知的所有智能合約開發(fā)語言,沒有任何一門語言比Subscript更基本。

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

以下為我們的具體實現(xiàn):

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

b、嚴格的類型。Subscript中的基礎類型為WASM標準而設計,使用WASM特定的整數(shù)和浮點類型。在處理數(shù)值類型時允許開發(fā)者實現(xiàn)制定數(shù)值的理想類型。

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

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

我們的愿景就是“讓簡單的語言再次偉大。”黃金提供了底層語言技術的自然范式,比特幣開啟了基礎的區(qū)塊鏈腳本語言,以太坊擴展了更多金融交易的方式,而TrustBase希望去創(chuàng)造一個更加通用的語言模型。我們是波卡的引渡人,如果說波卡打破了公鏈間的隔閡,那么Subscript將打破所有開發(fā)工程師的隔閡,共赴Web3的彼岸。

責任編輯:

推薦內容