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