CyberMiles 發(fā)布虛擬機(jī)CVM及高級(jí)編程語(yǔ)言Lity,為智能合約賦能
7月27日,電商公鏈CyberMiles發(fā)布了CyberMiles 虛擬機(jī)(CVM)及高級(jí)編程語(yǔ)言Lity,這是CyberMiles 里程碑級(jí)的更新,同樣也將為區(qū)塊鏈智能合約賦能。從solidity 語(yǔ)言演化而來(lái),Lity由動(dòng)態(tài)可擴(kuò)展語(yǔ)言、編譯器和虛擬機(jī)runtime組成。 CyberMiles虛擬機(jī)及Lity編程語(yǔ)言(litylang.org)現(xiàn)已在github開源,開發(fā)人員可以下載Lity開發(fā)DAPP,成為這個(gè)社區(qū)的先行者。
作為Solidity語(yǔ)言的超集,無(wú)需更改代碼,Lity能夠在CyberMiles 區(qū)塊鏈運(yùn)行現(xiàn)行所有的Solidity智能合約。但Lity獨(dú)特的設(shè)計(jì)使其更加靈活、具備***的可擴(kuò)展性,更強(qiáng)大。重要的是,Lity語(yǔ)言比Solidity更安全,性能更好。
安全:在Lity編譯器和CVM上安裝代碼檢查模式,Lity比現(xiàn)有的編程語(yǔ)言更安全
高性能:通過(guò)庫(kù)+以太坊原生接口(libENI),CyberMiles上的智能合約比傳統(tǒng)以太坊智能合約運(yùn)行速度大幅度加快(數(shù)萬(wàn)倍加速)并且手續(xù)費(fèi)也更低。
可擴(kuò)展性強(qiáng):社區(qū)可以去中心化地為常見電商場(chǎng)景、DApp和其他區(qū)塊鏈定制優(yōu)化的LibENI函數(shù)
基于時(shí)鐘的長(zhǎng)期智能合約:基于時(shí)長(zhǎng),頻率定義的事件,可以預(yù)先設(shè)定
“對(duì)已知的以太坊Solidity智能合約引起的安全問(wèn)題,我們團(tuán)隊(duì)進(jìn)行了分類并提取了常見模式。”CyberMiles***科學(xué)家Michael Yuan 博士表示,“通過(guò)編譯器和虛擬機(jī)優(yōu)化,Lity 可以主動(dòng)防止Solidity中常見的安全問(wèn)題,如整數(shù)溢出和通證被意外轉(zhuǎn)到不受支持的合約地址。”
在以太坊上,智能合約驗(yàn)證單個(gè)比特幣交易大約要花費(fèi)500美元。以太坊上的公鑰和私鑰算法非常慢并且過(guò)于昂貴,因此在以太坊上到現(xiàn)在為止,還沒(méi)有許多真正的應(yīng)用。相比之下,源自CyberMiles 虛擬機(jī)的libENI 函數(shù)可以用底層語(yǔ)言執(zhí)行,這些操作僅需幾毫秒就可以執(zhí)行完畢,并且手續(xù)費(fèi)也很低。
Lity的靈活性源自其添加新的語(yǔ)言O(shè)TA架構(gòu)。這個(gè)版本中,LibENI函數(shù)是亮點(diǎn),未來(lái)Lity會(huì)支持“商業(yè)規(guī)則”構(gòu)造。通過(guò)CyberMiles虛擬機(jī)中新的OPCODE,使用者現(xiàn)在可以在Lity語(yǔ)言中添加更多功能。這種擴(kuò)展可以在不停止或者升級(jí)區(qū)塊鏈軟件的情況下,通過(guò)超級(jí)節(jié)點(diǎn)共識(shí),動(dòng)態(tài)部署到CyberMiles區(qū)塊鏈上。
“Lity 是如今唯一值得掌握的區(qū)塊鏈的編程語(yǔ)言。”CyberMiles的CEO盧亮博士評(píng)價(jià)道,“沒(méi)有自己語(yǔ)言和虛擬機(jī)的公鏈?zhǔn)沁^(guò)時(shí)的,虛擬機(jī)和CyberMiles ***結(jié)合會(huì)讓“胖應(yīng)用協(xié)議”(Fat application protocols)成為現(xiàn)實(shí)。
關(guān)于lity
由CyberMiles 基金會(huì)開發(fā)的新的編程語(yǔ)言Lity有如下的獨(dú)特優(yōu)點(diǎn)。安全性:通過(guò)默認(rèn)啟動(dòng)SafeMath和自動(dòng)掃描缺陷,與solidity和EVM相比,Lity更安全。***的性能:通過(guò)libENI庫(kù),CyberMiles上的智能合約比傳統(tǒng)以太坊智能合約運(yùn)行速度更快并且手續(xù)費(fèi)也更低,同時(shí)也確保了開發(fā)者友好和完全兼容以太坊。可擴(kuò)展性:通過(guò)庫(kù)+以太坊原生接口優(yōu)化,LibENI函數(shù)可為常見電商場(chǎng)景、DApp和其他定制區(qū)塊鏈優(yōu)化,Lity有著非常強(qiáng)大的可擴(kuò)展性。Lity和CyberMiles 虛擬機(jī)豐富了CyberMiles區(qū)塊鏈及其生態(tài)系統(tǒng),并且也增強(qiáng)了DApp的功能和特征。