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 Github4. WTC的業務流程針對實際程式碼執行情況和設計規範之間存在的一些不一致之處，Certik與WTC團隊進行了進一步討論和確認。審計中我們發現:

1. 與傳統的證明方法相比，WTC的POS提供了一種Staking經濟模型。礦工可以在不被處罰的情況下獲得75%的優惠。2. 由於挖掘速度不同，Waltonchains獨有的myX11演算法與其他x11演算法也有所不同。這一設計的目的是將雜湊率（算力）保持在可開採速率範圍內，從而吸引更多人從事挖礦工作。審計結果CertiK為WTC專案提供了嚴格的安全審計。整體而言，WTC專案程式碼符合設計規範且執行良好，具有良好的可擴充套件性，不易受到任何已知的典型漏洞攻擊或其他安全問題的影響，安全程度較高，最後，CertiK衷心祝賀WTC順利透過此次嚴格的形式化驗證，也希望WTC的其他專案能夠順利進行。