Scilla如何加速區塊鏈交易

來自Zilliqa的Ilya Sergey和Amrit Kumar對TechRepublic的Dan Patterson表示,Zilliqa的編程語言非常獨特,可以提供“語言不同維度之間的隔離”。更多采訪信息請看下文。

圖片描述

原視頻地址:https://www.youtube.com/watch...

Dan Patterson:請給我們詳細地說說Zilliqa代碼是如何工作的。

Amrit Kumar:首先,Zilliqa的一個目標是要保證有高的吞度量。吞吐量可以大體上隨着網絡規模的擴大而線性增長。Zilliqa的另一個目標是擁有可以安全使用並安全部署的智能合約語言,如果你寫的智能合約語言可以部署在鏈上,那就說明它是沒有代碼缺陷的,你可以證明合約的強大屬性。例如,你可以證明你的合約不會凍結資金。你的合約不會將資金泄漏給其他人,比方說團體的資金,這就是Zilliqa的用武之地,Ilya將非常樂意詳細說明這一點。

Ilya Sergey:好的,讓我從這裏開始吧。我們將Zilliqa設計爲一個編程語言,可以用來編寫人們認爲適合智能合約領域的典型應用,例如ICO,不同的衆籌項目,遊戲,但它是一種非常通用的語言。

SEE:IT Hiring Kit: 程序員(Tech Pro Research)

因此,它與其他智能合約編程語言(例如Solidity)的不同之處在於語言的不同維度之間的隔離。這種隔離使得在Zilliqa上編寫的合約更容易在分片上執行,並驗證合約實際上正在做他們應該做的事情。從這種角度來說,合約實際上包含了多種功能,它們充當相互通信的代理,也充當區塊鏈用戶轉移資金的代理,它們還可以充當執行計算任務的普通程序。

計算和通信這兩個方面是非常正交的,可以對它們分別進行討論。合約之間的交互是通過把通信作爲合約的外部接口來實現的,使得智能合約之間的交互能夠適應Zilliqa的這種分片架構,Amrit將會對此加以闡述。每當合約與另一個合約進行交互時,都只由系統中的一部分進行處理,如一個分片,或分片的子集,而不是整個網絡,就像在以太坊中每個交易都是由整個網絡來處理的。

這就是我們提高可擴展性的方法。正確的方法實際上來自於我們對編程和通信轉換系統多年的紮實研究。將合約視爲互相發送消息的自動機,我們可以制定我們關心的問題,例如合約是否最終會給我退款,是否執行過某個操作等等。

這些我們關心的問題描述起來很簡單,比如最近在以太坊Parity錢包發現的程序漏洞的問題就可以被很容易的描述,那就是是否有人可以通過潛在漏洞終止合約。如果我們寫一個智能合約並且可以形式化地向以太坊證明這個合約永遠不會出現問題,那麼我們就在安全方面得到了保障。Zilliqa的這種構建合約的方式,使得我們在部署合約之前就可以確保合約的安全性。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章