CertiK 已完成對 Waltonchain golang 語言的公鏈及其跨鏈智能合約的官方安全審計，并對其程序設計和運行情況進行了重點審計。Waltonchain (簡

CertiK 已完成對 Waltonchain golang 語言的公鏈及其跨鏈智能合約的官方安全審計，并對其程序設計和運行情況進行了重點審計。

Waltonchain (簡稱 WTC)，將區塊鏈技術引入物聯網，解決了物聯網發展過程中所面臨的中心化問題，基于密碼學原理，憑借分布式點對點網絡，實現有序交易記錄的永久性存儲，不可刪除和篡改，公開并且可溯源，能完美解決互聯網虛擬世界的信任和權益問題。WTC 將構建現實世界與區塊鏈完美結合的商業生態鏈，引領人類全面進入可信賴的數字化生活，開創物聯網的新紀元。

WTC 與現實世界資產流動直接相關。隨著電子商務和貨物運輸成為國內和國際貿易的主要構成部分，WTC 通過將區塊鏈技術和 RFID 技術相結合，逐漸把區塊鏈技術與現實世界緊密聯系起來，并通過 RFID 技術訪問整個區塊鏈的各個節點。這能幫助公司提高工作效率，降低運營成本，減少沖突摩擦并進一步探索區塊鏈。RFID 技術也被稱為射頻識別，是 WTC 的附加產品。WTC 團隊使用該技術把數字數據編碼為標簽和智能標簽，以實現無線電波讀取數據。

為了確保項目運行符合設計預期，WTC 選擇與全球領先的區塊鏈安全公司 CertiK 合作。

審計流程

目前，WTC 已將其 RFID 等技術應用于服裝、食品、收藏、物流等行業。WTC 團隊需要從兩個方面審計其區塊鏈及跨鏈合約 :

1.數據可靠性**

2.數據值循環**

WTC 通過將區塊鏈和 RFID 緊密結合來確保數據的可靠性。為了實現有效的數據共享，其團隊還充分利用了跨鏈生態系統。

為了確保能對 Waltonchain golang 語言的公鏈及其跨鏈智能合約進行全面的審查，CertiK 委派經驗豐富的安全專家組成審計團隊，通過利用 CertiK 獨有的形式化驗證技術，并結合靜態分析及人工復核等方式全面檢測合約的漏洞及邏輯錯誤。

安全專家們對 WTC 的源代碼進行了分析。這種端到端審計流程確保了程序運行的穩定性。審計過程中，專家們以程序為中心，重點消除潛在漏洞，并根據該領域的最佳實踐經驗為 WTC 團隊提出了修改建議。

根據以下資料，CertiK 對 WTC 系統有了更深入的理解：

1. WTC 的白皮書

2. WTC 的官網

3. WTC Github

4. WTC 的業務流程

針對實際代碼執行情況和設計規范之間存在的一些不一致之處，Certik 與 WTC 團隊進行了進一步討論和確認。審計中我們發現 :

1. 與傳統的證明方法相比，WTC 的 POS 提供了一種Staking 經濟模型。礦工可以在不被處罰的情況下獲得 75% 的優惠。

2. 由于挖掘速度不同，Waltonchains 獨有的myX11 算法與其他 x11 算法也有所不同。這一設計的目的是將哈希率(算力)保持在可開采速率范圍內，從而吸引更多人從事挖礦工作。

審計結果

CertiK 為 WTC 項目提供了嚴格的安全審計。整體而言，WTC 項目代碼符合設計規范且運行良好，具有良好的可擴展性，不易受到任何已知的典型漏洞攻擊或其他安全問題的影響，安全程度較高，

最后，CertiK 衷心祝賀 WTC 順利通過此次嚴格的形式化驗證，也希望 WTC 的其他項目能夠順利進行。

關鍵詞： CertiK Waltonchain golang 安全審計