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