Scilla如何加速區塊鏈交易

2021-09-12 22:29:53 字數 1260 閱讀 3882

來自zilliqa的ilya sergey和amrit kumar對techrepublic的dan patterson表示,zilliqa的程式語言非常獨特,可以提供「語言不同維度之間的隔離」。更多採訪資訊請看下文。

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的這種構建合約的方式,使得我們在部署合約之前就可以確保合約的安全性。

區塊鏈交易

一筆交易是一條訊息,從乙個賬戶傳送到另乙個賬戶 可能是相同的賬戶或者零賬戶,見下 文 交易可以包含二進位制資料 payload 和以太幣。如果目標賬戶包含代碼,該 會執行,payload 就是輸入資料。如果目標賬戶是零賬戶 賬戶位址是 0 交易將建立乙個新合約。正如上文所講,這個合 約位址不是零位址...

區塊鏈交易所搭建 區塊鏈交易所系統交易規則介紹

人類社會發展的一切障礙,從根本上來說都是由於 互不信任 導致的,尤其是各種經濟和金融危機。如果人類能解決互相信任的問題,那麼人類將完成一次非常大的跨越,步入乙個更高階段的文明,而現在區塊鏈的發展,已經逐漸為這個方向打下基礎,人類正在進入 智慧型合約 時代!區塊鏈的資料儲存方式其實就是 區塊 鏈 這就...

區塊鏈基礎 交易模型解讀

utxo unspent transaction output 未花費的交易輸出,這是位元幣交易中核心概念。utxo是位元幣擁有者的公鑰鎖定的乙個數字,實際是是擁有者的公鑰加密的數字,只有擁有者的私鑰才能解開。utxo就是位元幣,是位元幣系統中虛擬貨幣的底層實現,也就是說位元幣系統中沒有乙個虛擬貨幣...