Zilliqa進度更新第30期—在學術領域推進更多采用

時間 2019-12-04

標籤 zilliqa 進度更新學術領域推進更多採用简体版

原文原文鏈接

2019年3月19日git

Saiba Kataruka 發佈於Zilliqa博客
github

你們好 !過去的兩週裏，隨着啓動階段接近尾聲以及Zilliqa主網開始全面推出，咱們一直忙於各類活動和技術調整。算法

做爲一個專一於創造高質量和有意義的創新的學術團隊，咱們也深知推動更多人使用咱們正在開發的平臺的重要性。從咱們的專業知識和背景出發，最適合咱們的方式是與大學直接開展合做，以啓發和教育學生們瞭解關於區塊鏈、去中心化和關於Zilliqa的知識。json

咱們最近與倫敦國王學院的區塊鏈協會合做，推出了名爲「Blockchain A-Z」的區塊鏈教育項目。這個項目由四部分的研討會組成，首個研討會將於3月26日舉辦，向學生們介紹區塊鏈和智能合約，主講人是咱們的開發者市場主管Saiba。安全

這是咱們提供的第一個教育類的項目，咱們但願在不久的未來，在世界各地更多的校園裏舉辦「區塊鏈A-Z」以及相似的教育項目。若是你或者你認識的校園組織對區塊鏈教育項目感興趣，請隨時聯繫咱們：enquiry@zilliqa.com網絡

同往常同樣，如您想要了解Zilliqa的更多信息或與咱們討論項目技術，請隨時經過如下官方渠道與咱們聯繫：app

Discourse論壇：https://forum.zilliqa.com/ide

電報羣：https://t.me/zilliqachat函數

Slack： https://invite.zilliqa.com工具

推特： https://twitter.com/zilliqa

Reddit：https://www.reddit.com/r/zill...

Github：https://github.com/Zilliqa/zi...

Gitter：https://gitter.im/Zilliqa/eco...，包括「生態構建資助計劃」)

已參加的活動

區塊鏈科技世界-倫敦

Token 2049

Money 20/20 Asia–新加坡

即將舉辦的活動

接下來的兩週咱們有幾場重大活動。歡迎隨時和咱們聯繫。

3月

•Blockchain A-Z 系列研討會| 3月26日 – 4月16日|倫敦

4月

•巴黎區塊鏈周| 4月13 – 19 日 |法國巴黎

• FiNext 大會| 4月25 – 26日|新加坡

5月

•共識大會 2019年| 5月13 – 15日|紐約

Zilliqa 團隊新成員

Aparna Narayanan

職位：新任公關經理

教育背景：倫敦國王學院 King’s College London 公共政策與管理碩士

領英：https://www.linkedin.com/in/a...

Aparna是傳播和公共事務專家，在爲技術、能源、公共和非營利部門實施戰略活動方面有着豐富的經驗。她感興趣的是傳播、政策和技術之間的聯繫，特別是利用技術產生社會影響。Aparna最近畢業於倫敦國王學院，得到公共政策與管理碩士學位，此前在麥吉爾大學 McGill University得到政治學學士學位。

技術進展

過去兩週，咱們的核心技術團隊一直致力於主網v4.3.1版本的工做。這個新版本的主要特性有如下幾點：

首先，該版本的主要目的是增長能夠加入各分片中的社區挖礦節點的數量。在過去幾周內，主網收到了大量礦工提交的工做量證實(PoW)——這已經超過了預約的最大值。因爲目前網絡已經有了足夠的計算能力可使得主網運行在很多於一個分片上，所以咱們決定能夠下降保護機制並增長社區的權重。

其次，咱們在每一個新版本中都會常常推出功能性和安全性補丁，這個版本也不例外。這一次咱們從新編碼了coinbase獎勵算法，經過減小冗餘密鑰搜索的次數來提升性能。咱們還要保證在肯定這些節點的獎勵時，全部目錄服務(DS)節點與查找(Lookup)節點具備相同的視圖(在查找節點因爲任何緣由脫機時，DS節點有可能擁有不一樣的視圖，從而致使獎勵不匹配和共識失敗)。

該版本還包括對遠程挖礦功能的PoW簽名和節點同步類型變量初始化的修正。最後，在安全方面，咱們確保在任何緩衝以前對消息進行從新序列化，以防止消息過打形成潛在的DoS攻擊。

在接下來的幾周，預計團隊將進行更普遍的測試，爲引導階段收尾作準備。除了常規修復以外，咱們還將推出其它旨在解決存儲問題和可用性的功能。

Scilla解釋器

過去的兩週裏，咱們在繼續Scilla合約和現金流分析中支持外部庫的工做。關於這些和其餘代碼重構的細節以下：

外部庫支持：咱們在繼續爲Scilla合約支持外部庫的工做。爲此，咱們如今掃描合約和庫中的init.json文件以支持加載文件。注意，獨立庫的語法與標準庫的語法相同。它們在導入後在檢查器/解釋器中獲得相同的處理。

容許庫導入其餘庫。可是，間接導入庫中的值和類型不能供間接導入器使用。例如，若是 C 導入 A ， A 導入 B，則 B中定義的值和類型僅適用於 A (而且僅在類型檢查 A 中使用)，但在 C 中不可用。若是C中須要B中的值或類型，那麼C須要直接導入B。庫中的名稱之間若發生衝突(在其可見的範圍內)，檢查器將引起錯誤。

靜態分析：咱們正處於現金流分析的最後一個迭代階段，最近添加了對代數數據類型的支持。之前，分析沒法處理列表、天然數和用戶定義的類型。這個問題已經獲得瞭解決，所以如今能夠正確地報告這些類型的字段。

此外，還爲用戶定義的類型構造函數添加了一個附加特性。如今，分析試圖跟蹤如何使用用戶定義的構造函數的參數，並相應予以標記。這將幫助用戶確保其類型構造函數在整個合約中獲得一致的使用。

其餘改進和修復錯誤的總結：

· 修復了底層類型測試中的一個錯誤，並添加了測試。

· 修正了不一樣錯誤的輸出通道不一致的問題。

· 重構整個代碼庫中致命錯誤的處理。

· 爲語法模塊重構代碼併爲其添加單元測試。

· 將內建重構爲結構化表示。

· 重構內置多字典，進一步加強內置處理的穩健性。

· 改進了語法錯誤中的位置報告。

· 固定合約測試。

· 在測試套件故障時添加彩色差別打印功能(這應該會讓外部貢獻者的工做更容易)。