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

Waltonchain (簡稱 WTC)，將區(qū)塊鏈技術(shù)引入物聯(lián)網(wǎng)，解決了物聯(lián)網(wǎng)發(fā)展過程中所面臨的中心化問題，基于密碼學(xué)原理，憑借分布式點對點網(wǎng)絡(luò)，實現(xiàn)有序交易記錄的永久性存儲，不可刪除和篡改，公開并且可溯源，能完美解決互聯(lián)網(wǎng)虛擬世界的信任和權(quán)益問題。WTC 將構(gòu)建現(xiàn)實世界與區(qū)塊鏈完美結(jié)合的商業(yè)生態(tài)鏈，引領(lǐng)人類全面進入可信賴的數(shù)字化生活，開創(chuàng)物聯(lián)網(wǎng)的新紀(jì)元。

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

為了確保項目運行符合設(shè)計預(yù)期，WTC 選擇與全球領(lǐng)先的區(qū)塊鏈安全公司 CertiK 合作。

審計流程

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

1.數(shù)據(jù)可靠性**

2.數(shù)據(jù)值循環(huán)**

WTC 通過將區(qū)塊鏈和 RFID 緊密結(jié)合來確保數(shù)據(jù)的可靠性。為了實現(xiàn)有效的數(shù)據(jù)共享，其團隊還充分利用了跨鏈生態(tài)系統(tǒng)。

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

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

根據(jù)以下資料，CertiK 對 WTC 系統(tǒng)有了更深入的理解：

1. WTC 的白皮書

2. WTC 的官網(wǎng)

3. WTC Github

4. WTC 的業(yè)務(wù)流程

針對實際代碼執(zhí)行情況和設(shè)計規(guī)范之間存在的一些不一致之處，Certik 與 WTC 團隊進行了進一步討論和確認(rèn)。審計中我們發(fā)現(xiàn) :

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

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

審計結(jié)果

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