Zilliqa 正在致力於解決用戶面臨的區塊鏈停機問題。 Zilliqa 計劃引入形式驗證工具來驗證“關鍵任務軟件系統的正確性、可靠性和可靠性”。
Zilliqa 是第一個實施分片的公共區塊鏈，宣布對其區塊鏈平台進行緊急升級。 Zilliqa 安全與工程高級副總裁Jun Hao Tan 表示，此次升級是為了解決DS 委員會挖礦節點內存消耗大的問題。因此，在7 月14 日星期三的公告中，Zilliqa 發推文：
親愛的社區我們正在緊急進行網絡升級。在此升級期間，不會處理任何交易和區塊鏈。 API 可能無法訪問。我們會及時通知你升級的狀態。感謝你一直以來的支持
Zilliqa 在其Reddit 帖子中指出，其最新的網絡升級v8.0 功能豐富。此外，它減少了出塊時間，調整了礦工的優先級，以及其他一些優化。然而，Zilliqa區塊鏈在升級後表現出不穩定。因此，核心團隊多次介入以引入補丁。但這導致了多次停機。
Zilliqa 指出，它旨在提高透明度，同時採取措施減少未來發生此類事件的可能性。它旨在在遵循行業標準和運行壓力測試的同時，在其底層技術之上引入新功能。 Reddit 公告 筆記：
一旦更改和單元測試完全準備好，我們會在私有小規模網絡上運行這些新更改一段時間，然後在主網規模上進行大規模集成，然後將更改部署在公開的公共測試網上供所有人互動。如果在任何網絡上的測試過程中發現錯誤，則修復錯誤，我們從第一步開始，編寫單元測試來捕獲錯誤，在專用網絡上部署修復程序等等。
介紹形式驗證工具
現在，為了推進其測試過程，Zilliqa 計劃引入“形式驗證工具”來對系統建模。然後開發人員可以正式驗證生成的模型甚至實現。然而，形式驗證工具需要大量的工時。但同時，它們有助於驗證“關鍵任務軟件系統的正確性、可靠性和可靠性”。
Zilliqa 旨在結合單元測試和形式驗證這兩個互補的功能。這將幫助開發人員檢測與代碼庫關鍵部分相關的任何設計或實現問題。
為了進一步解決這些問題，Zilliqa 計劃減少網絡升級的頻率。這將有更多時間來測試其區塊鍊和野外的現有功能。
在最新的故障排除中，Zilliqa 注意到“在主網上部署了幾個智能合約，其中實施的邏輯使合約狀態隨著新交易的增長而增長”。該團隊現在將微調一些參數，這些參數將使底層設計模式不被注意。此外，它會帶來更好的靜態和動態警告開發人員在這方面。 Reddit 帖子指出：
請注意，此類合約目前可能工作正常，但遲早可能會達到區塊gas 限制，從而導致這些合約無法使用和無法調用。我們鼓勵開發人員注意這種和其他類似的設計模式。例如，如果合約使用一個列表，並且該列表隨著每筆交易而增長，這可能會在未來為合約帶來問題。此外，合約應盡可能避免循環，因為在非常大的列表或地圖上的循環會在某些時候達到區塊gas 限制。
資訊來源：由0x資訊編譯自CRYPTO-NEWS-FLASH。版權歸作者Bhushan Akolkar所有，未經許可，不得轉載
